Volume 7, Number 1, January 2008

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

Volume 7, Number 2, April 2008

• 
  Dieter Gollmann: Editorial. 101
• 
  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
• 
  Jason Crampton, Hemanth Khambhammettu: Delegation in role-based access control. 123-136
• 
  Philip W. L. Fong: Discretionary capability confinement. 137-154
• 
  Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters: Conditional reactive simulatability. 155-169

Volume 7, Number 3, June 2008

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

Volume 7, Number 4, August 2008

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

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
• 
  Cherita L. Corbett, Raheem A. Beyah, John A. Copeland: Passive classification of wireless NICs during active scanning. 335-348
• 
  Alexander W. Dent: A survey of certificateless encryption schemes and security models. 349-377

Volume 7, Number 6, November 2008

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

last updated on Wed May 22 05:44:03 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page