✦ LIBER ✦

[Lecture Notes in Computer Science] Security Protocols Volume 5964 || A Model for System-Based Analysis of Voting Systems

✍ Scribed by Christianson, Bruce; Crispo, Bruno; Malcolm, James A.; Roe, Michael

Book ID: 121003652
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 185 KB
Category: Article
ISBN: 3642177735
DOI: 10.1007/978-3-642-17773-6_13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Infr

[Lecture Notes in Computer Science] Infrastructure Security Volume 2437 || Protocol Engineering Applied to Formal Analysis of Security Systems

✍ Davida, George; Frankel, Yair; Rees, Owen 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 109 KB

[Lecture Notes in Computer Science] Secu

[Lecture Notes in Computer Science] Secure IT Systems Volume 8208 || Security Games for Cyber-Physical Systems

✍ Riis Nielson, Hanne; Gollmann, Dieter 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 251 KB

[Lecture Notes in Computer Science] Syst

[Lecture Notes in Computer Science] Systems Modeling and Simulation: Theory and Applications Volume 3398 || A Security Risk Analysis Model for Information Systems

✍ Baik, Doo-Kwon 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 540 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 6072 || Proof-Based Design of Security Protocols

✍ Ablayev, Farid; Mayr, Ernst W. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 275 KB

[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] E-Vo

[Lecture Notes in Computer Science] E-Voting and Identity Volume 4896 || The Security Analysis of e-Voting in Japan

✍ Alkassar, Ammar; Volkamer, Melanie 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 238 KB

Of interest to both researchers and professionals, this book constitutes the thoroughly refereed post-proceedings of the first International Conference on E-Voting and Identity, VOTE-ID 2007, held in Germany in 2007. The 16 revised full papers here were reviewed and selected from numerous submission