A Transformational Approach to Facilitate Monitoring of High-Level Policies

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Fredrik Seehusen Articles by Ketil St?

2008 IEEE Workshop on Policies for Distributed Systems and Networks

June 02-June 04

ISBN: 978-0-7695-3133-5

	ASCII Text	x
	Fredrik Seehusen, Ketil St?, "A Transformational Approach to Facilitate Monitoring of High-Level Policies," Policies for Distributed Systems and Networks, IEEE International Workshop on, pp. 70-73, 2008 IEEE Workshop on Policies for Distributed Systems and Networks, 2008.

	BibTex	x
	@article{ 10.1109/POLICY.2008.21, author = {Fredrik Seehusen and Ketil St?}, title = {A Transformational Approach to Facilitate Monitoring of High-Level Policies}, journal ={Policies for Distributed Systems and Networks, IEEE International Workshop on}, volume = {0}, year = {2008}, isbn = {978-0-7695-3133-5}, pages = {70-73}, doi = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.21}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Policies for Distributed Systems and Networks, IEEE International Workshop on TI - A Transformational Approach to Facilitate Monitoring of High-Level Policies SN - 978-0-7695-3133-5 SP70 EP73 A1 - Fredrik Seehusen, A1 - Ketil St?, PY - 2008 KW - null VL - 0 JA - Policies for Distributed Systems and Networks, IEEE International Workshop on ER -

Fredrik Seehusen

Ketil St?

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.21

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.