loading...
A Transformational Approach to Facilitate Monitoring of High-Level Policies
June 02-June 04
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.212008 IEEE Workshop on Policies for Di ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
Citation:
Fredrik Seehusen, Ketil St?, "A Transformational Approach to Facilitate Monitoring of High-Level Policies," policy, pp.70-73, 2008 IEEE Workshop on Policies for Distributed Systems and Networks, 2008
Usage of this product signifies your acceptance of the Terms of Use.