Open AccessA Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
Author(s) -
Juan Carlos López-Pimentel,
Raúl Monroy,
Dieter Hutter
Publication year - 2007
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2006.12.034
Subject(s) - computer science , cryptographic protocol , protocol (science) , computer security , cryptographic primitive , formal verification , model checking , cryptography , security analysis , formal methods , key exchange , public key cryptography , theoretical computer science , software engineering , encryption , medicine , alternative medicine , pathology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom