Non-Interference & Information Flow

• 
  Sylvan Pinsky, Edward Zieglar: Noninterference Equations for Nondeterministic Systems. 3-4
• 
  Steve Zdancewic, Andrew C. Myers: Robust Declassification. 15

Access Control

• 
  Ajay Chander, John C. Mitchell, Drew Dean: A State-Transition Model of Trust Management and Access Control. 27-43
• 
  Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera: Revocations-A Classification. 44-58
• 
  Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. 59-

Protocols I

• 
  Olivier Pereira, Jean-Jacques Quisquater: A Security Analysis of the Cliques Protocols Suites. 73-81
• 
  Bruno Blanchet: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. 82-96
• 
  Véronique Cortier, Jonathan K. Millen, Harald Rueß: Proving Secrecy is Easy Enough. 97-

Panel

• 
  Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner: Relating Cryptography and Cryptographic Protocols. 111-114

Information Flow & Multi-Threading

• 
  Geoffrey Smith: A New Type System for Secure Information Flow. 115-125
• 
  Heiko Mantel, Andrei Sabelfeld: A Generic Approach to the Security of Multi-Threaded Programs. 126-

Protocols II

• 
  Andrew D. Gordon, Alan Jeffrey: Authenticity by Typing for Security Protocols. 145-159
• 
  Marcelo P. Fiore, Martín Abadi: Computing Symbolic Models for Verifying Cryptographic Protocols. 160-173
• 
  Michaël Rusinowitch, Mathieu Turuani: Protocol Insecurity with Finite Number of Sessions is NP-Complete. 174-

Intrusion Tolerance & Detection

• 
  Peng Liu, Sushil Jajodia: Multi-Phase Damage Confinement in Database Systems for Intrusion Tolerance. 191-205
• 
  Somesh Jha, Kymie M. C. Tan, Roy A. Maxion: Markov Chains, Classifiers, and Intrusion Detection. 206-219
• 
  Muriel Roger, Jean Goubault-Larrecq: Log Auditing through Model-Checking. 220-

Panel

• 
  Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor: Non-Interference: Who Needs It? 237-

Logics for Protocol Verification

• 
  Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic: A Compositional Logic for Protocol Correctness. 241-

Secrecy & Privacy

• 
  Wenliang Du, Mikhail J. Atallah: Privacy-Preserving Cooperative Scientific Computations. 273-294
• 
  Maritta Heisel, Andreas Pfitzmann, Thomas Santen: Confidentiality-Preserving Refinement. 295-306

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