✦ LIBER ✦

Analysis of security protocols based on challenge-response

✍ Scribed by JunZhou Luo; Ming Yang

Book ID: 107357246
Publisher: Science in China Press (SCP)
Year: 2007
Tongue: English
Weight: 820 KB
Volume: 50
Category: Article
ISSN: 1674-733X
DOI: 10.1007/s11432-007-0015-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending Security Protocol Analysis: Ne

Extending Security Protocol Analysis: New Challenges

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

Automated Analysis of Security Protocols

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

Cryptographic protocol security analysis

Cryptographic protocol security analysis based on bounded constructing algorithm

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

Model checking electronic commerce secur

Model checking electronic commerce security protocols based on CTL

✍ Xiao De-qin; Zhang Huan-guo 📂 Article 📅 2005 🏛 Wuhan University 🌐 English ⚖ 494 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

Towards an Awareness-Based Semantics for

Towards an Awareness-Based Semantics for Security Protocol Analysis

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