𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Security Protocols Volume 1361 || Protocol interactions and the chosen protocol attack

✍ Scribed by Christianson, Bruce; Crispo, Bruno; Lomas, Mark; Roe, Michael

Book ID
126622053
Publisher
Springer Berlin Heidelberg
Year
1998
Weight
824 KB
Category
Article
ISBN
3540696881

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Secu
[Lecture Notes in Computer Science] Secure Transaction Protocol Analysis Volume 5111 || Detection Models of Collusion Attacks
✍ Chen, Qingfeng πŸ“‚ Article πŸ“… 2008 πŸ› Springer Berlin Heidelberg 🌐 English βš– 735 KB

The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation. The development of these formal methodsismotivatedbythehostilenatureofsomeaspectsofthenetworkand the pers

[Lecture Notes in Computer Science] Secu
[Lecture Notes in Computer Science] Security Protocols XVII Volume 7028 || Pretty Good Democracy
✍ Christianson, Bruce; Malcolm, James A.; MatyΓ‘Ε‘, Vashek; Roe, Michael πŸ“‚ Article πŸ“… 2013 πŸ› Springer Berlin Heidelberg 🌐 English βš– 247 KB

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Security Protocols, SP 2009, held in Cambridge, UK, in April 2009. The 17 revised full papers presented together with edited transcriptions of some of the discussions following the presentations have