✦ LIBER ✦

Framework for evaluating security protocols in a banking environment

✍ Scribed by J.H.P. Eloff; Suzi van Buuren

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A framework for compositional verificati

✍ Suzana Andova; Cas Cremers; Kristian Gjøsteen; Sjouke Mauw; Stig F. Mjølsnes; Sa 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 959 KB

A framework for information security eva

✍ R. von Solms; H. van der Haar; S.H. von Solms; W.J. Caelli 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 929 KB

Security Management consists of various

A symbolic framework for multi-faceted s

✍ Andrea Bracciali; Gianluigi Ferrari; Emilio Tuosto 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 844 KB

ENDL: A Logical Framework for Verifying

✍ Qingfeng Chen; Chengqi Zhang; Shichao Zhang 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 951 KB

A security framework for dynamic collabo

✍ Matthias Assel; Stefan Wesner; Alexander Kipp 📂 Article 📅 2009 🏛 Springer-Verlag ⚖ 431 KB

Design and correctness proof of a securi

✍ Dalton Li; David Lin; Grace Zhao; Brian Huang 📂 Article 📅 2009 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 152 KB