✦ LIBER ✦

On a formal framework for security properties

✍ Scribed by Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrated security analysis framework f

✍ Bera, P.; Ghosh, S.K.; Dasgupta, P. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 925 KB

A formal approach for checking security

✍ Roberto Lucchi; Mario Bravetti; Roberto Gorrieri 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Formally Defining Security Properties wi

✍ Volkmar Lotz 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 590 KB

A framework for security requirements

✍ Shari Lawrence Pfleeger 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 900 KB

A Formal Framework for Multicast Communi

✍ Biswas, P.K. 📂 Article 📅 2010 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 683 KB

A Formal Framework for Viewpoint Consist

✍ H. Bowman; M.W.A. Steen; E.A. Boiten; J. Derrick 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 309 KB