CSP, PVS and a recursive authentication protocol

Conference presentation

Open access

J Bryans and SA Schneider

DIMACS Workshop on Design and Formal Veriﬁcation of Security Protocols (Rutgers University, 03/09/1997)

30/09/2011

Abstract

pdf

dimacs237.15 kBDownload View

TextSRIDA, Open Access

url

http://dimacs.rutgers.edu/Workshops/Security/program2/bryans/index.htmlView

Published (Version of record)

189 File views/ downloads

71 Record Views

Title: CSP, PVS and a recursive authentication protocol
Creators: J Bryans
SA Schneider
Conference: DIMACS Workshop on Design and Formal Veriﬁcation of Security Protocols (Rutgers University, 03/09/1997)
Date submitted: 20/08/2011
Identifiers: 99513348302346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation