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

Volume 7, Number 4, August 2008

• XiaoFeng Wang, Michael K. Reiter:
  A multi-layer framework for puzzle-based denial-of-service defense. 243-263
  Electronic Edition (link) BibTeX
• Christophe Tartary, Huaxiong Wang, Josef Pieprzyk:
  A coding approach to the multicast stream authentication problem. 265-283
  Electronic Edition (link) BibTeX
• Frédéric Cuppens, Nora Cuppens-Boulahia:
  Modeling contextual security policies. 285-305
  Electronic Edition (link) BibTeX

Volume 7, Number 5, October 2008

• Esma Aïmeur, Gilles Brassard, José Manuel Fernandez, Flavien Serge Mani Onana:
  Alambic : a privacy-preserving recommender system for electronic commerce. 307-334
  Electronic Edition (link) BibTeX
• Cherita L. Corbett, Raheem A. Beyah, John A. Copeland:
  Passive classification of wireless NICs during active scanning. 335-348
  Electronic Edition (link) BibTeX
• Alexander W. Dent:
  A survey of certificateless encryption schemes and security models. 349-377
  Electronic Edition (link) BibTeX

Volume 7, Number 6, November 2008

• Changan Zhao, Fangguo Zhang, Jiwu Huang:
  A note on the Ate pairing. 379-382
  Electronic Edition (link) BibTeX
• Kenji Imamoto, Jianying Zhou, Kouichi Sakurai:
  Achieving evenhandedness in certified email system for contract signing. 383-394
  Electronic Edition (link) BibTeX
• Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas:
  Specifying and implementing privacy-preserving cryptographic protocols. 395-420
  Electronic Edition (link) BibTeX
• Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan:
  Opacity generalised to transition systems. 421-435
  Electronic Edition (link) BibTeX