Searching for a solution: engineering tradeoffs and the evolution of provably secure protocols

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

Volumn , Issue , 2000, Pages 82-95

  Clark, John A ^a   Jacob, Jeremy L ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; GENETIC ALGORITHMS; OPTIMIZATION; SECURITY OF DATA;

ENGINEERING SECURITY; EVOLUTIONARY SEARCH; PROTOCOL PROGRAMMING LANGUAGE; PROTOCOL SECURITY;

NETWORK PROTOCOLS;

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

References (18)