NDLI: Using event calculus to formalise policy specification and analysis

Content Provider	IEEE Xplore Digital Library
Author	Bandara, A.K. Lupu, E.C. Russo, A.
Copyright Year	2003
Description	Author affiliation: Dept. of Comput., Imperial Coll., London, UK (Bandara, A.K.; Lupu, E.C.; Russo, A.)
Abstract	As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of policy specifications. Although this is an area that researchers have devoted some attention to, none of the proposed solutions address the issues of analysing specifications that combine authorisation and management policies; analysing policy specifications that contain constraints on the applicability of the policies; and performing a priori analysis of the specification that will both detect the presence of inconsistencies and explain the situations in which the conflict will occur. We present a method for transforming both policy and system behaviour specifications into a formal notation that is based on event calculus. Additionally it describes how this formalism can be used in conjunction with abductive reasoning techniques to perform a priori analysis of policy specifications for the various conflict types identified in the literature. Finally, it presents some initial thoughts on how this notation and analysis technique could be used to perform policy refinement.
Starting Page	26
Ending Page	39
File Size	377239
Page Count	14
File Format	PDF
ISBN	0769519334
DOI	10.1109/POLICY.2003.1206955
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2003-06-04
Publisher Place	Italy
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Calculus Performance analysis Authorization Environmental management Educational institutions Security Runtime Specification languages Logic programming Event detection
Content Type	Text
Resource Type	Article

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 Library 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

Using Event Calculus to Formalise Policy Specification and Analysis (2003)

Using Event Calculus to Formalise Policy Specification and Analysis (2003)

A policy based role object model

Authorization model for multilevel security workflow based on RTBAC

Monitoring of distributed systems

Specifying Flexible Features in Authorization Using Logic Program

Dynamic Discovery and Composition of Semantic Web Services Using Abductive Event Calculus

The Open University ’ s repository of research publications and other research outputs Using Event Calculus to Formalise Policy Specification and Analysis Conference Item

A modal logic for authorization specification and reasoning

Using event calculus to formalise policy specification and analysis

Similar Documents

Using Event Calculus to Formalise Policy Specification and Analysis (2003)

Using Event Calculus to Formalise Policy Specification and Analysis (2003)

A policy based role object model

Authorization model for multilevel security workflow based on RTBAC

Monitoring of distributed systems

Specifying Flexible Features in Authorization Using Logic Program

Dynamic Discovery and Composition of Semantic Web Services Using Abductive Event Calculus

The Open University ’ s repository of research publications and other research outputs Using Event Calculus to Formalise Policy Specification and Analysis Conference Item

A modal logic for authorization specification and reasoning

Using event calculus to formalise policy specification and analysis