Incremental validation of policy-based systems

被引：0

作者：

Graham, A ^{[1
]}

Radhakrishnan, T ^{[1
]}

Grossner, C ^{[1
]}

机构：

[1] Concordia Univ, Dept Comp Sci, Montreal, PQ H3G 1M8, Canada

来源：

FIFTH IEEE INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/POLICY.2004.1309176

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：240 / 249

页数：10

共 50 条

[1] Policy-based validation of SAN configuration
Agrawal, D
Giles, J
Lee, KW
Voruganti, K
Fijali-Adib, K
FIFTH IEEE INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2004, : 77 - 86
[2] Policy-Based Reserves for Power Systems
Warrington, Joseph
Goulart, Paul
Mariethoz, Sebastien
Morari, Manfred
IEEE TRANSACTIONS ON POWER SYSTEMS, 2013, 28 (04) : 4427 - 4437
[3] Engineering Policy-Based Ubiquitous Systems
Sloman, Morris
Lupu, Emil
COMPUTER JOURNAL, 2010, 53 (07): : 1113 - 1127
[4] Policy transformation techniques in policy-based systems management
Beigi, MS
Calo, S
Verma, D
FIFTH IEEE INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2004, : 13 - 22
[5] Policy-based management of networked computing systems
Agrawal, D
Lee, KW
Lobo, J
IEEE COMMUNICATIONS MAGAZINE, 2005, 43 (10) : 69 - 75
[6] Policy-based adaptable service systems architecture
Supadulchai, Paramai
Aagesen, Finn Arve
21ST INTERNATIONAL CONFERENCE ON ADVANCED NETWORKING AND APPLICATIONS, PROCEEDINGS, 2007, : 656 - +
[7] Conflicts in policy-based distributed systems management
Lupu, EC
Sloman, M
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1999, 25 (06) : 852 - 869
[8] Conflicts in policy-based distributed systems management
Department of Computing, Imperial College, London SW7 2BZ, United Kingdom
IEEE Trans Software Eng, 6 (852-869):
[9] Policy-based security management for enterprise systems
Mukkamala, R
Chekuri, L
Moharrum, M
Palley, S
RESEARCH DIRECTIONS IN DATA AND APPLICATIONS SECURITY XVIII, 2004, 144 : 219 - 233
[10] Policy-based optimization for matching validation algorithm in monocular robotics
Guerra, E.
Grau, A.
Bolea, Y.
2014 WORKSHOP ON COMPLEXITY IN ENGINEERING (COMPENG), 2014,

← 1 2 3 4 5 →