Secure Channel Analysis

Secure Channel Analysis is a formal method within protocol analysis that systematically evaluates the cryptographic and procedural mechanisms ensuring confidentiality, integrity, and authenticity in communication channels to distinguish secure protocol implementations from vulnerable ones.

18

Publications

1.1K

Citations

61

Authors

20

Institutions

Publications per year

2017–2026

4

Authors

61

  1. VD
    Virgil D. Gligor

    University of Maryland, College Park, United States

    2 publications · 202 citations

    2

    h-index

  2. KG
    Kefeng Guo

    Space Engineering University, China

    2 publications · 45 citations

    2

    h-index

  3. LS
    Luca Simone Ronga

    University of Florence, Italy

    1 publications · 23 citations

    1

    h-index

  4. NN
    Nitin Nitin

    Jaypee University of Information Technology, India

    1 publications · 14 citations

    1

    h-index

  5. PS
    Pallavi Singh

    Graphic Era University, India

    1 publications · 14 citations

    1

    h-index

1–5 of 61

Venues

  1. IEEE Access

    1 publications · 20 citations

    1

    h-index

  2. USENIX Security Symposium

    Conference · 1 publications · 38 citations

    1

    h-index

  3. ACM SIGOPS Operating Systems Review

    1 publications · 13 citations

    1

    h-index

  4. Wireless Personal Communications

    1 publications · 23 citations

    1

    h-index

  5. Physics Letters A

    1 publications · 97 citations

    1

    h-index

1–5