✦ LIBER ✦

Automated Analysis of Security Protocols

✍ Scribed by Michael Rusinowitch

Book ID: 104444972
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 90 KB
Volume: 86
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80690-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analysis of security protocols as open s

Analysis of security protocols as open systems

✍ Fabio Martinelli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 417 KB

We propose a methodology for the formal analysis of security protocols. This originates from the observation that the veriÿcation of security protocols can be conveniently treated as the veriÿcation of open systems, i.e. systems which may have unspeciÿed components. These might be used to represent

Web security: Authentication protocols a

Web security: Authentication protocols and their analysis

✍ Wu Wen; Fumio Mizoguchi 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 1021 KB

Security analysis of broadcaster group k

Security analysis of broadcaster group key exchange protocols

✍ Li Li; Zhang Huanguo 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 382 KB

Analysis of security protocols based on

Analysis of security protocols based on challenge-response

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

A method for symbolic analysis of securi

A method for symbolic analysis of security protocols

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

Extending Security Protocol Analysis: Ne

Extending Security Protocol Analysis: New Challenges

✍ Mike Bond; Jolyon Clulow 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 217 KB