dblp.uni-trier.de www.uni-trier.de

10. CSFW 1997: Rockport, Massachusetts, USA

10th Computer Security Foundations Workshop (CSFW '97), June 10-12, 1997, Rockport, Massachusetts, USA. IEEE Computer Society 1997 BibTeX
@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

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

Security Policies

Copyright © Sat May 16 23:04:11 2009 by Michael Ley (ley@uni-trier.de)