Add to ORKGThe UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS, an extension of the UML sequence diagram notation with customized constructs for pol-icy specification. The notation is underpinned by a denotational trace semantics. We formally define what it means that a system satisfies a policy specification, and introduce a notion of policy refinement. We prove that the refinement relation is transitive and compositional, thus supporting a stepwise and modular specification process. The approach is exemplified with access control policies
With the ever increasing importance of computer networks such as the Internet,and the today almost u...
Security requirements have become an integral part of most modern software systems. In order to prod...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...
-The UML is the de facto standard for system specification, but offers little specialized support fo...
Abstract. The UML is the de facto standard for system specification, but offers little specialized s...
-This report provides a case study based evaluation of UML sequence diagrams as a notation for polic...
This paper provides a case study based evaluation of UML sequence diagrams as a notation for policy ...
This report provides a case study based evaluation of UML sequence diagrams as a notation for policy...
This report provides a case study based evaluation of UML sequence diagrams as a notation for policy...
Abstract In this paper we present a method based on UML sequence diagrams for in-tegrating policy re...
Abstract—We describe a method for policy refinement. The refinement process involves stages of decom...
Abstract. The paper presents STAIRS, an approach to the compositional de-velopment of UML interactio...
-We present a method for specifying high level security policies that can be enforced by runtime mon...
We present a method for specifying high level security policies that can be en-forced by runtime mon...
The specification of policies is a crucial aspect in the development of complex systems, since polic...
With the ever increasing importance of computer networks such as the Internet,and the today almost u...
Security requirements have become an integral part of most modern software systems. In order to prod...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...
-The UML is the de facto standard for system specification, but offers little specialized support fo...
Abstract. The UML is the de facto standard for system specification, but offers little specialized s...
-This report provides a case study based evaluation of UML sequence diagrams as a notation for polic...
This paper provides a case study based evaluation of UML sequence diagrams as a notation for policy ...
This report provides a case study based evaluation of UML sequence diagrams as a notation for policy...
This report provides a case study based evaluation of UML sequence diagrams as a notation for policy...
Abstract In this paper we present a method based on UML sequence diagrams for in-tegrating policy re...
Abstract—We describe a method for policy refinement. The refinement process involves stages of decom...
Abstract. The paper presents STAIRS, an approach to the compositional de-velopment of UML interactio...
-We present a method for specifying high level security policies that can be enforced by runtime mon...
We present a method for specifying high level security policies that can be en-forced by runtime mon...
The specification of policies is a crucial aspect in the development of complex systems, since polic...
With the ever increasing importance of computer networks such as the Internet,and the today almost u...
Security requirements have become an integral part of most modern software systems. In order to prod...
Abstract. Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role i...