1. Preface

   • Pierpaolo Degano
   • Luca Viganò

   Editorial 01 August 2007 Pages: 1 - 1

2. SAT-based model-checking for security protocols analysis

   • Alessandro Armando
   • Luca Compagna

   Special Issue Paper 21 September 2007 Pages: 3 - 32

3. Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR

   • Michael Backes
   • Birgit Pfitzmann

   Special Issue Paper 10 August 2007 Pages: 33 - 54

4. A symbolic framework for multi-faceted security protocol analysis

   • Andrea Bracciali
   • Gianluigi Ferrari
   • Emilio Tuosto

   Special Issue Papers 04 September 2007 Pages: 55 - 84

5. Bayesian rational exchange

   • Juan M. Estevez-Tapiador
   • Almudena Alcaide
   • Arturo Ribagorda

   Special Issue Paper 10 August 2007 Pages: 85 - 100