Modelling and verifying key-exchange protocols using CSP and FDR

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1995, Pages 98-107

  Roscoe, A W ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CRYPTOGRAPHY; DATA COMMUNICATION SYSTEMS; DATA STRUCTURES; MATHEMATICAL MODELS; SECURITY OF DATA;

ENCLOSING SYSTEM; KEY EXCHANGE PROTOCOLS; MESSAGE TRANSPORT SYSTEMS; MODEL CHECKING TOOL;

NETWORK PROTOCOLS;

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

References (10)