Concepedia

Key Management Protocol Analysis

Key Management Protocol Analysis is a formal method within the field of protocol analysis that specifically examines the design, distribution, storage, and lifecycle management of cryptographic keys in secure communication protocols to ensure their resilience against unauthorized access and cryptographic compromise.

26

Publications

866

Citations

52

Authors

28

Institutions

Publications per year

2017–2026

3

Parents

Publications

26

Applying Formal Methods to the Analysis of a Key Management Protocol

Catherine Meadows · Journal of Computer Security · 1992 · 159 citations

, , +15

Group Key Management Protocols: A Novel Taxonomy

Yacine Challal, Hamida Seba · 2008 · 139 citations · Full text

, , +15

A system for the specification and analysis of key management protocols

Catherine Meadows · 2002 · 62 citations

, , +17

Using narrowing in the analysis of key management protocols

Catherine Meadows · 2003 · 54 citations · Full text

, , +16

Efficient Group Key Management Protocol with One-Way Key Derivation

Jen-Chiun Lin, Feipei Lai, Hung‐Chang Lee · 2005 · 46 citations

, , +14

1–5 of 26

Authors

52

  1. CM
    Catherine Meadows

    United States Naval Research Laboratory, United States

    3 publications · 275 citations

    3

    h-index

  2. SY
    Seokung Yoon

    National Information Society Agency, South Korea

    1 publications · 14 citations

    1

    h-index

  3. AB
    Alan Bundy

    University of Edinburgh, United Kingdom

    1 publications · 12 citations

    1

    h-index

  4. MH
    Marko Horvat

    University of Zagreb, Croatia

    1 publications · 24 citations

    1

    h-index

  5. KK
    Kanwalinderjit Kaur Gagneja

    North Dakota State University, United States

    1 publications · 12 citations

    1

    h-index

1–5 of 52

Institutions

28

  1. United States Naval Research Laboratory

    Washington, United States

    3 h-index

    3 publications

    275 citations

  2. National University of Sciences and Technology

    Islamabad, Pakistan

    2 h-index

    5 publications

    81 citations

  3. Manouba University

    Manouba, Tunisia

    1 h-index

    2 publications

    46 citations

  4. Henan University of Science and Technology

    Luoyang, China

    1 h-index

    3 publications

    36 citations

  5. Savitribai Phule Pune University

    Pune, India

    1 h-index

    3 publications

    99 citations

  6. Chinese Academy of Sciences

    Beijing, China

    1 h-index

    3 publications

    57 citations

  7. Hungkuang University

    Taichung, Taiwan

    1 h-index

    1 publications

    46 citations

  8. Université Clermont Auvergne

    Clermont-Ferrand, France

    1 h-index

    3 publications

    63 citations

1–8 of 28

Venues

  1. IEEE Communications Surveys & Tutorials

    ComST · 1 publications · 13 citations

    1

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 12 citations

    1

    h-index

  3. 1

    h-index

  4. 1

    h-index

  5. Chinese Physics B

    1 publications · 31 citations

    1

    h-index

1–5