dc.contributor.author | Seehusen, Fredrik | |
dc.contributor.author | Lund, Mass Soldal | |
dc.contributor.author | Stølen, Ketil | |
dc.date.accessioned | 2016-05-11T11:16:18Z | |
dc.date.accessioned | 2016-05-12T07:58:51Z | |
dc.date.available | 2016-05-11T11:16:18Z | |
dc.date.available | 2016-05-12T07:58:51Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | SINTEF Rapport A11356, 76 p. SINTEF , 2009 | nb_NO |
dc.identifier.isbn | 9788214044331 | |
dc.identifier.uri | http://hdl.handle.net/11250/2389192 | |
dc.description | - | |
dc.description.abstract | We present a method for specifying high level security policies that can be enforced by runtime monitoring mechanisms. The method has three main steps: (1) the user of our method formalizes a set of policy rules using UML sequence diagrams; (2) the user selects a set of transformation rules from a transformation library, and applies these using a tool to obtain a low level intermediate policy (also expressed in UML sequence diagrams); (3) the tool transforms the intermediate low level policy expressed in UML sequence diagrams into a UML inspired state machine that governs the behavior of a runtime policy enforcement mechanism. We believe that the method is both easy to use and useful since it automates much of the policy formalization process. The method is underpinned by a formal foundation that precisely defines what it means that a system adheres to a policy expressed as a sequence diagram as well as a state machine. The foundation is furthermore used to show that the transformation from sequence diagrams to state machines is adherence preserving under a certain condition.
Oppdragsgiver: Norwegian Research Council (NCR); European Commission (EC) | |
dc.language.iso | eng | nb_NO |
dc.title | A Transformational Approach to Facilitate Monitoring of High Level Policies | nb_NO |
dc.type | Research report | nb_NO |
dc.date.updated | 2016-05-11T11:16:18Z | |
dc.identifier.cristin | 1267772 | |
dc.relation.project | Stiftelsen SINTEF: 90B230; 90B245; 403328 | nb_NO |