Concepedia

Policy Verification

Policy Verification is a formal method within the domain of policy-based access control that systematically checks whether a network security policy conforms to specified correctness, consistency, and compliance requirements before deployment.

110

Publications

5.6K

Citations

359

Authors

137

Institutions

Publications per year

2017–2026

21

Parents

Publications

110

Enforceable security policies

Fred B. Schneider · ACM Transactions on Information and System Security · 2000 · 1.3K citations · Full text

, , +14

Real time network policy checking using header space analysis

Peyman Kazemian, Michael T. Chang, Hongyi Zeng et al. · 2013 · 456 citations

, , +12

Model checking invariant security properties in OpenFlow

Sooel Son, Seungwon Shin, Vinod Yegneswaran et al. · 2013 · 145 citations

, , +15

Verifying and enforcing network paths with icing

Jad Naous, Michael Walfish, Antonio Nicolosi et al. · 2011 · 144 citations

, , +12

VeriCon

Thomas Ball, Nikolaj Bjørner, Aaron Gember-Jacobson et al. · 2014 · 144 citations

, , +17

1–5 of 110

Authors

359

  1. VC
    Vincent C. Hu

    National Institute of Standards and Technology, United States

    6 publications · 170 citations

    6

    h-index

  2. NB
    Nikolaj Bjørner

    Microsoft (United States), United States

    5 publications · 423 citations

    5

    h-index

  3. TX
    Tao Xie

    North Carolina State University, United States

    4 publications · 129 citations

    4

    h-index

  4. JH
    JeeHyun Hwang

    North Carolina State University, United States

    3 publications · 106 citations

    3

    h-index

  5. KJ
    Karthick Jayaraman

    Syracuse University, United States

    3 publications · 217 citations

    3

    h-index

1–5 of 359

Institutions

137

  1. Arizona State University

    Tempe, United States

    5 h-index

    18 publications

    458 citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    5 h-index

    26 publications

    1.9K citations

  3. National Institute of Standards and Technology

    Gaithersburg, United States

    5 h-index

    6 publications

    202 citations

  4. North Carolina State University

    Raleigh, United States

    4 h-index

    8 publications

    258 citations

  5. Microsoft (United States)

    Redmond, United States

    4 h-index

    5 publications

    522 citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    11 publications

    214 citations

  7. University of California, Santa Barbara

    Santa Barbara, United States

    3 h-index

    5 publications

    376 citations

  8. The University of Texas at Austin

    Austin, United States

    3 h-index

    6 publications

    745 citations

1–8 of 137

Venues

  1. Computer Networks

    5 publications · 185 citations

    5

    h-index

  2. International Journal of Information Security

    3 publications · 211 citations

    3

    h-index

  3. IEEE Transactions on Network and Service Management

    TNSM · 2 publications · 49 citations

    2

    h-index

  4. ACM SIGPLAN Notices

    2 publications · 73 citations

    2

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 77 citations

    2

    h-index

1–5