Casper: A compiler for the analysis of security protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1997, Pages 18-30

  Lowe, Gavin ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; ERROR ANALYSIS; NETWORK PROTOCOLS; PROGRAM COMPILERS;

COMMUNICATING SEQUENTIAL PROCESSES (CSP); PROGRAM PACKAGE CASPER;

SECURITY OF DATA;

EID: 0030678388     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)