default search action

combined dblp search
author search
venue search
publication search

ask others

15th CSFW 2002: Cape Breton, Nova Scotia, Canada

> Home > Conferences and Workshops > CSFW

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/csfw/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/2002
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

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/PierroHW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/PierroHW02
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky:
Approximate Non-Interference. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Lowe02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Lowe02
Gavin Lowe:
Quantifying Information Flow. 18-31
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HalpernO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HalpernO02
Joseph Y. Halpern, Kevin R. O'Neill:
Secrecy in Multiagent Systems. 32-

Intrusion

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/JhaSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/JhaSW02
Somesh Jha, Oleg Sheyner, Jeannette M. Wing:
Two Formal Analys s of Attack Graphs. 49-63
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/PouzolD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/PouzolD02
Jean-Philippe Pouzol, Mireille Ducassé:
Formal Specification of Intrusion Signatures and Detection Rules. 64-

Protocols I

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GordonJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GordonJ02
Andrew D. Gordon, Alan Jeffrey:
Types and Effects for Asymmetric Cryptographic Protocols. 77-91
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Guttman02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Guttman02
Joshua D. Guttman:
Security Protocol Design via Authentication Tests. 92-103
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Heather02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Heather02
James Heather:
Strand Spaces and Rank Functions: More than Distant Cousins. 104-

Applications of Model-Checking

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Shmatikov02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Shmatikov02
Vitaly Shmatikov:
Probabilistic Analysis of Anonymity. 119-128
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/JhaR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/JhaR02
Somesh Jha, Thomas W. Reps:
Analysis of SPKI/SDSI Certificates Using Model Checking. 129-

Protocols II

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BroadfootR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BroadfootR02
Philippa J. Broadfoot, A. W. Roscoe:
Capturing Parallel Attacks within the Data Independence Framework. 147-159
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BackesPSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BackesPSW02
Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner:
Polynomial Fairness and Liveness. 160-174
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ButlerCJS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ButlerCJS02
Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov:
A Formal Analysis of Some Properties of Kerberos 5 Using MSR. 175-

Games

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/ButtyanHC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/ButtyanHC02
Levente Buttyán, Jean-Pierre Hubaux, Srdjan Capkun:
A Formal Analysis of Syverson?s Rational Exchange Protocol. 193-205
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/KremerR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/KremerR02
Steve Kremer, Jean-François Raskin:
Game Analysis of Abuse-free Contract Signing. 206-

Language-Based Security

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Simonet02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Simonet02
Vincent Simonet:
Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types. 223-237
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Duggan02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Duggan02
Dominic Duggan:
Cryptographic Types. 238-252
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BanerjeeN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BanerjeeN02
Anindya Banerjee, David A. Naumann:
Secure Information Flow and Pointer Confinement in a Java-like Language. 253-

Distributed Rights, Access Control, and Watermarking

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/KarjothS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/KarjothS02
Günter Karjoth, Matthias Schunter:
A Privacy Policy Model for Enterprises. 271-281
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/PucellaW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/PucellaW02
Riccardo Pucella, Vicky Weissman:
A Logic for Reasoning about Digital Rights. 282-294
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Tran02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Tran02
Nicholas Tran:
Hiding Functions and Computational Security of Image Watermarking Systems. 295-

Information Flow II

- view
  authority control:
- export record
  dblp key:
  - conf/csfw/FocardiR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/FocardiR02
Riccardo Focardi, Sabina Rossi:
Information Flow Security in Dynamic Contexts. 307-319
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Pottier02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Pottier02
François Pottier:
A Simple View of Type-Secure Information Flow in the p-Calculus. 320-330

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.