✦ LIBER ✦

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Cryptographic Protocols Analysis in Event B

✍ Scribed by Pnueli, Amir; Virbitskaite, Irina; Voronkov, Andrei

Book ID: 121347704
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 290 KB
Category: Article
ISBN: 3642114865
DOI: 10.1007/978-3-642-11486-1_24

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Towards Checking Parametric Reachability for UML State Machines

✍ Pnueli, Amir; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 326 KB

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 2004 Volume 2996 || Automata-Based Analysis of Recursive Cryptographic Protocols

✍ Diekert, Volker; Habib, Michel 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 206 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 2076 || Symbolic Trace Analysis of Cryptographic Protocols

✍ Orejas, Fernando; Spirakis, Paul G.; van Leeuwen, Jan 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 201 KB

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Development of the Computer Language Classification Knowledge Portal

✍ Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 156 KB

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Bootstrapping Compiler Generators from Partial Evaluators

✍ Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 285 KB

[Lecture Notes in Computer Science] Stab

[Lecture Notes in Computer Science] Stabilization, Safety, and Security of Distributed Systems Volume 6976 || Analysis of DSR Protocol in Event-B

✍ Défago, Xavier; Petit, Franck; Villain, Vincent 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 278 KB

This book constitutes the proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, held in Grenoble, France, in October 2011. The 29 papers presented were carefully reviewed and selected from 79 submissions. They cover the following are