✦ LIBER ✦

A formal approach for checking security properties in SecSpaces

✍ Scribed by Roberto Lucchi; Mario Bravetti; Roberto Gorrieri

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a formal framework for security prope

✍ Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Integrated security analysis framework f

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

A model checking-based approach for secu

✍ Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 532 KB

Policy Based Security Analysis in Enterp

✍ Bera, P.; Ghosh, S.K.; Dasgupta, P. 📂 Article 📅 2010 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 406 KB

A formal approach to property testing in

✍ H. H. Hallal; S. Boroday; A. Petrenko; A. Ulrich 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 395 KB

Checking for asymmetric default dependen

✍ Jonathan Crook; Fernando Moreira 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 324 KB