Journals in DBLP
Alessandro Armando , Luca Viganò Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:1-0 [Journal ] Simon N. Foley Believing the Integrity of a System: (Invited Talk). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:3-12 [Journal ] Mike Bond , Jolyon Clulow Extending Security Protocol Analysis: New Challenges. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:13-24 [Journal ] Chen Hao , John A. Clark , Jeremy L. Jacob Synthesising Efficient and Effective Security Protocols. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:25-41 [Journal ] Christopher Lynch , Catherine Meadows On the Relative Soundness of the Free Algebra Model for Public Key Encryption. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:43-54 [Journal ] Yannick Chevalier , Ralf Küsters , Michaël Rusinowitch , Mathieu Turuani Deciding the Security of Protocols with Commuting Public Key Encryption. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:55-66 [Journal ] Carlos Caleiro , Luca Viganò , David A. Basin Metareasoning about Security Protocols using Distributed Temporal Logic. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:67-89 [Journal ] Alessandro Armando , Luca Compagna An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:91-108 [Journal ] Laurent Mazaré Satisfiability of Dolev-Yao Constraints. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:109-124 [Journal ] Graham Steel , Alan Bundy Attacking Group Multicast Key Management Protocols Using Coral. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:125-144 [Journal ] Paul Hankes Drielsma , Sebastian Mödersheim The ASW Protocol Revisited: A Unified View. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:145-161 [Journal ]