On unifying some cryptographic protocol logics

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

Volumn , Issue , 1994, Pages 14-28

  Syverson, Paul F ^a   van Oorschot, Paul C ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; COMPUTER AIDED ANALYSIS; COMPUTER SIMULATION; CRYPTOGRAPHY; FORMAL LANGUAGES; FORMAL LOGIC; SYSTEM THEORY;

COMPLEX LOGIC; CRYPTOGRAPHIC PROTOCOL LOGICS; MODEL THEORETIC SEMANTICS; PRIMITIVE LANGUAGES; REASONING POWER;

NETWORK PROTOCOLS;

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

References (0)