Protocol-independent secrecy

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

Volumn , Issue , 2000, Pages 110-119

  Millen, Jon ^a   Ruess, Harald ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY OF DATA; THEOREM PROVING;

CRYPTOGRAPHIC PROTOCOL; NEEDHAM-SCHROEDER PROTOCOL; SECRECY THEOREM;

COMPUTER PRIVACY;

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

References (11)