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 条

[41] Partnerships in policy-based lending
Watt, P
Conditionality Revisited: Concepts, Experiences, and Lessons, 2005, : 249 - 252
[42] Hierarchical policy-based replication
Doherty, Cormac J.
Hurley, Neil J.
2007 IEEE INTERNATIONAL PERFORMANCE COMPUTING AND COMMUNICATIONS CONFERENCE, VOLS 1 AND 2, 2007, : 254 - +
[43] Policy-based cognitive radios
Wilkins, David
Denker, Grit
Stehr, Mark-Oliver
Elenius, Daniel
Senanayake, Rukman
Talcott, Carolyn
IEEE WIRELESS COMMUNICATIONS, 2007, 14 (04) : 41 - 46
[44] Policy-based Behavior Control
Lin Zhi
Wang Jing
Jia Lian-xing
2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4498 - +
[45] Policy-based IPsec management
Li, M
IEEE NETWORK, 2003, 17 (06): : 36 - 43
[46] A policy-based framework for RBAC
Nabhen, R
Jamhour, E
Maziero, C
SELF-MANAGING DISTRIBUTED SYSTEMS, 2003, 2867 : 181 - 193
[47] Policy-based network management
Choudhary, AR
BELL LABS TECHNICAL JOURNAL, 2004, 9 (01) : 19 - 29
[48] Policy-based landing in LICUS
Collier, P
Conditionality Revisited: Concepts, Experiences, and Lessons, 2005, : 113 - 116
[49] Policy-Based Blockchain Selection
Scheid, Eder John
Rodrigues, Bruno
Stiller, Burkhard
IEEE COMMUNICATIONS MAGAZINE, 2021, 59 (10) : 48 - 54
[50] The policy-based approach to identification
Miller, Christian
PHILOSOPHICAL PSYCHOLOGY, 2007, 20 (01) : 105 - 125

← 1 2 3 4 5 →