Volume 36,
Numbers 1-2,
January 2006
- Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò:
Automated Reasoning for Security Protocol Analysis.
1-3
Electronic Edition (link) BibTeX
- Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson:
Verifying the SET Purchase Protocols.
5-37
Electronic Edition (link) BibTeX
- Rohit Chadha, Steve Kremer, Andre Scedrov:
Formal Analysis of Multiparty Contract Signing.
39-83
Electronic Edition (link) BibTeX
- Stéphanie Delaune, Florent Jacquemard:
Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks.
85-124
Electronic Edition (link) BibTeX
- Hans Hüttel, Jirí Srba:
Decidability Issues for Extended Ping-Pong Protocols.
125-147
Electronic Edition (link) BibTeX
- Graham Steel, Alan Bundy:
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures.
149-176
Electronic Edition (link) BibTeX
Volume 36,
Number 3,
April 2006
Volume 36,
Number 4,
April 2006
Empirically Successful Automated Reasoning:
Systems Issue
Copyright © Sun May 17 00:06:25 2009
by Michael Ley (ley@uni-trier.de)
