Mechanized proofs for a recursive authentication protocol

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1997, Pages 84-94

  Paulson, Lawrence C ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FINITE AUTOMATA; SECURITY OF DATA; THEOREM PROVING;

AUTHENTICATION; INDUCTIVE DEFINITIONS; ISABELLE/HOL PROOF TOOLS; SESSION KEYS;

NETWORK PROTOCOLS;

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

References (10)