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 条

[21] Integrated policy-based governance of virtual enterprises and systems
Mitropoulos S.
Douligeris C.
International Journal of Applied Systemic Studies, 2010, 3 (03) : 326 - 342
[22] Policy-Based Signatures
Bellare, Mihir
Fuchsbauer, Georg
PUBLIC-KEY CRYPTOGRAPHY - PKC 2014, 2014, 8383 : 520 - 537
[23] Policy-based networking
Chadha, R
Lapiotis, G
Wright, S
IEEE NETWORK, 2002, 16 (02): : 8 - 9
[24] Policy-based memoization for ILP-based concept discovery systems
Mutlu, Alev
Karagoz, Pinar
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2016, 46 (01) : 99 - 120
[25] Generic support for policy-based self-adaptive systems
Anthony, Richard John
SEVENTEENTH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2006, : 108 - +
[26] Policy-based memoization for ILP-based concept discovery systems
Alev Mutlu
Pinar Karagoz
Journal of Intelligent Information Systems, 2016, 46 : 99 - 120
[27] Policy-Based Implicit Attestation for Microkernel-Based Virtualized Systems
Wagner, Steffen
Eckert, Claudia
INFORMATION SECURITY, (ISC 2016), 2016, 9866 : 305 - 322
[28] DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Karimibiuki, Mehdi
Aggarwal, Ekta
Pattabiraman, Karthik
Ivanov, Andre
2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 161 - 170
[29] On the need for negotiation in policy-based interaction with autonomic computing systems
Maglio, PP
Campbell, CS
Kandogan, E
ICAC 2005: SECOND INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING, PROCEEDINGS, 2005, : 356 - 357
[30] A survey of policy-based management approaches for Service Oriented Systems
Phan, Tan
Han, Jun
Schneider, Jean-Guy
Ebringer, Tim
Rogers, Tony
ASWEC 2008: 19TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 392 - +

← 1 2 3 4 5 →