loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'04)
Incremental Validation of Policy-Based Systems
Yorktown Heights, New York
June 07-June 09
ISBN: 0-7695-2141-X
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.