Strand spaces: Why is a security protocol correct?

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 1998, Pages 160-171

  Fabrega, F Javier Thayer ^a   Herzog, Jonathan C ^a   Guttman, Joshua D ^a  

^a MITRE CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GRAPH THEORY; INTERACTIVE COMPUTER SYSTEMS; NETWORK PROTOCOLS; THEOREM PROVING;

NEEDHAM-SCHROEDER-LOWE PROTOCOL; SECURITY PROTOCOLS; STRAND SPACES;

SECURITY OF DATA;

EID: 0031676397     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)