loading...
Incremental Validation of Policy-Based Systems
Yorktown Heights, New York June 07-June 09
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/POLICY.2004.1309176Fifth IEEE International Workshop on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A. Graham, Concordia University, Montreal, Canada
T. Radhakrishnan, Concordia University, Montreal, Canada
C. Grossner, NewStep Networks, Ottawa, Canada
Management and control of systems are becoming more and more automated and based on policies that are expressed in a suitable policy specification language. Such policies need to be validated to ensure correct operation of the managed or controlled systems. The set of policies in a system is dynamic and is constantly changing. When this set is very large, incremental policy validation is a topic worth exploring. In this paper, such a notion of incremental policy-validation is introduced. The well-known decision tables, a systems analysis tool, are adapted for representing policies. Based on such adaptations, two algorithms are developed for incremental validation and they are compared, with respect to the number of computations they require.
Citation:
A. Graham, T. Radhakrishnan, C. Grossner, "Incremental Validation of Policy-Based Systems," policy, pp.240, Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions