International Journal of Information Security, Volume 7

Volume 7, Number 1, January 2008

• Pierpaolo Degano, Luca Viganò:
  Preface. 1
  Electronic Edition (link) BibTeX
• Alessandro Armando, Luca Compagna:
  SAT-based model-checking for security protocols analysis. 3-32
  Electronic Edition (link) BibTeX
• Michael Backes, Birgit Pfitzmann:
  Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. 33-54
  Electronic Edition (link) BibTeX
• Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto:
  A symbolic framework for multi-faceted security protocol analysis. 55-84
  Electronic Edition (link) BibTeX
• Juan M. Estévez-Tapiador, Almudena Alcaide, Julio César Hernández Castro, Arturo Ribagorda:
  Bayesian rational exchange. 85-100
  Electronic Edition (link) BibTeX

Volume 7, Number 2, April 2008

• Dieter Gollmann:
  Editorial. 101
  Electronic Edition (link) BibTeX
• Joaquín García-Alfaro, Nora Boulahia-Cuppens, Frédéric Cuppens:
  Complete analysis of configuration rules to guarantee reliable network security policies. 103-122
  Electronic Edition (link) BibTeX
• Jason Crampton, Hemanth Khambhammettu:
  Delegation in role-based access control. 123-136
  Electronic Edition (link) BibTeX
• Philip W. L. Fong:
  Discretionary capability confinement. 137-154
  Electronic Edition (link) BibTeX
• Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters:
  Conditional reactive simulatability. 155-169
  Electronic Edition (link) BibTeX

Volume 7, Number 3, June 2008

• Xinyi Huang, Willy Susilo, Yi Mu, Wei Wu:
  Secure universal designated verifier signature without random oracles. 171-183
  Electronic Edition (link) BibTeX
• Pei-Te Chen, Chi-Sung Laih:
  IDSIC: an intrusion detection system with identification capability. 185-197
  Electronic Edition (link) BibTeX
• Joachim Biskup, Torben Weibert:
  Keeping secrets in incomplete databases. 199-217
  Electronic Edition (link) BibTeX
• Alessandro Aldini, Alessandra Di Pierro:
  Estimating the maximum information leakage. 219-242
  Electronic Edition (link) BibTeX