Concepedia

Security Requirements Verification

Security Requirements Verification is a systematic process within secure requirements engineering that evaluates whether specified security requirements are correctly defined, consistent, complete, and accurately aligned with established security objectives and constraints to ensure their validity and traceability throughout the system development lifecycle.

47

Publications

1.5K

Citations

134

Authors

65

Institutions

Publications per year

2017–2026

11

Parents

Publications

47

Security for Mobile Agents: Issues and Requirements

William M. Farmer, Joshua D. Guttman, Vipin Swarup · 1996 · 197 citations

, , +9

Threat-driven modeling and verification of secure software using aspect-oriented Petri nets

Dong Xu, Kendall E. Nygard · IEEE Transactions on Software Engineering · 2006 · 160 citations

, , +17

Sound methods and effective tools for model-based security engineering with UML

Jan Jürjens · 2005 · 107 citations

, , +17

Cryptanalysis and Improvement of a Biometric-Based Multi-Server Authentication and Key Agreement Scheme

Chengqi Wang, Xiao Zhang, Zhiming Zheng · PLoS ONE · 2016 · 74 citations · Full text

, , +17

Using Security Patterns to Model and Analyze Security Requirements

Sascha Konrad, Betty H. C. Cheng, Laura A. Campbell · 2012 · 71 citations

, , +17

1–5 of 47

Authors

134

  1. JJ
    Jan Jürjens

    Fraunhofer Institute for Software and Systems Engineering, Germany

    3 publications · 132 citations

    3

    h-index

  2. RM
    Rafael M. Gasca

    Universidad de Sevilla, Spain

    2 publications · 46 citations

    2

    h-index

  3. EF
    Eduardo Fernández‐Medina

    University of Castilla-La Mancha, Spain

    2 publications · 31 citations

    2

    h-index

  4. DG
    David G. Rosado

    University of Castilla-La Mancha, Spain

    2 publications · 31 citations

    2

    h-index

  5. YY
    Yijun Yu

    The Open University, United Kingdom

    2 publications · 33 citations

    2

    h-index

1–5 of 134

Institutions

65

  1. Technical University of Munich

    Munich, Germany

    4 h-index

    8 publications

    309 citations

  2. University of Castilla-La Mancha

    Ciudad Real, Spain

    2 h-index

    6 publications

    93 citations

  3. Qatar University

    Doha, Qatar

    2 h-index

    4 publications

    51 citations

  4. Universidad de Sevilla

    Seville, Spain

    2 h-index

    8 publications

    194 citations

  5. The Open University

    Milton Keynes, United Kingdom

    2 h-index

    5 publications

    89 citations

  6. Supply Chain Competence Center (Germany)

    Munich, Germany

    2 h-index

    2 publications

    128 citations

  7. Swinburne University of Technology

    Melbourne, Australia

    2 h-index

    4 publications

    73 citations

  8. Politecnico di Torino

    Turin, Italy

    2 h-index

    6 publications

    83 citations

1–8 of 65

Venues

  1. PLoS ONE

    1 publications · 74 citations

    1

    h-index

  2. IEEE Design and Test

    1 publications · 14 citations

    1

    h-index

  3. 1

    h-index

  4. IEEE Transactions on Dependable and Secure Computing

    TDSC · 1 publications · 15 citations

    1

    h-index

  5. ACM Transactions on Information and System Security

    TISSEC · 1 publications · 16 citations

    1

    h-index

1–5