SAT-based model-checking for security protocols analysis Alessandro ArmandoLuca Compagna Special Issue Paper 21 September 2007 Pages: 3 - 32
Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR Michael BackesBirgit Pfitzmann Special Issue Paper 10 August 2007 Pages: 33 - 54
A symbolic framework for multi-faceted security protocol analysis Andrea BraccialiGianluigi FerrariEmilio Tuosto Special Issue Papers 04 September 2007 Pages: 55 - 84
Bayesian rational exchange Juan M. Estevez-TapiadorAlmudena AlcaideArturo Ribagorda Special Issue Paper 10 August 2007 Pages: 85 - 100