✦ LIBER ✦

On the verification of security-aware E-services

✍ Scribed by Silvio Ranise

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-Based Verification of a Security P

✍ G. Leduc; O. Bonaventure; L. Léonard; E. Koerner; C. Pecheur 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 253 KB

[Lecture Notes in Computer Science] Tech

✍ Benatallah, Boualem; Shan, Ming-Chien 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 204 KB

On the verification of intransitive noni

✍ Hadj-Alouane, N.B.; Lafrance, S.; Feng Lin; Mullins, J.; Yeddes, M.M. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 563 KB

The International Journal of Information

✍ Scott Knight; Scott Buffett; Patrick C. K. Hung 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 62 KB

The challenge of security awareness trai

✍ Wendy Goucher 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 107 KB

Securing the next generation: enhancing

✍ Shirley Atkinson; Steven Furnell; Andy Phippen 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 441 KB