✦ LIBER ✦

Extending Security Protocol Analysis: New Challenges

✍ Scribed by Mike Bond; Jolyon Clulow

Book ID: 108126439
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 217 KB
Volume: 125
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.09.036

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Automated Analysis of Security Protocols

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

Web security: Authentication protocols a

Web security: Authentication protocols and their analysis

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

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

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

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