𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Deciding Knowledge in Security Protocols under (Many More) Equational Theories

✍ Scribed by Abadi, M.; Cortier, V.

Book ID: 126735791
Publisher: IEEE
Year: 2005
Weight: 251 KB
Category: Article
ISBN-13: 9780769523408
DOI: 10.1109/CSFW.2005.14

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 18th IEEE Computer Security Founda

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Belief in Information Flow

✍ Clarkson, M.R.; Myers, A.C.; Schneider, F.B. 📂 Article 📅 2005 🏛 IEEE ⚖ 266 KB

[IEEE 18th IEEE Computer Security Founda

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Language-Based Information Erasure

✍ Chong, S.; Myers, A.C. 📂 Article 📅 2005 🏛 IEEE ⚖ 206 KB

[IEEE 18th IEEE Computer Security Founda

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Analysis of Typed Analyses of Authentication Protocols

✍ Bugliesi, M.; Focardi, R.; Maffei, M. 📂 Article 📅 2005 🏛 IEEE ⚖ 216 KB

[IEEE 18th IEEE Computer Security Founda

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Practical Information-flow Control in Web-Based Information Systems

✍ Peng Li, ; Zdancewic, S. 📂 Article 📅 2005 🏛 IEEE ⚖ 238 KB

[IEEE 18th IEEE Computer Security Founda

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Computational and Information-Theoretic Soundness and Completeness of Formal Encryption

✍ Adao, P.; Bana, G.; Scedrov, A. 📂 Article 📅 2005 🏛 IEEE ⚖ 285 KB

[IEEE 18th IEEE Computer Security Founda

[IEEE 18th IEEE Computer Security Foundations Workshop (CSFW'05) - Aix-en-Provence, France (20-22 June 2005)] 18th IEEE Computer Security Foundations Workshop (CSFW'05) - A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System

✍ Backes, M.; Durmuth, M. 📂 Article 📅 2005 🏛 IEEE ⚖ 291 KB