Concepedia

Security Policy Verification

Security Policy Verification is a formal method within compliance automation that systematically checks whether an organization’s security controls and configurations adhere to specified security policies through automated, evidence-based validation.

60

Publications

2.4K

Citations

159

Authors

71

Institutions

Publications per year

2017–2026

5

Parents

Publications

60

1–5 of 60

Authors

159

  1. GM
    Greg Morrisett

    Harvard University Press, United States

    3 publications · 232 citations

    3

    h-index

  2. AB
    Adel Bouhoula

    University of Carthage, Tunisia

    3 publications · 55 citations

    3

    h-index

  3. FS
    Fumiko Satoh

    Tokai University, Japan

    3 publications · 46 citations

    3

    h-index

  4. KW
    Kevin W. Hamlen

    The University of Texas at Dallas, United States

    2 publications · 89 citations

    2

    h-index

  5. NB
    Nihel Ben Youssef

    École Normale Supérieure Paris-Saclay, France

    2 publications · 45 citations

    2

    h-index

1–5 of 159

Institutions

71

  1. IBM Research - Tokyo

    Tokyo, Japan

    3 h-index

    6 publications

    82 citations

  2. Harvard University Press

    Cambridge, United States

    3 h-index

    9 publications

    697 citations

  3. Cornell University

    Ithaca, United States

    2 h-index

    3 publications

    301 citations

  4. University of Carthage

    Tunis, Tunisia

    2 h-index

    5 publications

    54 citations

  5. Université de Sherbrooke

    Sherbrooke, Canada

    2 h-index

    2 publications

    26 citations

  6. Indian Institute of Technology Kharagpur

    Kharagpur, India

    2 h-index

    6 publications

    156 citations

  7. Lehigh University

    Bethlehem, United States

    2 h-index

    2 publications

    155 citations

  8. Mohammed V University

    Rabat, Morocco

    2 h-index

    4 publications

    52 citations

1–8 of 71

Venues

  1. Computer

    2 publications · 295 citations

    2

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 43 citations

    2

    h-index

  3. Journal of Computer Security

    2 publications · 53 citations

    2

    h-index

  4. Procedia Computer Science

    1 publications · 14 citations

    1

    h-index

  5. IEEE Transactions on Services Computing

    1 publications · 24 citations

    1

    h-index

1–5