𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - TAPS: a first-order verifier for cryptographic protocols

✍ Scribed by Cohen, E.

Book ID: 126654454
Publisher: IEEE Comput. Soc
Year: 2000
Weight: 329 KB
Category: Article
ISBN-13: 9780769506715
DOI: 10.1109/CSFW.2000.856933

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 13th IEEE Computer Sec

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - Panel: foundations for intrusion detection

✍ Lunt, T.F. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 102 KB

[IEEE Comput. Soc 13th IEEE Computer Sec

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - Protocol independence through disjoint encryption

✍ Guttman, J.D.; Thayer, F.J.F. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 339 KB

[IEEE Comput. Soc 13th IEEE Computer Sec

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - C3PO: a tool for automatic sound cryptographic protocol analysis

✍ Dekker, A.H. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 299 KB

[IEEE Comput. Soc 13th IEEE Computer Sec

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - Relating strands and multiset rewriting for security protocol analysis

✍ Cervesato, I.; Durgin, N.; Mitchell, J.; Lincoln, P.; Scedrov, A. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 489 KB

[IEEE Comput. Soc 13th IEEE Computer Sec

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - An executable specification language for planning attacks to security protocols

✍ Aiello, L.C.; Massacci, F. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 414 KB

[IEEE Comput. Soc 13th IEEE Computer Sec

[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - An operational semantics of Java 2 access control

✍ Karjoth, G. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 254 KB