Concepedia

Access Policy Verification

Access Policy Verification is a formal method within zero trust access control that systematically validates whether an access request conforms to enforced security policies through continuous, real-time assessment of identity, context, and compliance attributes.

36

Publications

1.4K

Citations

109

Authors

56

Institutions

Publications per year

2017–2026

6

Parents

Publications

36

Supporting location-based conditions in access control policies

Claudio A. Ardagna, Marco Cremonini, Ernesto Damiani et al. · 2006 · 167 citations

, , +16

Towards Formal Verification of Role-Based Access Control Policies

Somesh Jha, Ninghui Li, Mahesh Tripunitara et al. · IEEE Transactions on Dependable and Secure Computing · 2008 · 132 citations

, , +17

Automated verification of access control policies using a SAT solver

Graham Hughes, Tevfik Bultan · International Journal on Software Tools for Technology Transfer · 2008 · 103 citations

, , +14

Analyzing and Managing Role-Based Access Control Policies

Karsten Sohr, Michael Drouineaud, Gail‐Joon Ahn et al. · IEEE Transactions on Knowledge and Data Engineering · 2008 · 78 citations

, , +16

Automatic error finding in access-control policies

Karthick Jayaraman, Vijay Ganesh, Mahesh Tripunitara et al. · 2011 · 68 citations · Full text

, , +15

1–5 of 36

Authors

109

  1. VC
    Vincent C. Hu

    National Institute of Standards and Technology, United States

    4 publications · 87 citations

    4

    h-index

  2. TX
    Tao Xie

    North Carolina State University, United States

    3 publications · 84 citations

    3

    h-index

  3. MT
    Mahesh Tripunitara

    University of Waterloo, Canada

    3 publications · 229 citations

    3

    h-index

  4. GH
    Graham Hughes

    University of California, Santa Barbara, United States

    2 publications · 140 citations

    2

    h-index

  5. LD
    Luca Durante

    Institute of Electronics, Computer and Telecommunication Engineering, Italy

    2 publications · 34 citations

    2

    h-index

1–5 of 109

Institutions

56

  1. Arizona State University

    Tempe, United States

    3 h-index

    7 publications

    330 citations

  2. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    6 publications

    479 citations

  3. National Institute of Standards and Technology

    Gaithersburg, United States

    3 h-index

    3 publications

    74 citations

  4. North Carolina State University

    Raleigh, United States

    3 h-index

    6 publications

    168 citations

  5. University of Waterloo

    Waterloo, Canada

    2 h-index

    2 publications

    97 citations

  6. Institute of Electronics, Computer and Telecommunication Engineering

    Turin, Italy

    2 h-index

    9 publications

    153 citations

  7. University of California, Santa Barbara

    Santa Barbara, United States

    2 h-index

    4 publications

    280 citations

  8. Syracuse University

    Syracuse, United States

    2 h-index

    2 publications

    97 citations

1–8 of 56

Venues

  1. 1

    h-index

  2. Journal of Computer Security

    1 publications · 52 citations

    1

    h-index

  3. 1

    h-index

  4. Computers & Security

    1 publications · 17 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 14 citations

    1

    h-index

1–5