Issue 1/2008
Content (5 Articles)
Special Issue Paper
SAT-based model-checking for security protocols analysis
Alessandro Armando, Luca Compagna
Special Issue Paper
Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR
Michael Backes, Birgit Pfitzmann
Special Issue Papers
A symbolic framework for multi-faceted security protocol analysis
Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto
Special Issue Paper
Bayesian rational exchange
Juan M. Estevez-Tapiador, Almudena Alcaide, Julio C. Hernandez-Castro, Arturo Ribagorda