Concepedia

Specification-based Security

Specification-Based Security is a security assurance approach that belongs to the class of methods enforcing correct API behavior by formally defining expected interactions through machine-readable specifications, distinguishing itself by systematically validating API implementations against explicitly stated syntactic, semantic, and behavioral constraints derived from those specifications.

176

Publications

7.1K

Citations

424

Authors

176

Institutions

Publications per year

2017–2026

23

Parents

Publications

176

Execution monitoring of security-critical programs in distributed systems: a specification-based approach

Calvin Ko, Manfred Ruschitzka, Karl Levitt · 2002 · 327 citations

, , +17

Hybrid of anomaly-based and specification-based IDS for Internet of Things using unsupervised OPF based on MapReduce approach

Hamid Bostani, Mansour Sheikhan · Computer Communications · 2016 · 251 citations

, , +14

A Specification-Based IDS for Detecting Attacks on RPL-Based Network Topology

Anhtuan Le, Jonathan Loo, Kok Keong Chai et al. · Information · 2016 · 205 citations · Full text

, , +12

The Compositional Security Checker: a tool for the verification of information flow security properties

Riccardo Focardi, Roberto Gorrieri · IEEE Transactions on Software Engineering · 1997 · 195 citations

, , +17

XML signature element wrapping attacks and countermeasures

Michael McIntosh, Paula Austel · 2005 · 169 citations

, , +15

1–5 of 176

Authors

424

  1. RF
    Riccardo Focardi

    Ca' Foscari University of Venice, Italy

    4 publications · 259 citations

    4

    h-index

  2. JJ
    J. Jacob

    University of York, United Kingdom

    4 publications · 170 citations

    4

    h-index

  3. CF
    Cédric Fournet

    Microsoft Research (United Kingdom), United Kingdom

    4 publications · 288 citations

    4

    h-index

  4. DB
    David Basin

    ETH Zurich, Switzerland

    3 publications · 52 citations

    3

    h-index

  5. CH
    Constance Heitmeyer

    United States Naval Research Laboratory, United States

    3 publications · 124 citations

    3

    h-index

1–5 of 424

Institutions

176

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    13 publications

    404 citations

  2. United States Naval Research Laboratory

    Washington, United States

    7 h-index

    14 publications

    536 citations

  3. Microsoft (United States)

    Redmond, United States

    6 h-index

    13 publications

    816 citations

  4. University of Bologna

    Bologna, Italy

    5 h-index

    12 publications

    402 citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    5 h-index

    9 publications

    517 citations

  6. Queen's University

    Kingston, Canada

    5 h-index

    9 publications

    139 citations

  7. University of Pennsylvania

    Philadelphia, United States

    4 h-index

    11 publications

    309 citations

  8. ETH Zurich

    Zurich, Switzerland

    4 h-index

    9 publications

    206 citations

1–8 of 176

Venues

  1. Journal of Computer Security

    6 publications · 200 citations

    6

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 206 citations

    6

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 4 publications · 436 citations

    4

    h-index

  4. Computers & Security

    3 publications · 78 citations

    3

    h-index

  5. Computer Communications

    3 publications · 318 citations

    3

    h-index

1–5