Methods and Tools for Policy Analysis

被引：27

作者：

Abu Jabal, Amani ^{[1
]}

Davari, Maryam ^{[1
]}

Bertino, Elisa ^{[1
]}

Makaya, Christian ^{[2
]}

Calo, Seraphin ^{[2
]}

Verma, Dinesh ^{[2
]}

Russo, Alessandra ^{[3
]}

Williams, Christopher ^{[4
]}

机构：

[1] Purdue Univ, 305 N Univ St, W Lafayette, IN 47907 USA

[2] IBM Res, Yorktown Hts, NY USA

[3] Imperial Coll, London, England

[4] Def Sci & Technol Lab, Porton Down, England

来源：

ACM COMPUTING SURVEYS | 2019年 / 51卷 / 06期

关键词：

Policy analysis; access control policies; network policies; policy quality requirements; policy design and organization; similarity analysis; change impact analysis; ACCESS-CONTROL POLICIES; DECISION DIAGRAMS; MODEL-CHECKING; VERIFICATION; FRAMEWORK; IMPACT; LOGIC; CLASSIFICATION; ARGUMENTATION; SPECIFICATION;

D O I：

10.1145/3295749

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页数：35

共 50 条

[1] Complexity and Policy Analysis; Tools and Methods for Designing Robust Policies in a Complex World
Gerrits, Lasse
EMERGENCE-COMPLEXITY & ORGANIZATION, 2009, 11 (03):
[2] Methods for Policy Analysis
Schochet, Peter Z.
Fortson, Jane
JOURNAL OF POLICY ANALYSIS AND MANAGEMENT, 2014, 33 (02) : 495 - +
[3] Methods for Policy Analysis
Keele, Luke
Tingley, Dustin
Yamamoto, Teppei
JOURNAL OF POLICY ANALYSIS AND MANAGEMENT, 2015, 34 (04) : 937 - +
[4] Editorial: Methods and Tools for Bioimage Analysis
Levet, Florian
Uhlmann, Virginie
Jug, Florian
FRONTIERS IN COMPUTER SCIENCE, 2022, 4
[5] Analysis of the Efficacy of the ECB's Policy Tools
Billy, Alexander
ATLANTIC ECONOMIC JOURNAL, 2016, 44 (01) : 131 - 132
[6] Policy Analysis and Verification by Graph Transformation Tools
Parisi-Presicce, Francesco
Zhao, Yujie
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (01) : 101 - 112
[7] SCREENING METHODS IN POLICY ANALYSIS
BUNN, DW
SOCIO-ECONOMIC PLANNING SCIENCES, 1978, 12 (06) : 329 - 331
[8] CONCEPTS AND METHODS OF POLICY ANALYSIS
MACRAE, D
SOCIETY, 1979, 16 (06) : 17 - 23
[9] QUANTITATIVE METHODS IN POLICY ANALYSIS
CLARKE, M
AREA, 1987, 19 (01) : 80 - 81
[10] MODELS AND METHODS FOR POLICY ANALYSIS
PILATI, DA
ENERGY CONVERSION AND MANAGEMENT, 1980, 20 (04) : 232 - 237

← 1 2 3 4 5 →