✦ 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
DOI: 10.1109/32.629493

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The economics of information security in

The economics of information security investment

✍ Gordon, Lawrence A.; Loeb, Martin P. 📂 Article 📅 2002 🏛 Association for Computing Machinery 🌐 English ⚖ 450 KB

The economics of information security in

The economics of information security investment

✍ Gordon, Lawrence A.; Loeb, Martin P. 📂 Article 📅 2002 🏛 Association for Computing Machinery 🌐 English ⚖ 450 KB

A framework for the management of inform

A framework for the management of information security risks

✍ A. Jones 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 121 KB

A common criteria based security require

A common criteria based security requirements engineering process for the development of secure information systems

✍ Daniel Mellado; Eduardo Fernández-Medina; Mario Piattini 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 269 KB

Organizational-legal support for the inf

Organizational-legal support for the information security of an organization

✍ A. B. Bessonov 📂 Article 📅 2008 🏛 Allerton Press Inc 🌐 English ⚖ 155 KB

A common criteria framework for the eval

A common criteria framework for the evaluation of information technology systems security

📂 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