Concepedia

Policy Synthesis

Policy Synthesis is a formal method in the domain of Policy-Based Access Control that systematically generates access control policies from high-level security requirements, distinguished by its reliance on automated reasoning and alignment with organizational objectives and constraints.

47

Publications

1.4K

Citations

116

Authors

50

Institutions

Publications per year

2017–2026

26

Parents

Publications

47

On-Policy Dataset Synthesis for Learning Robot Grasping Policies Using Fully Convolutional Deep Networks

Vishal Satish, Jeffrey Mahler · IEEE Robotics and Automation Letters · 2019 · 126 citations

, , +16

Identifying and managing inappropriate hospital utilization: a policy synthesis.

Susan Payne · PubMed · 1987 · 122 citations

, , +17

Some Thoughts on the Increasing Use of Administrative Data in Child Maltreatment Research

Brett Drake, Melissa Jonson‐Reid · Child Maltreatment · 1999 · 72 citations

, , +17

Sequencing and Routing in Multiclass Queueing Networks Part II: Workload Relaxations

Sean Meyn · SIAM Journal on Control and Optimization · 2003 · 64 citations

, , +17

Synthesising verified access control systems through model checking

Nan Zhang, Mark Ryan, Dimitar P. Guelev · Journal of Computer Security · 2008 · 52 citations · Full text

, , +17

1–5 of 47

Authors

116

  1. AA
    Alessandro Abate

    University of Oxford, United Kingdom

    6 publications · 131 citations

    6

    h-index

  2. UT
    Ufuk Topcu

    The University of Texas at Austin, United States

    4 publications · 118 citations

    4

    h-index

  3. LE
    Lydia E. Kavraki

    Rice University, United States

    3 publications · 52 citations

    3

    h-index

  4. SH
    Sofie Haesaert

    Eindhoven University of Technology, Netherlands

    3 publications · 53 citations

    3

    h-index

  5. MH
    Mohammadhosein Hasanbeig

    University of Oxford, United Kingdom

    3 publications · 78 citations

    3

    h-index

1–5 of 116

Institutions

50

  1. University of Oxford

    Oxford, United Kingdom

    5 h-index

    15 publications

    330 citations

  2. Rice University

    Houston, United States

    4 h-index

    13 publications

    234 citations

  3. California Institute of Technology

    Pasadena, United States

    4 h-index

    5 publications

    164 citations

  4. The University of Texas at Austin

    Austin, United States

    3 h-index

    6 publications

    136 citations

  5. University of Pennsylvania

    Philadelphia, United States

    3 h-index

    6 publications

    229 citations

  6. Newcastle University

    Newcastle upon Tyne, United Kingdom

    3 h-index

    5 publications

    79 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    3 h-index

    8 publications

    265 citations

  8. Delft University of Technology

    Delft, The Netherlands

    2 h-index

    3 publications

    40 citations

1–8 of 50

Venues

  1. arXiv (Cornell University)

    Repository · 4 publications · 110 citations

    4

    h-index

  2. Radboud Repository (Radboud University)

    Repository · 2 publications · 45 citations

    2

    h-index

  3. EPiC series in computing

    2 publications · 29 citations

    2

    h-index

  4. IEEE Transactions on Automatic Control

    2 publications · 28 citations

    2

    h-index

  5. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 23 citations

    1

    h-index

1–5