Table of Contents

Volume 15, Issue 1, 2007

Guest Editors: Peng Ning and Wenliang Du (Ad-hoc and Sensor Networks)

Charikleia Zouridaki, Brian Marks, Marek Hejmo, and Roshan Thomas, Hermes: A quantitative trust establishment framework for reliable packet delivery in MANETs, 3-38.

Maxim Raya and Jean-Pierre Hubaux, Securing vehicular ad hoc networks, 39-68.

Haowen Chan, Adrian Perrig, Bartosz Przydatek, and Dawn Song, SIA: Secure information aggregation in sensor networks, 69-102.

S. Radosavac, Alvaro Cárdenas, John Baras, Detecting IEEE 802.11 MAC layer misbehavior in ad hoc networks: Robust strategies against individual and colluding attackers, 103-128.

Shouhuai Xu, On the security of group communication schemes, 129-169.

Giorgio Zanin, Roberto Di Pietro, and Luigi Mancini, Robust RSA distributed signatures for large-scale long-lived ad-hoc networks, 171-196.

Volume 14, Issue 6, 2006

Patrick McDaniel and Atul Prakash, Enforcing provisioning and authorization policy in the Antigone system, 483-511.

Andrew Blyth and Paula Thomas, Performing real-time threat assessment of security incidents using data fusion of IDS logs, 513-534.

Esma Aïmeur, Gilles Brassard, and Flavien Serge Mani Onana, Blind electronic commerce, 535-559.

Gethin Norman and Vitaly Shmatikov, Analysis of probabilistic contract signing, 561-589.

Geoffrey Smith, Improved typings for probabilistic noninterference in a multi-threaded language, 591-623.

Volume 14, Issue 5, 2006

