Using a PVS embedding of CSP to verify authentication protocols

Conference presentation

Open access

Peer reviewed

B Dutertre and SA Schneider

Vol.LNCS 1

10th International Theorem Proving in Higher Order Logic Conference

30/09/2011

Abstract

pdf

tphols97232.11 kBDownload View

TextSRIDA, Open Access

url

http://dx.doi.org/10.1007/BFb0028390View

Published (Version of record)

197 File views/ downloads

23 Record Views

Title: Using a PVS embedding of CSP to verify authentication protocols
Creators: B Dutertre
SA Schneider
Contributors: Springer (null)
Publication Details: Vol.LNCS 1
Conference: 10th International Theorem Proving in Higher Order Logic Conference
Date submitted: 20/08/2011
Identifiers: 99511413402346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation