NDLI logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. International Workshop on Policies for Distributed Systems and Networks.
  2. 2012 IEEE International Symposium on Policies for Distributed Systems and Networks
  3. Automated Policy Analysis
Loading...

Please wait, while we are loading the content...

2012 IEEE International Symposium on Policies for Distributed Systems and Networks
Table of contents
Preface
Program Committee
Additional Reviewers
Automated Policy Analysis
Home Network Management Policies: Putting the User in the Loop
Policy Driven Development: Flexible Policy Insertion for Large Scale Systems
On the Performance of Access Control Policy Evaluation
Classifying Natural Language Sentences for Policy
Cross-Platform Access Control for Mobile Web Applications
Early Detection of Policies Violations in a Social Media Site: A Bayesian Belief Network Approach
A Component and Policy-Based Approach for Efficient Sensor Network Reconfiguration
ACTORS: A Goal-Driven Approach for Capturing and Managing Consent in e-Health Systems
Multi-organization Policy-Based Monitoring
Firewall Configuration Policies for the Specification and Implementation of Private Zones
Improving Scientific Workflow Performance Using Policy Based Data Placement
Content Analysis of Privacy Policies for Health Social Networks
Author index
2011 IEEE International Symposium on Policies for Distributed Systems and Networks
2010 IEEE International Symposium on Policies for Distributed Systems and Networks
2009 IEEE International Symposium on Policies for Distributed Systems and Networks
2008 IEEE Workshop on Policies for Distributed Systems and Networks
Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07)
Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'06)
Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05)
Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004.
Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks
Proceedings Third International Workshop on Policies for Distributed Systems and Networks

Similar Documents

...
POSTER: Analyzing Access Control Policies with SMT

Article

...
The Satisfiability Modulo Theories Competition (SMT-COMP). http://www.smtcomp.org (2009)

...
Semantic matching of web services security policies

Article

...
SMT-COMP: Satisfiability Modulo Theories Competition (2005)

Article

...
Design and Results of the 2nd Annual Satisfiability Modulo Theories competition

Article

...
Analysis and design of an adaptive automated trust negotiation system

Article

...
GPF: A General Policy Framework

Article

...
A SMT-based diagnostic test generation method for combinational circuits

Article

...
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo

Article

Automated Policy Analysis

Content Provider IEEE Xplore Digital Library
Author Arkoudas, K. Loeb, S. Chadha, R. Chiang, J. Whittaker, K.
Copyright Year 2012
Abstract Static analysis of access-control policies is becoming increasingly important. Such analysis can reveal errors and vulnerabilities in the policies, as well as logical inconsistencies, unintended effects, and discrepancies between different policies or different versions of the same policy. In the process, it helps policy developers to better understand the effects of their policies. Policy analysis has typically been done by hand. For instance, when a bug is discovered and corrected, the resulting policy is manually inspected to ensure that the fix works and that it does not introduce any new problems. But when the policies are large or their logical structure non-trivial, performing such analysis manually is tedious and error-prone. In this paper we show how to automate a wide array of useful policy analyses. This is accomplished by representing policies as logical formulas in the SMT (satisfiability-modulo-theory) subset of first-order logic, and couching analysis questions as SMT problems, which are then solved by efficient off-the-shelf SMT solvers. Because SMT solvers can reason about arithmetic and inductive data types, in addition to Boolean constraints, our system can handle many policies that cannot be analyzed by existing policy engines. We describe the formulation of a number of useful analyses (consistency, completeness, and observational equivalence), and report experimental results on the efficiency of our implementation for analyzing policies of various sizes and kinds of logical structure.
Starting Page 1
Ending Page 8
File Size 435357
Page Count 8
File Format PDF
ISBN 9781467319935
DOI 10.1109/POLICY.2012.11
Language English
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date 2012-07-16
Publisher Place USA
Access Restriction Subscribed
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword Electronic mail Standards Pattern matching Arrays Context Syntactics Ontologies satisfiability modulo theory Policies access control policy analysis SMT
Content Type Text
Resource Type Article
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Libarray of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
Cite this Content
Loading...