Methods and Tools for Policy Analysis-Reference-Cited by-同舟云学术

Methods and Tools for Policy Analysis

Published:2019-11-30 Issue:6 Volume:51 Page:1-35
ISSN:0360-0300
Container-title:ACM Computing Surveys
language:en
Short-container-title:ACM Comput. Surv.

Author:

Jabal Amani Abu¹^ORCID,Davari Maryam¹,Bertino Elisa¹,Makaya Christian²,Calo Seraphin²,Verma Dinesh²,Russo Alessandra³,Williams Christopher⁴

Affiliation:

1. Purdue University, West Lafayette, IN, USA

2. IBM Research, Yorktown Heights, NY, USA

3. Imperial College, London, UK

4. The Defence Science and Technology Laboratory, Porton Down, UK

Abstract

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.

Funder

U.S. Army Research Laboratory and the U.K. Ministry of Defence

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3295749

Reference232 articles.

1. {n.d.}. Gorgias-B. Retrieved January 27 2018 from http://gorgiasb.tuc.gr/index.html. {n.d.}. Gorgias-B. Retrieved January 27 2018 from http://gorgiasb.tuc.gr/index.html.

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. NPV: Fast Network Policy Verification for Cloud-Native Networking;2024 IEEE 44th International Conference on Distributed Computing Systems (ICDCS);2024-07-23

2. Automated Infrastructure as Code Program Testing;IEEE Transactions on Software Engineering;2024-06

3. In-Depth Analysis of Kubernetes Manifest Verification Tools for Robust CNF Deployment;2024 27th Conference on Innovation in Clouds, Internet and Networks (ICIN);2024-03-11

4. Acumen: Analysing the Impact of Organisational Change on Users’ Access Entitlements;Lecture Notes in Computer Science;2024

5. Automation for Network Security Configuration: State of the Art and Research Trends;ACM Computing Surveys;2023-10-05