Cristin-resultat-ID: 1267775
Sist endret: 10. mai 2016, 14:36
Resultat
Rapport
2009

Compositional Refinement of Policies in UML – Exemplified for Access Control

Bidragsytere:
  • Bjørnar Solhaug og
  • Ketil Stølen

Utgiver/serie

Utgiver

SINTEF

Serie

SINTEF Rapport
ISSN 1504-9795

Om resultatet

Rapport
Publiseringsår: 2009
Hefte: A11359
Antall sider: 33
ISBN: 9788214044362
Open Access

Importkilder

SINTEF AS-ID: A11359

Beskrivelse Beskrivelse

Tittel

Compositional Refinement of Policies in UML – Exemplified for Access Control

Sammendrag

The 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 policy 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.

Bidragsytere

Bjørnar Solhaug

  • Tilknyttet:
    Forfatter
    ved Sustainable Communication Technologies ved SINTEF AS

Ketil Stølen

  • Tilknyttet:
    Forfatter
    ved Sustainable Communication Technologies ved SINTEF AS
1 - 2 av 2