✦ LIBER ✦

Automated Design of Security Protocols

✍ Scribed by Chen Hao; John A. Clark; Jeremy L. Jacob

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Analysis of Security Protocols

✍ Michael Rusinowitch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Automated verification of selected equiv

✍ Bruno Blanchet; Martín Abadi; Cédric Fournet 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 677 KB

Automated monitoring of medical protocol

✍ T. Alsinet; C. Ansótegui; R. Béjar; C. Fernández; F. Manyà 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Designing secure communication protocols

✍ C. H. Papadimitriou; V. Rangan; M. Sideri 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 866 KB

Design influences for the CEBus automati

✍ Markwalter, B.E.; Fitzpatrick, S.K.; Hargaden, P.J.; Appling, S.C. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 886 KB

Security model and modular design of fai

✍ DengGuo Feng; WeiDong Chen 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 196 KB