default search action
Journal of Computer Security, Volume 18
Volume 18, Number 1, 2010
- Mário Campolargo:
Foreword. - Jan Camenisch, Javier López
, Fabio Massacci
JCS special issue on EU-funded ICT research on Trust and Security. 1-5 - André Bergholz, Jan De Beer, Sebastian Glahn, Marie-Francine Moens, Gerhard Paaß, Siehyun Strobel:
New filtering approaches for phishing email. 7-35 - Mads Dam, Bart Jacobs
Provably correct inline monitoring for multithreaded Java-like programs. 37-59 - Louis Salvail, Momtchil Peev
Security of trusted repeater quantum key distribution networks. 61-87 - Serdar Cabuk, Chris I. Dalton, Konrad Eriksson, Dirk Kuhlmann, HariGovind V. Ramasamy, Gianluca Ramunno, Ahmad-Reza Sadeghi, Matthias Schunter, Christian Stüble:
Towards automated security policy enforcement in multi-tenant virtual data centers. 89-121 - Claudio A. Ardagna
Exploiting cryptography for privacy-enhanced access control: A result of the PRIME Project. 123-160 - Savvas Argyropoulos, Dimitrios Tzovaras
Biometric template protection in multimodal authentication systems based on error correcting codes. 161-185
Volume 18, Number 2, 2010
- Sushil Jajodia
Editorial. 187 - Daniele Gorla
Preface. 189 - Pasquale Malacaria:
Risk assessment of security threats for looping constructs. 191-228 - Chiara Bodei
Detecting and preventing type flaws at static time. 229-264 - Sardaouna Hamadou, John Mullins:
Calibrating the power of schedulers for probabilistic polynomial-time calculus. 265-316 - Stéphanie Delaune, Steve Kremer
Symbolic bisimulation for the applied pi calculus. 317-377
Volume 18, Number 3, 2010
- Dimitrios Lekkas, Dimitris Gritzalis:
e-Passports as a means towards a Globally Interoperable Public Key Infrastructure. 379-396 - Massimiliano Pala, Sean W. Smith:
Finding the PKI needles in the Internet haystack. 397-420 - Jiguo Li, Xinyi Huang, Yi Mu, Willy Susilo
Constructions of certificate-based signature secure against key replacement attacks. 421-449 - Chung Ki Li, Guomin Yang
An efficient signcryption scheme with key privacy and its extension to ring signcryption. 451-473 - David W. Chadwick
Instant certificate revocation and publication using WebDAV. 475-496
Volume 18, Number 4, 2010
- Atsuhiro Goto:
Preface. 497 - Samir Saklikar, Subir Saha:
Identity Federation for VoIP systems. 499-540 - Adrian Baldwin, Marco Casassa Mont
Assurance for federated identity management. 541-572 - Sebastian Mödersheim
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols. 575-618 - Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon:
SecPAL: Design and semantics of a decentralized authorization language. 619-665
Volume 18, Number 5, 2010
- James R. Conrad, Jim Alves-Foss, Sauchi Stephen Lee:
Analyzing uncertainty in TG protection graphs with TG/MC. 667-699 - Riccardo Pucella, Fred B. Schneider:
Independence from obfuscation: A semantic framework for diversity. 701-749 - Roberto Giacobazzi, Isabella Mastroeni
Adjoining classified and unclassified information by abstract interpretation. 751-797 - Matthew Pirretti, Patrick Traynor, Patrick D. McDaniel, Brent Waters:
Secure attribute-based systems. 799-837 - Roberto Di Pietro
Hierarchies of keys in secure multicast communications. 839-860 - Nenad Jovanovic, Christopher Kruegel, Engin Kirda:
Static analysis for detecting taint-style vulnerabilities in web applications. 861-907 - Mathieu Baudet, Bogdan Warinschi, Martín Abadi:
Guessing attacks and the computational soundness of static equivalence. 909-968
Volume 18, Number 6, 2010
- Riccardo Focardi
Editorial. 969 - Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie:
Verifying resource access control on mobile interactive devices. 971-998 - Steve Kremer
Computationally sound analysis of protocols using bilinear pairings. 999-1033 - Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
Inductive trace properties for computational security. 1035-1073 - Andrei Sabelfeld:
Preface. 1075 - Michael Backes, Dominique Unruh
Computational soundness of symbolic zero-knowledge proofs. 1077-1155 - Michael R. Clarkson, Fred B. Schneider:
Hyperproperties. 1157-1210 - Stéphanie Delaune, Steve Kremer
Formal security analysis of PKCS#11 and proprietary extensions. 1211-1245 - Jean Goubault-Larrecq:
Finite models for formal security proofs. 1247-1299
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-17 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: