DocumentCode
2008674
Title
A Transformational Approach to Facilitate Monitoring of High-Level Policies
Author
Seehusen, Fredrik ; Stolen, Ketil
Author_Institution
Dept. of Inf., Oslo Univ., Oslo
fYear
2008
fDate
2-4 June 2008
Firstpage
70
Lastpage
73
Abstract
We present a method for (1) specifying high-level security policies using UML sequence diagrams and (2) transforming high-level sequence diagram policies into low-level state machine policies that can be enforced by monitoring mechanisms. We believe that the method is both easy to use and useful since it automates much of the policy formalization process.
Keywords
Unified Modeling Language; finite state machines; security of data; UML sequence diagrams; high-level security policies; high-level sequence diagram policies; low-level state machine policies; policy formalization process; transformational approach; Computer industry; Computerized monitoring; Condition monitoring; Conferences; Informatics; Libraries; Natural languages; Security; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on
Conference_Location
Palisades, NY
Print_ISBN
978-0-7695-3133-5
Type
conf
DOI
10.1109/POLICY.2008.21
Filename
4556580
Link To Document