15. CSFW 2002: Cape Breton, Nova Scotia, Canada
15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 24-26 June 2002, Cape Breton, Nova Scotia, Canada. IEEE Computer Society 2002 ISBN 0-7695-1689-0
Information Flow I
- Gavin Lowe: Quantifying Information Flow. 18-31
Intrusion
- Jean-Philippe Pouzol, Mireille Ducassé: Formal Specification of Intrusion Signatures and Detection Rules. 64-
Protocols I
- Joshua D. Guttman: Security Protocol Design via Authentication Tests. 92-103
- James Heather: Strand Spaces and Rank Functions: More than Distant Cousins. 104-
Applications of Model-Checking
- Vitaly Shmatikov: Probabilistic Analysis of Anonymity. 119-128
Protocols II
- Philippa J. Broadfoot, A. W. Roscoe: Capturing Parallel Attacks within the Data Independence Framework. 147-159
- Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner: Polynomial Fairness and Liveness. 160-174
- Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov: A Formal Analysis of Some Properties of Kerberos 5 Using MSR. 175-
Games
- Levente Buttyán, Jean-Pierre Hubaux, Srdjan Capkun: A Formal Analysis of Syverson?s Rational Exchange Protocol. 193-205
Language-Based Security
- Vincent Simonet: Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types. 223-237
- Dominic Duggan: Cryptographic Types. 238-252
- Anindya Banerjee, David A. Naumann: Secure Information Flow and Pointer Confinement in a Java-like Language. 253-
Distributed Rights, Access Control, and Watermarking
- Nicholas Tran: Hiding Functions and Computational Security of Image Watermarking Systems. 295-
Information Flow II
- François Pottier: A Simple View of Type-Secure Information Flow in the p-Calculus. 320-330
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team