Guest Editors: Jianying Zhou and Meng-Chow Kang (IWAP '05)

Geraint Price, Public key infrastructures: A research agenda, 391-417.

M. Lippert, V. Karatsiolis, A. Wiesmaier and J. Buchmann, Life-cycle management of X.509 certificates based on LDAP directories, 419-439.

Guilin Wang, Generic non-repudiation protocols supporting transparent off-line TTP, 441-467.

Javier Lopez, Unleashing public-key cryptography in wireless sensor networks, 469-482.

Volume 14, Issue 4, 2006

Sencun Zhu, Sanjeev Setia, ShouHuai Xu, and Sushil Jajodia, GKMPAN: An efficient group rekeying scheme for secure multicast in ad-hoc networks, 301-325.

Arun Eamani and A. Prasad Sistla, Language based policy analysis in a SPKI trust management system, 327-357.

Jianhong Xia, Sarma Vangala, Jiang Wu, Lixin Gao, and Kevin Kwiat, Effective worm detection for various scan techniques, 359-387.

Volume 14, Issue 3, 2006

Guest Editor: Atsuhiro Goto (DIM 2005)

Thiault Candebat and David Gray, Secure psuedonym management using mediated identity-based encryption, 249-267.

Abhilasha Bhargav-Spantzel, Anna Squicciarini, and Elisa Bertino, Establishing and protecting digital identity in federation systems, 269-300.

Volume 14, Issue 2, 2006

Guest Editor: Riccardo Focardi (CSFW17)

Chiara Braghin, Daniele Gorla, and Vladimiro Sassone, Role-based access control for a distributed calculus, 113-155.

Andrew Myers, Andrei Sabelfeld, and Steve Zdancewic, Enforcing robust declassification and qualified robustness, 157-196.

Oliver Pereira and Jean-Jaques Quisquater, On the impossibility of building secure Cliques-type authenticated group key agreement protocols, 197-246.

Volume 14, Issue 1, 2006

Véronique Cortier, Stéphanie Delaune, and Pascal Lafourcade, A survey of algebraic properties used in cryptographic protocols, 1-43.

Stelvio Comato, Antonella Cresti, and Paolo D'Arco, A unified model for unconditionally secure key distribution, 45-64.

Riccardo Focardi and Sabina Rossi, Information flow security in dynamic contexts, 65-110.

Volume 13, Issue 6, 2005

Jarmo Mölsä, Mitigating denial of service attacks: A tutorial, 807-837

Rob Sherwood, Bobby Bhattacharjee and Aravind Srinivasan, P5: A protocol for scalable anonymous communication, 839-876

Antonio Pescapè and Gorgio Ventre, Experimental analysis of attacks against intradomain routing protocols,, 877-903

Volume 13, Issue 5, 2005

Guest Editors: Giampaolo Bella and Peter Ryan (ACM Symposium on Applied Computing 2004)

Stefano Bistarelli, Simon Foley and Barry O'Sullivan, A soft constraint-based approach to the cascade vulnerability problem, 699-720

Christian Collberg and Tapas Ranjan Sahoo, Software watermarking in the frequency domain: implementation, analysis, and attacks, 721-755

Aleksandra Nenadic', Ning Zhang and Qi Shi, RSA-based verifiable and recoverable encryption of signatures and its application in certified e-mail delivery, 757-777

Christos Siaterlis and Vasilis Maglaris, One step ahead to multisensor data fusion for DDoS detection, 779-806

Volume 13, Issue 4, 2005

Jaideep Vaidya and Chris Clifton, Secure Set Intersection Cardinality With Application to Association Rule Mining, 593-622

Meng Yu, Peng Liu and Wanyu Zang, Specifying and Using Intrusion Masking Models to Process Distributed Operations, 623-658

Salvatore J. Stolfo, Frank Apap, Eleazar Eskin, Katherine Heller, Shlomo Hershkop, Andrew Honig and Krysta Svore, A Comparative Evaluation of Two Algorithms for Windows Registry Anomaly Detection, 659-693

Jonathan Millen and Vitaly Shmatikov, Erratum: Symbolic Protocol Analysis With an Abelian Group Operator or Diffie-Hellman Exponentiation, 695

Volume 13, Issue 3, 2005

Guest Editor: Riccardo Focardi (CSFW16)

Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson, Static Validation of Security Protocols, 347-390

Annalisa Bossi, Damiano Macedonio, Cala Piazza and Sabina Rossi, Information Flow in Secure Contexts, 391-422

Anupam Datta, Ante Derek, John C. Mitchell and Dusko Pavlovic, A Derivation System and Compositional Logic for Security Protocols, 423-482

Joseph Y. Halpern and Kevin R. O'Neill, Anonymity and Information Hiding in Multiagent Systems, 483-514

Jonathan Millen and Vitaly Shmatikov, Symbolic Protocol Analysis with an Abelian Group Operator or Diffie-Hellman Exponentiation, 515-564

Bogdan Warinschi, A Computational Analysis of the Needham-Schroeder-(Lowe) Protocol, 565-591

Volume 13, Issue 2, 2005

Elisa Bertino, Elena Ferrari, and Giovanni Mella, An Approach to Cooperative Updates of XML Documents in Distributed Systems, 191-241

André Zúquete, An Efficient High Quality Random Number Generator for Multi-programmed Systems, 243-263

Iliano Cervesato, Nancy Durgin, Patrick Lincoln, John C. Mitchell, and Andre Scedrov, A Comparison Between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, 265-316

James Heather and Steve Schneider, A Decision Procedure for the Existence of a Rank Function, 317-344

Volume 13, Issue 1, 2005

Guest Editor: Roberto Gorrieri (Workshop on Issues in the Theory of Security (WITS), 2003)

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli, Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis, 3-47

Chiara Bodei, Pierpaolo Degano, and Corrado Priami, Checking Security Policies Through an Enhanced Control Flow Analysis, 49-85

Michele Bugliesi and Sabina Rossi, Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols, 87-113

Joshua Guttman, Amy Herzog, John Ramsdell, and Clement Skorupka, Verifying Information Flow Goals in Security-Enchanced Linux, 115-134

R. Ramanujam and S.P. Suresh, Decidability of Context-Explicit Security Protocols, 135-165

Vitaly Shmatikov and Carolyn Talcott, Reputation-Based Trust Management, 167-190

Volume 12, Issue 6, 2004

Guest Editor: Sabrina De Capitani di Vimercati (ACM Conf. on Computer and Communications Security, 2001)

Vijayalakshmi Atluri, Soon Ae Chun and Pietro Mazzoleni, Chinese Wall Security for Decentralized Workflow Management Systems, 799-840

Premkumar Devanbu, Michael Gertz, April Kwong, Charles Martel, Glen Nuckolls and Stuart Stubblebine, Flexible Authentication of XML Documents, 841-864

Joshua Guttman, F. Javier Thayer, and Lenore Zuck, The Faithfulness of Abstract Protocol Analysis: Message Authentication, 865-891

Catherine Meadows, Paul Syverson, and Iliano Cervesato, Formal Specification and Analysis of the Group Domain Interpretation Protocol using NPATRL and the NRL Protocol Analyzer, 893-931

Volume 12, Issue 5, 2004

Lingyu Wang, Duminda Wijesekera and Sushil Jajodia, Cardinality-based Inference Control in Data Cubes, 655-692

Roberto Di Pietro, Luigi Mancini and Alessandro Mei, Key Management for High Bandwidth Secure Multicast, 693-709

Taenam Cho, Sang-Ho Lee and Won Kim, A Group Key Recovery Mechanism Based on Logical Key Hierarchy, 711-736

Jian Zhang, Jian Gong and Yong Ding, Research on Automated Rollbackability of Intrusion Response, 737-752

Florian Buchholz and Clay Shields, Providing Process Origin Information to Aid in Computer Forensic Investigations, 753-776

Charles Iheagwara, Andrew Blyth and Mukesh Singhal, Cost Effective Management Frameworks for Intrusion Detection Systems, 777-798

Volume 12, Issue 3/4, 2004

Somesh Jha and Thomas Reps, Model Checking SPKI/SDSI, 317-354

Vitaly Shmatikov, Probabilistic Analysis of an Anonymity System, 355-378

Philippa J. Broadfoot and A. William Roscoe, Embedding Agents Within the Intruder to Detect Parallel Attacks, 379-408

Joshua Guttman, Authentication Tests and Disjoint Encryption: A Design Method for Security Protocols, 409-434

Andrew Gordon and Alan Jeffrey, Types and Effects for Asymmetric Cryptographic Protocols, 435-484

Dominic Duggan, Type-Based Cryptographic Operations, 485-550

Levente Buttyan, Jean-Pierre Hubaux and Srdjan Capkun, A Formal Model of Rational Exchange and Its Application to the Analysis of Syverson's Protocol, 551-588

Michael Backes, Birgit Pfitzmann, Michael Waidner and Michael Steiner, Polynomial Liveness, 589-618

Gavin Lowe, Defining Information Flow Quantity, 619-653

Volume 12, Issue 2, 2004

Alessandro Aldini, Mario Bravetti, and Roberto Gorrieri, A Process-Algebraic Approach for the Analysis of Probabilistic Noninterference, 191-246

Nancy Durgin, Patrick Lincoln, John C. Mitchell, and Andre Scedrov, Multiset Rewriting and the Complexity of Bounded Security Protocols, 247-311

Volume 12, Issue 1, 2004

Dominic Hughes and Vitaly Shmatikov, Information Hiding, Anonymity and Privacy: a Modular Approach, 3-36

Alessandra DiPierro, Chris Hankin and Herbert Wiklicky, Approximate Non-interference, 37-82

Gavin Lowe, Analysing Protocol Subject to Guessing Attacks, 83-98

Daniele Micciancio and Bogdan Warinschi, Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions, 99-130

Ajay Chander, Drew Dean, and John C. Mitchell, Reconstructing Trust Management, 131-164

Volume 11, Issue 4, 2003

A. Gordon and A. Jeffrey, Authenticity by Typing for Security Protocols, 451-520

E. Sumii and B. Pierce, Logical Relations for Encryption, 521-554

O. Pereira and J.-J. Quisquater, Some Attacks Upon Authenticated Group Key Agreement Protocols, 555-580

J. Halpern and R. van der Meyden, A Logical Reconstruction of SPKI, 581-614

H. Mantel and A. Sabelfeld, A Unifying Approach to the Security of Distributed and Multi-Threaded Programs, 615-676

N. Durgin, J. Mitchell, and D. Pavlovic, A Compositional Logic for Proving Security Properties of Protocols, 677-722

Volume 11, Issue 3, 2003

K. Campbell, L. Gordon, M. Loeb, and L. Zhou, The Economic Cost of Publicly Announced Information Security Breaches: Empirical Evidence from the Stock Market, 431-448

Special Section, Guest Edtors: B. Thraisingham and R. van de Riet (IFIP 2000)

P. Devanbu, M. Gertz, C. Martel, and S. Stubblebine, Authentic Data Publication Over the Internet, 291-314

D. Barbará, R. Goel, and S. Jajodia, A Checksum-based Corruption Detection Technique, 315-330

J. Hale, M. Papa, and S. Shenoi, Programmable Access Control, 331-352

W. Teepe, R. van de Riet and M. Olivier, WorkFlow Analyzed for Security and Privacy in Using Databases, 353-364

C. Altenschmidt, J. Biskup, U. Flegel, and Y. Karabulut, Secure Mediation: Requirements, Design, and Architecture, 365-398

Volume 11, Issue 2, 2003

P. Sewell and J. Vitek, Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality, 135-188

E. Cohen, First-order Verification of Cryptographic Protocols, 189-216

J. Heather, G. Lowe, and S. Schneider, How to Prevent Type Flaw Attacks on Security Protocols, 217-244

P. Kakkar, C. Gunter, and M. Abadi, Reasoning About Secrecy for Active Networks, 245-287.

Volume 11, Issue 1, 2003

N. Li, W. Winsborough, and J. Mitchell, Distributed Credential Chain Discovery in Trust Management, 35-86

G. Bella, Inductive Verification of Smart Card Protocols, 87-132

Volume 10, Issue 4, 2002

G. Brose, Manageable Access Control for CORBA, 301-338

G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, and D. Toll, Verified Formal Security Models for Multiapplicative Smart Cards, 339-368

P. Bieber, J. Cazin, P. Girard, J.-L. Lanet, V. Wiels, and G. Zanon, Checking Secure Interactions of Smart Card Applets: Extended Version, 369-398

I. Welch and R. Stroud, Using Reflection as a Mechanism for Enforcing Security Policies on Compiled Code, 399-432

Volume 10, Issue 3, 2002

B. Levine and C. Shields, Hordes: a Multicast-Based Protocol for Anonymity, 213-240

P. Bonatti and P. Samarati, A Uniform Framework for Regulating Service Access and Information Release on the Web, 241-272

A. Buldas, P. Laud and H. Lipmaa, Eliminating Counterevidence with Applications to Accountable Certificate Management, 273-296

Erratum for Depender Graphs... in 9(4), 297

Volume 10, Issues 1/2, 2002

W. Lee, W. Fan, M. Miller, S.J. Stolfo and E. Zadok, Toward Cost-Sensitive Modeling for Intrusion Detection and Response, 5-22

F. Kerschbaum, E.H. Spafford and D. Zamboni, Using Internal Sensors and Embedded Detectors for Intrusion Detection, 23-70

S.T.Eckmann, G. Vigna and R.A. Kemmerer, STATL: An Attack Language for State-Based Intrusion Detection, 71-104

S. Staniford, J.A. Hoagland and J.M. McAlerney, Practical Automated Detection of Stealthy Portscans, 105-136

Y. Li, N. Wu, X.S. Wang and S. Jajodia, Enhancing Profiles for Anomaly Detection Using Time Granularities, 137-158

D. Spinellis and D. Gritzalis, Panoptis: Intrusion Detection Using a Domain-Specific Language, 159-176

A. Yasinsac, An Environment for Security Protocol Intrusion Detection, 177-188

C.R. Ramakrishnan and R. Sekar, Model-Based Analysis of Configuration Vulnerabilities, 189-209

Volume 9, Issue 4, 2001

D. Clarke, J.-E. Elien, C. Ellison, M. Fredette, A. Morcos, and R.L. Rivest, Certificate Chain Discovery in SPKI/SDSI, 285-322

R. Wright, P. Lincoln, and J. Millen, Depender Graphs: A Method of Fault-Tolerant Certificate Distribution, 323-338

Volume 9, Issue 3, 2001

Lawrence Paulson, Relations Between Secrets: Two Formal Analyses of the Yahalom Protocol, 197-216

Frederic Besson, Thomas Jensen, Daniel Le Metayer, Model Checking Security Properties of Control Flow Graphs, 217-250

Volume 9, Issues 1/2, 2001

Mei Lin Hui and Gavin Lowe, Fault-Preserving Simplifying Transformations for Security Protocols, 3-46

Dawn X. Song, Sergey Berezin and Adrian Perrig, Athena: A Novel Approach to Efficient Automatic Security Protocol Analysis, 47-74

Peter Y. A. Ryan and Steve A. Schneider, Process Algebra and Non-Interference, 75-103

Joseph Halpern and Ron van der Meyden, A Logic for SDSI's Linked Local Name Spaces, 105-142

Catherine Meadows, A Cost-Based Framework for Analysis of Denial of Service Networks, 143-164

Volume 8, Issue 4, 2000

P. Liu, S. Jajodia, and C. McCollum, Intrusion Confinement by Isolation in Information Systems, 243-280

C. Clifton, Using Sample Size to Limit Exposure to Data Mining, 281-308

E. Bertino, P. Bonatti, E. Ferrari, and M. Sapino, Temporal Authorization Bases: From Specification to Integration, 309-354

Volume 8, Issue 2/3, 2000

Guest Editors: Y. Deswarte and C. Meadows (ESORICS '98)

G. Karjoth, Authorization in CORBA Security, 89-108

E. Bertino, F. Buccafurri, E. Ferrari, and P. Rullo, A Logic-Based Approach for Enforcing Access Control, 109-140

J. Kelsey, B. Schneier, D. Wagner, and C. Hall, Side Channel Cryptanalysis of Product Ciphers, 141-158

A. Wespi, H. Debar, M. Dacier, and M. Nassehi, Fixed- vs. Variable-Length Patterns for Detecting Suspicious Process Behavior, 159-182

G. Horn and B. Preneel, Authentication and Payment in Future Mobile Systems, 183-208

Volume 8, Issue 1, 2000

V. Atluri, W. Huang, and E. Bertino, A Semantic-Based Execution Model for Multilevel Secure Workflows, 3-42

J. Hale, J. Threet, and S. Shenoi, A Ticket-Based Access Control Architecture for Object Systems, 43-66

A. Spalka and A. Cremers, Structured Name-Spaces in Secure Databases, 67-86

Volume 7, Issue 4, 1999

E. Bertino and E. Ferrari, Secure Object Deletion and Garbage Collection in Multilevel Object Bases, 257-286

E. Gudes, M. Olivier and R. van de Riet, Modeling, Specifying and Implementing Workflow Security in Cyberspace, 287-316

R. Sandhu and V. Bhamidipati, Role-based Administration of User-Role Assignment: The URA97 Model and its Oracle Implementation , 317-342

Volume 7, Issue 2/3, 1999

G. Lowe, Towards a Completeness Result for Model Checking of Security Protocols, 89-146

A. W. Roscoe and P. Broadfoot, Proving Security Protocols with Model Checkers by Data Independence Techniques, 147-190

J. Thayer, J. Herzog, and J. Guttman, Strand Spaces: Proving Security Protocols Correct, 191-230

D. Volpano and G. Smith, Probabilistic Noninterference in a Concurrent Language, 231-253

Volume 7, Issue 1, 1999

Intrusion Detection Guest Editor: P. Porras

T. Daniels and E. Spafford, Identification of Host Audit Data to Detect Attacks on Low-level IP, 3-36

G. Vigna and R. Kemmerer, NetSTAT: A Network-based Intrusion Detection System, 37-72

Volume 6, Issue 4, 1998

M. Franklin and D. Malkhi, Auditable Metering with Lightweight Security, 237-256

F. Casati, S. Castano, and M. Fugini, Enforcing Workflow Authorization Constraints Using Triggers, 257-286

Volume 6, Issue 3, 1998

S. Hofmeyr, S. Forrest and A. Somayaji, Intrusion Detection Using Sequences of System Calls, 151-180

I. Ray, P. Ammann, and S. Jajodia, A Semantic-Based Transaction Processing Model for Multilevel Transactions, 181-217

Volume 6, Issue 1/2, 1998

M. Abadi, On SDSI's Linked Local Name Spaces, 3-22

J. Gray, K. Ip, and K. Lui, Provable Security for Cryptographic Protocols -- Exact Analysis and Engineering Applications, 23-52

G. Lowe, Casper: A Compiler for the Analysis of Security Protocols, 53-84

L. Paulson, The Inductive Approach to Verifying Cryptographic Protocols, 85-128

Volume 5, Issue 4

S. Castano, S. De Capitani di Vimercati, and M. Fugini, Automated Derivation of Global Authorizations for Database Federations, 271-302

V. Atluri and W. Huang, Enforcing Mandatory and Discretionary Security in Workflow Management Systems, 303-340

S. Demurjian and T. Ting, Towards a Definitive Paradigm for Security in Object-Oriented Systems and Applications, 341-382

Volume 5, Issue 3

F. Bergadano, B. Crispo, and M. Lomas, Strong Authentication and Privacy with Standard Browsers, 191-212

J. Quisquater and M. Joye, Authentication of Sequences with the SL2 Hash Function: Application to Video Sequences, 213-224

C. Bryce, W. Kuehnhauser, R. Amouroux, M. Lopez, and H. Rudnik, CWASAR: a European Infrastructure for Secure Electronic Commerce, 225-236

P. Syverson, M. Reed, and D. Goldschlag, Private Web Browsing, 237-248

M. Roescheisen and T. Winograd, A Network-Centric Design for Relationship-Based Security and Access Control, 249-254

M. Winslett, N. Ching, V. Jones, and I. Slepchin, Using Digital Credentials on the World Wide Web, 255-266

Volume 5, Issue 2

D. Malkhi and M. Reiter, A High-Throughput Secure Reliable Multicast Protocol, 113-128

J. Sinclair, Action Systems for Security Specification, 129-154

S. De Capitani di Vimercati and P. Samarati, Authorization Specification and Enforcement in Federated Database Systems, 155-188

Volume 5, Issue 1

P. Bonatti, M. Sapino and V. Subrahmanian, Merging Heterogeneous Security Orderings, 3-30

V. Lotz, Threat Scenarios as a Means to Formally Develop Secure Systems, 31-68

J. Camenish, U. Maurer and M. Stadler, Digital Payment Systems With Passive Anonymity-Revoking Trustees, 69-90

N. Asokan, G. Tsudik and M. Waidner, Server-Supported Signatures, 91-108

Volume 4, Issue 4

S. Chuang, Securing ATM Networks, 289-330

M. Bishop, Conspiracy and Information Flow in the Take-Grant Protection Model, 331-360

Volume 4, Issue 2/3

P. Ammann, R. Lipton, and R. Sandhu, The Expressive Power of Multi-parent Creation in Monotonic Access Control Models, 149-166

D. Volpano, C. Irvine, G. Smith, A Sound Type System for Secure Flow Analysis, 167-188

J. McDermott and R. Mukkamala, A Performance Comparison of Five Transaction Processing Algorithms for the SINTRA Replicated-Architecture Database system, 189-228

Bell and LaPadula, Secure Computer Systems: A Mathematical Model, Volume II, 229-263 (with prefatory remarks by LaPadula and Millen)

Volume 4, Issue 1

B. d'Ausbourg and Ch. Calas, Implementing Secure Dependencies over a Network by Designing a Distributed Security SubSystem, 3-26

A.W. Roscoe, J.C.P. Woodcock, and L. Wulf, Non-interference through Determinism, 27-54

U. M. Maurer and P. E. Schmid, A Calculus for Security Bootstrapping in Distributed Systems, 55-80

A. Jiwa, T. Hardjono and J. Seberry, Beacons for Authentication in Distributed Systems, 81-96

R. Hauser, P. Janson, R. Molva, G. Tsudik, and E. Van Herreweghen Robust and Secure Password and Key Change Method, 97-112

Volume 3, Issue 4

L. Chen, D. Gollmann and C. J. Mitchell, Distributing Trust Amongst Multiple Authentication Servers, 255-268

A. Zakinthinos and E. S. Lee, The Composability of Non-Interference, 269-282

M. Bishop, Theft of Information in the Take-Grant Protection Model, 283-308

C. Blundo, L. A. Frota Mattos and D. R. Stinson, Multiple Key Distribution Maintaining User Anonymity via Broadcast Channels, 309-322

Volume 3, Issue 2/3

I. E. Kang and T. F. Keefe, Transaction Management for Multilevel Secure Replicated Databases, 115-146

T. H. Hinke, H. S. Delugach and A. Chandrasekhar, A Fast Algorithm for Detecting Second Paths in Database Inference Analysis, 147-168

E. Bertino, F. Origgi and P. Samarati, An Extended Authorization Model for Object Databases, 169-206

L. Notargiacomo, B. T. Blaustein, and C. D. McCollum, Merging Models: Integrity, Dynamic Separation of Duty, and Trusted Data Management207-230

Volume 3, Issue 1

R. Focardi and R. Gorrieri, A Taxonomy of Security Properties for Process Algebras, 5-34

J. K. Millen, Unwinding Forward Correctability, 35-54

W. Bevier and W. Young, A State-Machine Approach to Non-Interference , 55-70

G. Simmons and C. Meadows, The Role of Trust in Information Integrity Protocols , 71-84

Volume 2, Issue 4

J. T. Trostle, Modelling a Fuzzy Time System, 291-310

V. Atluri, E. Bertino, and S. Jajodia, Achieving Stricter Correctness Requirements in Multilevel Secure Database Management Systems, 311-352

Volume 2, Issue 2/3

J. Millen, A Resource Allocation Model for Denial of Service Protection, 89-106

T. Woo and S. Lam, Authorization in Distributed Systems: A New Approach, 107-136

V. Gligor, S. Luan, and J. Pato, On Inter-Realm Authentication in Large Distributed Systems, 137-158

J. Epstein, J. McHugh, H. Orman, R. Pascale, A. Marmor-Squires, B. Danner, C. Martin, M. Branstad, J. Benson, and D. Rothnie, A High Assurance Window System Prototype, 159-190

R. Yahalom, Optimality of Asynchronous Two-Party Secure Data-Exchange Protocols,191-210

B. Littlewood, S. Brocklehurst, N. Fenton, P. Mellor, S. Page, D. Wright, J. Dobson, J. McDermid, and D. Gollman, Towards Operational Measures of Computer Security, 211-230

R. Thomas and R. Sandhu, A Kernelized Architecture for Multilevel Secure Object-Oriented Databases Supporting Write-Up, 231-275

Volume 2, Issue 1

Th. Beth, Obituary: Fighting for Computer Security - Chris Jahl - in Memoriam, 3-4

H. Haertig, O. Kowalski, and W. Kuehnhauser, The BirliX Security Architecture, 5-22

C. Mitchell and A. Thomas, Standardising Authentication Protocols Based on Public-Key Techniques, 23-36

J. Graham-Cumming, Laws of Non-Interference in CSP, 37-52

A. Sgarro, Information-Theoretic Bounds for Authentication Frauds, 53-64

B. den Boer, A Simple and Key-Economical Unconditional Authentication Scheme, 65-72

K. Lam, Building an Authentication Service for Distributed Systems, 73-84

Volume 1, Issue 3/4

J. Wray, An Analysis of Covert Timing Channels, 219-232

W. Hu, Reducing Timing Channels with Fuzzy Time, 233-254

J. Gray, Toward a Mathematical Foundation for Information, 255-294 Flow Security

J. Tardo and K. Alagappan, SPX: Global Authentication Using Public Key Certificates, 295-316

P. Syverson, Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols, 317-334

P. Ammann and R. Sandhu, The Extended Schematic Protection Model, 335-384

J. Jacob, Basic Theorems About Security, 385-412

Volume 1, Issue 2

S. Gupta and V. Gligor, Towards a Theory of Penetration-Resistant Systems and its Applications, 133-158

S. Foley, Aggregation and Separation as Noninterference Properties, 159-188

A. Motro, A Unified Model for Security and Integrity in Relational Databases, 189-213

Volume 1, Issue 1

J. McLean, Proving Noninterference and Functional Correctness Using Traces, 37-58

R. Sandhu, Expressive Power of the Schematic Protection Model, 59-98

P. Bieber and F. Cuppens, A Logical View of Secure Dependencies, 99-130