✦ LIBER ✦

Formal verification of security protocol implementations: a survey

✍ Scribed by Matteo Avalle, Alfredo Pironti, Riccardo Sisto

Book ID: 120739868
Publisher: Springer
Year: 2012
Tongue: English
Weight: 361 KB
Volume: 26
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-012-0269-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of high-level protocol impl

Verification of high-level protocol implementations

✍ Ken Weaving 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 469 KB

Formal verification of secure group comm

Formal verification of secure group communication protocols modelled in UML

✍ P. de Saqui-Sannes; T. Villemur; B. Fontan; S. Mota; M. S. Bouassida; N. Chridi; 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 647 KB

Formally based semi-automatic implementa

Formally based semi-automatic implementation of an open security protocol

✍ Alfredo Pironti; Davide Pozza; Riccardo Sisto 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 757 KB

Development of a test suite for the veri

Development of a test suite for the verification of implementations of the IPsec v2 security protocol

✍ A. V. Nikeshin; N. V. Pakulin; V. Z. Shnitman 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 189 KB

Formal Hardware Verification Methods: A

Formal Hardware Verification Methods: A Survey

✍ Gupta A. 📂 Library 📅 1992 🌐 English ⚖ 766 KB

Formal Correctness of Security Protocols

✍ Giampaolo Bella 📂 Library 📅 2007 🏛 Springer 🌐 English ⚖ 4 MB

Computer network security is critical to fraud prevention and accountability. Network participants are required to observe predefined steps called security protocols, whose proof of correctness is evidence that each protocol step preserves some desired properties.The author investigates proofs of co