10. CSFW 1997:
Rockport,
Massachusetts,
USA
10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA.
IEEE Computer Society 1997
@proceedings{DBLP:conf/csfw/1997,
title = {10th Computer Security Foundations Workshop (CSFW '97), June
10-12, 1997, Rockport, Massachusetts, USA},
booktitle = {CSFW},
publisher = {IEEE Computer Society},
year = {1997},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Protocol Checking in CSP
- Steve Schneider:
Verifying authentication protocols with CSP.
3-17
- Gavin Lowe:
Casper: A Compiler for the Analysis of Security Protocols.
18-30
- Gavin Lowe:
A Hierarchy of Authentication Specification.
31-44
Protocol Engineering
Protocol Verification in Higher Order Logic
Languages for Formal Specification of Security Protocols
Distributed System Security
Protocol Applications
Information Flow:
Chair
The Computer Security Foundations Workshop:
Ten Years on and Ten Years Ahead
- J. Sinclair:
The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead.
170-172
Security Policies
Last update Wed Feb 15 04:58:15 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page