✦ LIBER ✦

Security protocols analysis: A SDL-based approach

✍ Scribed by Javier Lopez; Juan J. Ortega; Jose M. Troya

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular approach to the design and analy

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

Analysis of security protocols based on

✍ JunZhou Luo; Ming Yang 📂 Article 📅 2007 🏛 Science in China Press (SCP) 🌐 English ⚖ 820 KB

Cryptographic protocol security analysis

✍ Xianxian Li; Jinpeng Huai 📂 Article 📅 2006 🏛 Science in China Press (SCP) 🌐 English ⚖ 982 KB

Towards an Awareness-Based Semantics for

✍ Rafael Accorsi; David Basin; Luca Viganò 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 433 KB

Compositional refinement in agent-based

✍ A. K. McIver; C. C. Morgan 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 815 KB

A method for symbolic analysis of securi

✍ Michele Boreale; Maria Grazia Buscemi 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 421 KB