Incremental validation of policy-based systems

摘要

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.