• DocumentCode
    1405078
  • Title

    Provable Security in the Real World

  • Author

    Degabriele, Jean Paul ; Paterson, Kenneth G. ; Watson, Gaven J.

  • Author_Institution
    Univ. of London, London, UK
  • Volume
    9
  • Issue
    3
  • fYear
    2011
  • Firstpage
    33
  • Lastpage
    41
  • 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;
  • fLanguage
    English
  • Journal_Title
    Security & Privacy, IEEE
  • Publisher
    ieee
  • ISSN
    1540-7993
  • Type

    jour

  • DOI
    10.1109/MSP.2010.200
  • Filename
    5669247
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1405078