Concepedia

Security Properties Of Protocols

Security Properties of Protocols is a formal specification of the essential safety guarantees—such as confidentiality, integrity, authentication, and non-repudiation—that a communication protocol must satisfy to resist adversarial attacks within a given threat model.

779

Publications

62.3K

Citations

1.4K

Authors

617

Institutions

Publications per year

2017–2026

122

Parents

Publications

779

On the security of public key protocols

Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations

, , +13

Random oracles are practical

Mihir Bellare, Phillip Rogaway · 1993 · 4.7K citations · Full text

, , +16

Universally composable security: a new paradigm for cryptographic protocols

Ran Canetti · 2001 · 3.3K citations

, , +15

Multiparty unconditionally secure protocols

David Chaum, Claude Crépeau, Ivan Damgård · 1988 · 1.5K citations

, , +9

Security and Composition of Multiparty Cryptographic Protocols

Ran Canetti · Journal of Cryptology · 2000 · 1.4K citations · Full text

, , +11

1–5 of 779

Authors

1.4K

  1. CC
    Cas Cremers

    ETH Zurich, Switzerland

    18 publications · 1.2K citations

    16

    h-index

  2. RC
    Ran Canetti

    IBM (United States), United States

    16 publications · 7K citations

    15

    h-index

  3. YL
    Yehuda Lindell

    Bar-Ilan University, Israel

    15 publications · 1.6K citations

    14

    h-index

  4. JC
    John C. Mitchell

    Stanford University, United States

    14 publications · 1.2K citations

    12

    h-index

  5. SD
    Stéphanie Delaune

    Centre National de la Recherche Scientifique, France

    12 publications · 297 citations

    12

    h-index

1–5 of 1.4K

Institutions

617

  1. Centre National de la Recherche Scientifique

    Paris, France

    23 h-index

    51 publications

    2.4K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    22 h-index

    53 publications

    2.6K citations

  3. ETH Zurich

    Zurich, Switzerland

    20 h-index

    46 publications

    3.1K citations

  4. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    18 h-index

    38 publications

    2.3K citations

  5. University of Oxford

    Oxford, United Kingdom

    17 h-index

    35 publications

    2.3K citations

  6. IBM (United States)

    Armonk, United States

    16 h-index

    20 publications

    16.2K citations

  7. Stanford University

    Stanford, United States

    15 h-index

    33 publications

    8.9K citations

  8. Purdue University West Lafayette

    West Lafayette, United States

    13 h-index

    24 publications

    1.6K citations

1–8 of 617

Venues

  1. Journal of Computer Security

    33 publications · 3.1K citations

    26

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 30 publications · 863 citations

    18

    h-index

  3. IACR Cryptology ePrint Archive

    Repository · 19 publications · 796 citations

    14

    h-index

  4. Journal of Cryptology

    13 publications · 2.6K citations

    13

    h-index

  5. ACM Transactions on Information and System Security

    TISSEC · 11 publications · 667 citations

    11

    h-index

1–5