Journals in DBLP

J. Autom. Reasoning
2006, volume: 36, number: 1-2

1. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
   Automated Reasoning for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:1-2, pp:1-3 [Journal]
   
2. Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson
   Verifying the SET Purchase Protocols. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:1-2, pp:5-37 [Journal]
   
3. Rohit Chadha, Steve Kremer, Andre Scedrov
   Formal Analysis of Multiparty Contract Signing. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:1-2, pp:39-83 [Journal]
   
4. Stéphanie Delaune, Florent Jacquemard
   Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:1-2, pp:85-124 [Journal]
   
5. Hans Hüttel, Jirí Srba
   Decidability Issues for Extended Ping-Pong Protocols. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:1-2, pp:125-147 [Journal]
   
6. Graham Steel, Alan Bundy
   Attacking Group Protocols by Refuting Incorrect Inductive Conjectures. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:36, n:1-2, pp:149-176 [Journal]