Title :
Provable Security in the Real World
Author :
Degabriele, Jean Paul ; Paterson, Kenneth G. ; Watson, Gaven J.
Author_Institution :
Univ. of London, London, UK
Abstract :
Provable security plays an important role in the design and analysis of systems using cryptography. However, protocols can be vulnerable to attacks outside the scope of the existing formal analyses.
Keywords :
cryptographic protocols; formal specification; cryptography; formal analyses; protocols; provable security; Cryptography; Encryption; Protocols; Public key; Semantics; Provable security; secure protocols;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2010.200
