✦ LIBER ✦

A method for symbolic analysis of security protocols

✍ Scribed by Michele Boreale; Maria Grazia Buscemi

Book ID: 108281060
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 421 KB
Volume: 338
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2005.03.044

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A symbolic framework for multi-faceted s

A symbolic framework for multi-faceted security protocol analysis

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

Automated Analysis of Security Protocols

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

A calculus for control flow analysis of

A calculus for control flow analysis of security protocols

✍ Mikael Buchholtz; Hanne Riis Nielson; Flemming Nielson 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 740 KB

Complete symbolic factorization for the

Complete symbolic factorization for the security analysis of power systems

✍ A. Berizzi; U. Piovan; A. Silvestri; D. Zaninelli; R. Pavani 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 798 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

The principle of guarantee availability

The principle of guarantee availability for security protocol analysis

✍ Giampaolo Bella 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 489 KB