✦ LIBER ✦

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || A Semantic Analysis of Wireless Network Security Protocols

✍ Scribed by Goodloe, Alwyn E.; Person, Suzette

Book ID: 120210686
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 298 KB
Category: Article
ISBN: 364228891X
DOI: 10.1007/978-3-642-28891-3_36

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || Inferring Definite Counterexamples through Under-Approximation

✍ Goodloe, Alwyn E.; Person, Suzette 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 296 KB

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols

✍ Goodloe, Alwyn E.; Person, Suzette 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 355 KB

[Lecture Notes in Computer Science] Wire

[Lecture Notes in Computer Science] Wired/Wireless Internet Communications Volume 4517 || A Secure Handover Protocol Design in Wireless Networks with Formal Verification

✍ Boavida, Fernando; Monteiro, Edmundo; Mascolo, Saverio; Koucheryavy, Yevgeni 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 406 KB

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 6617 || Symmetry for the Analysis of Dynamic Systems

✍ Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 289 KB

This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA, USA, in April 2011. The 26 revised full papers presented together with 12 tool papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and sele

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Security – ESORICS 2005 Volume 3679 || Semantic Access Control Model: A Formal Specification

✍ Vimercati, Sabrina de Capitani; Syverson, Paul; Gollmann, Dieter 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 523 KB

[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