arrow
Return

Methods and Tools for Policy Analysis

delete2019-02-04
delete29
delete
OA
AI
A
Amani Abu Jabal *
M
Maryam Davari
E
Elisa Bertino
C
Christian Makaya
S
Seraphin Calo
D
Dinesh Verma
A
Alessandra Russo
C
Christopher B. Williams
DOI:10.1145/3295749delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
Policy-based management of computer systems, computer networks and devices is a critical technology especially for present and future systems characterized by large-scale systems with autonomous devices, such as robots and drones. Maintaining reliable policy systems requires efficient and effective analysis approaches to ensure that the policies verify critical properties, such as correctness and consistency. In this paper, we present an extensive overview of methods for policy analysis. Then, we survey policy analysis systems and frameworks that have been proposed and compare them under various dimensions. We conclude the paper by outlining novel research directions in the area of policy analysis.
Keywords:
Policy analysis
access control policies
network policies
policy quality requirements
policy design and organization
similarity analysis
change impact analysis
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

ACM Computing Surveys cover
ACM Computing Surveys
IF:
28
Papers:
2.4K
Citations:
3.5W

Organization

Purdue University System cover
Purdue University System
Scholars:
3.9W
Papers: 3.6W
Citations: 66
I
international business machines (ibm)
Scholars:
5.7K
Papers: 4.5K
Citations: 4
P
Purdue University
Scholars:
2.6W
Papers: 2.1W
Citations: 147
I
Imperial College London
Scholars:
8.3W
Papers: 7.3W
Citations: 11.1W
researcher View more organizations