Concepedia

Formal Methods For Security

Formal Methods for Security is a systematic application of mathematical logic and formal verification techniques to rigorously specify, model, and verify security properties in cyber-physical systems, distinguishing it from informal or ad hoc analysis methods by its reliance on provable correctness and absence of ambiguity.

458

Publications

22.4K

Citations

1.2K

Authors

499

Institutions

Publications per year

2017–2026

154

Parents

Publications

458

Secure Computer Systems: Mathematical Foundations

David E. Bell, Leonard J. LaPadula · Defense Technical Information Center (DTIC) · 1973 · 1K citations

, , +14

Prudent engineering practice for cryptographic protocols

M. Abadi, R. Needham · IEEE Transactions on Software Engineering · 1996 · 578 citations

, , +16

Two formal analyses of attack graphs

Somesh Jha, Oleg Sheyner, J.M. Wing · 2003 · 493 citations

, , +13

Secure Computer Systems: Mathematical Foundations and Model

David E. Bell · Medical Entomology and Zoology · 1973 · 487 citations

, , +14

Using model checking to analyze network vulnerabilities

Ronald W. Ritchey, Paul Ammann · 2002 · 433 citations

, , +12

1–5 of 458

Authors

1.2K

  1. AS
    Antonella Santone

    University of Molise, Italy

    5 publications · 193 citations

    5

    h-index

  2. FM
    Francesco Mercaldo

    Institute of Informatics and Telematics, Italy

    5 publications · 193 citations

    5

    h-index

  3. AK
    Ashok Kumar Das

    International Institute of Information Technology, Hyderabad, India

    5 publications · 636 citations

    5

    h-index

  4. CM
    Catherine Meadows

    United States Naval Research Laboratory, United States

    5 publications · 283 citations

    5

    h-index

  5. PM
    Prabhat Mishra

    University of Florida, United States

    4 publications · 182 citations

    4

    h-index

1–5 of 1.2K

Institutions

499

  1. United States Naval Research Laboratory

    Washington, United States

    12 h-index

    23 publications

    1.1K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    11 h-index

    24 publications

    2K citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    9 h-index

    32 publications

    3.6K citations

  4. SRI International

    Menlo Park, United States

    8 h-index

    10 publications

    1.1K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    8 h-index

    16 publications

    1.5K citations

  6. Menlo School

    Atherton, United States

    7 h-index

    9 publications

    1.1K citations

  7. IBM (United States)

    Armonk, United States

    7 h-index

    12 publications

    253 citations

  8. ETH Zurich

    Zurich, Switzerland

    7 h-index

    16 publications

    823 citations

1–8 of 499

Venues

  1. IEEE Access

    10 publications · 289 citations

    10

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 179 citations

    9

    h-index

  3. IEEE Transactions on Dependable and Secure Computing

    TDSC · 9 publications · 398 citations

    9

    h-index

  4. arXiv (Cornell University)

    Repository · 9 publications · 461 citations

    9

    h-index

  5. Journal of Computer Security

    8 publications · 427 citations

    8

    h-index

1–5