✦ LIBER ✦

[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

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

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Real-Time and Probabilistic Systems Volume 1601 || Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 234 KB

This Book Constitutes The Refereed Proceedings Of The 12th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2010, And The 30th Ifip Wg 6.1 Formal Techniques For Networked And Distributed Systems, Forte 2010, Held In Amsterdam, The Netherlands,