Journal of Computer Security, Volume 14

Volume 14, Number 1, 2006

Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade:
A survey of algebraic properties used in cryptographic protocols. 1-43
Electronic Edition (link) BibTeX
Stelvio Cimato, Antonella Cresti, Paolo D'Arco:
A unified model for unconditionally secure key distribution. 45-64
Electronic Edition (link) BibTeX
Riccardo Focardi, Sabina Rossi:
Information flow security in dynamic contexts. 65-110
Electronic Edition (link) BibTeX

CSFW17

Riccardo Focardi:
Preface. 111
Electronic Edition (link) BibTeX
Chiara Braghin, Daniele Gorla, Vladimiro Sassone:
Role-based access control for a distributed calculus. 113-155
Electronic Edition (link) BibTeX
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic:
Enforcing Robust Declassification and Qualified Robustness. 157-196
Electronic Edition (link) BibTeX
Olivier Pereira, Jean-Jacques Quisquater:
On the impossibility of building secure Cliques-type authenticated group key agreement protocols. 197-246
Electronic Edition (link) BibTeX

The First ACM Workshop on Digital Identity Management - DIM 2005

Atsuhiro Goto:
Preface. 247
Electronic Edition (link) BibTeX
Thibault Candebat, David Gray:
Secure pseudonym management using mediated identity-based encryption. 249-267
Electronic Edition (link) BibTeX
Abhilasha Bhargav-Spantzel, Anna Cinzia Squicciarini, Elisa Bertino:
Establishing and protecting digital identity in federation systems. 269-300
Electronic Edition (link) BibTeX

Sencun Zhu, Sanjeev Setia, Shouhuai Xu, Sushil Jajodia:
GKMPAN: An Efficient Group Rekeying Scheme for Secure Multicast in Ad-Hoc Networks. 301-325
Electronic Edition (link) BibTeX
Arun K. Eamani, A. Prasad Sistla:
Language based policy analysis in a SPKI Trust Management System. 327-357
Electronic Edition (link) BibTeX
Jianhong Xia, Sarma Vangala, Jiang Wu, Lixin Gao, Kevin A. Kwiat:
Effective worm detection for various scan techniques. 359-387
Electronic Edition (link) BibTeX

On IWAP05

Jianying Zhou, Meng-Chow Kang:
Preface. 389-390
Electronic Edition (link) BibTeX
Geraint Price:
Public Key Infrastructures: A research agenda. 391-417
Electronic Edition (link) BibTeX
Marcus Lippert, Vangelis Karatsiolis, Alexander Wiesmaier, Johannes Buchmann:
Life-cycle management of X.509 certificates based on LDAP directories. 419-439
Electronic Edition (link) BibTeX
Guilin Wang:
Generic non-repudiation protocols supporting transparent off-line TTP. 441-467
Electronic Edition (link) BibTeX
Javier Lopez:
Unleashing public-key cryptography in wireless sensor networks. 469-482
Electronic Edition (link) BibTeX

Patrick McDaniel, Atul Prakash:
Enforcing provisioning and authorization policy in the Antigone system. 483-511
Electronic Edition (link) BibTeX
Andrew Blyth, Paula Thomas:
Performing real-time threat assessment of security incidents using data fusion of IDS logs. 513-534
Electronic Edition (link) BibTeX
Esma Aïmeur, Gilles Brassard, Flavien Serge Mani Onana:
Blind Electronic Commerce. 535-559
Electronic Edition (link) BibTeX
Gethin Norman, Vitaly Shmatikov:
Analysis of probabilistic contract signing. 561-589
Electronic Edition (link) BibTeX
Geoffrey Smith:
Improved typings for probabilistic noninterference in a multi-threaded language. 591-623
Electronic Edition (link) BibTeX