Ausgabe 3-4/2011
Special Issue: Computer Security: Foundations and Automated Reasoning / Guest Edited by Lujo Bauer, Sandro Etalle, Jerry den Hartog and Luca Viganò
Inhalt (7 Artikel)
Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
Lujo Bauer, Sandro Etalle, Jerry den Hartog, Luca Viganò
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Véronique Cortier, Steve Kremer, Bogdan Warinschi
Automated Proofs for Asymmetric Encryption
J. Courant, M. Daubignard, C. Ene, P. Lafourcade, Y. Lakhnech
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation
Joana Martinho, António Ravara
Reducing Protocol Analysis with XOR to the XOR-Free Case in the Horn Theory Based Approach
Ralf Küsters, Tomasz Truderung