Another Look at Security Definitions

Neal Koblitz; Alfred Menezes

Paper 2011/343 Original: eprint.iacr.org/2011/343 ↗

Another Look at Security Definitions

Neal Koblitz

Alfred Menezes

Abstract

We take a critical look at security models that are often used to give "provable security'' guarantees. We pay particular attention to digital signatures, symmetric-key encryption, and leakage resilience. We find that there has been a surprising amount of uncertainty about what the "right'' definitions might be. Even when definitions have an appealing logical elegance and nicely reflect certain notions of security, they fail to take into account many types of attacks and do not provide a comprehensive model of adversarial behavior.

Metadata

Available format(s): PDF
Publication info: Preprint.
History: 2012-03-27: last updated; 2011-06-27: published
Short URL: https://ia.cr/2011/343
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2011/343,
      author = {Neal Koblitz and Alfred Menezes},
      title = {Another Look at Security Definitions},
      howpublished = {Cryptology {ePrint} Archive, Paper 2011/343},
      year = {2011},
      url = {https://eprint.iacr.org/2011/343}
}