Title :
A Transformational Approach to Facilitate Monitoring of High-Level Policies
Author :
Seehusen, Fredrik ; Stolen, Ketil
Author_Institution :
Dept. of Inf., Oslo Univ., Oslo
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;
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
DOI :
10.1109/POLICY.2008.21
