16. CSFW 2003: Pacific Grove, California, USA

@proceedings{DBLP:conf/csfw/2003,
  title     = {16th IEEE Computer Security Foundations Workshop (CSFW-16 2003),
               30 June - 2 July 2003, Pacific Grove, CA, USA},
  booktitle = {CSFW},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1927-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Information Flow

• Geoffrey Smith:
  Probabilistic Noninterference through Weak Probabilistic Bisimulation. 3-13
  Electronic Edition (link) BibTeX
• Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
  Secure Contexts for Confidential Data. 14-28
  Electronic Edition (link) BibTeX
• Steve Zdancewic, Andrew C. Myers:
  Observational Determinism for Concurrent Program Security. 29-
  Electronic Edition (link) BibTeX

Protocols I

• Jonathan K. Millen, Vitaly Shmatikov:
  Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation. 47-61
  Electronic Edition (link) BibTeX
• Catherine Meadows:
  A Procedure for Verifying Security Against Type Confusion Attacks. 62-
  Electronic Edition (link) BibTeX

Logics for Anonymity and Distributed System Security

• Joseph Y. Halpern, Kevin R. O'Neill:
  Anonymity and Information Hiding in Multiagent Systems. 75-88
  Electronic Edition (link) BibTeX
• Ninghui Li, John C. Mitchell:
  Understanding SPKI/SDSI Using First-Order Logic. 89-
  Electronic Edition (link) BibTeX

Protocols II

• Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
  A Derivation System for Security Protocols and its Logical Formalization. 109-125
  Electronic Edition (link) BibTeX
• Chiara Bodei, Mikael Buchholtz, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
  Automatic Validation of Protocol Narration. 126-140
  Electronic Edition (link) BibTeX
• Philippa J. Broadfoot, Gavin Lowe:
  On Distributed Security Transactions that Use Secure Transport Protocols. 141-
  Electronic Edition (link) BibTeX

Access Control & Information Flow

• Anindya Banerjee, David A. Naumann:
  Using Access Control for Secure Information Flow in a Java-like Language. 155-169
  Electronic Edition (link) BibTeX
• Tom Chothia, Dominic Duggan, Jan Vitek:
  Type-Based Distributed Access Control. 170-
  Electronic Edition (link) BibTeX

Authorization and Security Policies

• Joseph Y. Halpern, Vicky Weissman:
  Using First-Order Logic to Reason about Policies. 187-201
  Electronic Edition (link) BibTeX
• Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine:
  On Generalized Authorization Problems. 202-
  Electronic Edition (link) BibTeX

Computational Analysis of Security Protocols

• Liqun Chen, Caroline Kudla:
  Identity Based Authenticated Key Agreement Protocols from Pairings. 219-233
  Electronic Edition (link) BibTeX
• Jonathan C. Herzog:
  The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model. 234-247
  Electronic Edition (link) BibTeX
• Bogdan Warinschi:
  A Computational Analysis of the Needham-Schröeder-(Lowe) Protocol. 248-
  Electronic Edition (link) BibTeX