Using event calculus to formalise policy specification and analysis

Bandara, Arosha K.; Lupu, Emil; Russo, Alessandra

doi:10.1109/policy.2003.1206955

Cited by 120 publications

(104 citation statements)

References 23 publications

Supporting

Mentioning

103

Contrasting

Unclassified

Order By: Relevance

“…POLICY REFINEMENT PROCESS Policy refinement is the process of transforming a highlevel, abstract policy specification into a low-level, concrete one in terms of operations of the system [27]. More formally policy refinement could be defined as follows:…”

Section: Policy Based Resilience Managementmentioning

confidence: 99%

Towards policy refinement for resilience management in cloud

Shirazi

Simpson

Syeda

et al. 2016

2016 8th International Workshop on Resilient Networks Design and Modeling (RNDM)

View full text Add to dashboard Cite

Abstract-Cloud computing is becoming increasingly important for provision of critical services because of potential cost saving, scalability and elasticity. Therefore, it is particularly important for clouds and cloud-based services to be resilient, i.e., they are able to operate correctly and continuously even in the presence of challenges. To do this, a number of resiliencesupporting mechanisms are needed at various levels in cloud infrastructure. It is non-trivial to manage these mechanisms and there is a need for flexible instruments which assist cloud providers in this complex task. Policy based management is an established instrument to manage resilience supporting mechanisms and they are useful if it allows not only high level description of abstract policy (e.g high level security and resilience requirements), but also enables such policy to be refined and eventually mapped into an appropriate low levels in cloud settings. This paper sheds light on basic concepts behind policy based management in cloud, more specifically it emphasizes the use of policy refinement which is the process of translating higher level requirements (such as security and resilience requirements) into the sequence of actions at lower levels that can implement them, in order to generate more refined policies that govern the behaviour of an overall cloud system when under challenge. We finally present two example scenarios on how policy refinement can work for the cloud to establish its relevance for the overall resilience management.

show abstract

Section: Policy Based Resilience Managementmentioning

confidence: 99%

Towards policy refinement for resilience management in cloud

Shirazi

Simpson

Syeda

et al. 2016

2016 8th International Workshop on Resilient Networks Design and Modeling (RNDM)

View full text Add to dashboard Cite

show abstract

“…• Policy (issuedBy*, appliesTo*, appliesWhen*, name*, appliesWhere*, priority*, equivalentTo*, composedOfPolicies*, policyRule*, enforcementType*, requiresOtherPolicies*) Policies are divided into: authorization and obligation policies [7]. We also have a generic policy class, ContextSpecificPolicy that can be used by application developers to specify its category and gives a description to it.…”

Section: Policy Specification and Enforcementmentioning

confidence: 99%

Implicit Context-Sensitive Mobile Computing Using Semantic Policies

Harroud

Karmouch

2006

Autonomic Networking

View full text Add to dashboard Cite

Abstract. The availability of portable computing devices and advances in wireless networking technologies have contributed to the growing acceptance of mobile computing applications and opened the door for the possibility of seamless and pervasive services in mobile environments. However, with the dilemmas of limited device capabilities, network connectivity, transmission range and frequent changes, due to users and/or devices mobility, Internet-oriented wireless applications face challenges in terms of computation and interaction. These challenges elaborate with the inevitable demand for such applications to adapt to users' situations, their profiles, and the resources provided by the operating environment. Taking into account contextual information is an essential ingredient to cope with the frequent changes in mobile environments and hence provide adequate solutions for achieving adaptability, reliability, and seamless service provisioning. This paper introduces the use of policies over semantically modeled context as a technique for generating implicit context information and making use of context in mobile computing in general and internet-computing in specific. A context-sensitive instant messaging application demonstrates our proposed model using agent technology.

show abstract

“…conflict between an obligation to access a resource and a limitation on the resource availability). More recent work on policy analysis in Ponder has focused on using abductive reasoning together with an event calculus representation of the policies to identify and detect the policy conflicts [21].…”

Section: Fig 3 Ponder Authorization Policy Specificationmentioning

confidence: 99%

“…Ponder policy rules are translated into an event calculus representation that describes the semantics of the policy language. Abductive reasoning techniques are exploited to analyze the policy specifications to identify existing conflicts and provide explanations on how they might arise [21].…”

Section: Policy Reasoningmentioning

confidence: 99%

Semantic Web Languages for Policy Representation and Reasoning: A Comparison of KAoS, Rei, and Ponder

Tonti

Bradshaw

Jeffers

et al. 2003

Lecture Notes in Computer Science

198

118

View full text Add to dashboard Cite

Abstract. Policies are being increasingly used for automated system management and controlling the behavior of complex systems. The use of policies allows administrators to modify system behavior without changing source code or requiring the consent or cooperation of the components being governed. Early approaches to policy representation have been restrictive in many ways. However semantically-rich policy representations can reduce human error, simplify policy analysis, reduce policy conflicts, and facilitate interoperability. In this paper, we compare three approaches to policy representation, reasoning, and enforcement. We highlight similarities and differences between Ponder, KAoS, and Rei, and sketch out some general criteria and properties for more adequate approaches to policy semantics in the future.

show abstract

Using event calculus to formalise policy specification and analysis

Abstract: As the interest in using policy-based

Cited by 120 publications

References 23 publications

Towards policy refinement for resilience management in cloud

Towards policy refinement for resilience management in cloud

Implicit Context-Sensitive Mobile Computing Using Semantic Policies

Semantic Web Languages for Policy Representation and Reasoning: A Comparison of KAoS, Rei, and Ponder

Contact Info

Product

Resources

About