𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Compositional Security Checker: a tool for the verification of information flow security properties

✍ Scribed by Focardi, R.; Gorrieri, R.


Book ID
118690179
Publisher
IEEE
Year
1997
Tongue
English
Weight
365 KB
Volume
23
Category
Article
ISSN
0098-5589

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A common criteria framework for the eval
πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 114 KB

Security baselines have provided some guidelines to these organizations on which controls are, under general circumstances, the most effective to install to provide and acceptable level of protection. If an organization requires a higher level of protection in certain areas, a risk analysis can be c