International Journal of Information Security, Volume 7

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

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

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

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

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

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 update Thu May 23 18:56:01 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page