Policy verification and validation framework based on model checking approach

Fourth International Conference on Autonomic Computing, ICAC'07

Volumn , Issue , 2007, Pages

  Kikuchi, Shinji ^a   Tsuchiya, Satoshi ^a   Adachi, Motomitsu ^a   Katsuyama, Tsuneo ^a  

^a FUJITSU LABORATORIES LTD   (Japan)

Author keywords

Autonomic system; Model checking; On demand data center; Policy verification and validation; Policy based management; Resource management

Indexed keywords

COMPUTER RESOURCE MANAGEMENT; DATA WAREHOUSES; INFORMATION MANAGEMENT; INFORMATION RETRIEVAL; MODEL CHECKING;

AUTONOMIC SYSTEMS; POLICY BASED MANAGEMENT; POLICY VALIDATION; POLICY VERIFICATION;

INFORMATION SYSTEMS;

EID: 35948971447     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICAC.2007.31     Document Type: Conference Paper

References (13)

1. J. O. Kephart and W. E. Walsh, "An Artificial Intelligence Perspective on Autonomic Computing Policies," Proc. of 5th International Workshop on Policies for Distributed Systems and Networks (POLICY'04), 2004.
2. E.M.Clarke, O. Grumberg, and D. A. Peled, Model Checking, The MIT Press, 1999.
3. M. Ben-Ari, Z. Manna, and A. Pnueli, "The temporal logic of branching time," Acta Informatica 20, 1983.
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal-logic specifications," ACM Trans, on Programming Languages and Systems, Vol.8, No.2, 1986.
5. A. Pnueli, "A temporal logic for concurrent programs," Theoretical Computer Science, Vol.13, 1980.
6. G. J. Holzmann, "The model checker SPIN," IEEE Transactions on Software Engineering, Vol.23, No.5, 1997.
7. G. J. Holzmann, "Design and validation of protocols: A tutorial," Computer Networks and ISDN Systems, Vol.25, No.9, 1993.
8. D. Peled, "Combining partial order reductions with on-the-fly model checking," Proc. of 6th International Conference Computer Aided Verification (CAV94), LNCS 818, Springer-Verlag, 1994.
9. Ehab S. Al-Shaer, and Hazem H. Hamed, "Firewall policy advisor for anomaly discovery and rule editing", Proc. of IM2003, 2003.
10. R. A. Kowalski and M. J. Sergot, "A logic-based calculus of events," New Generation Computing, 1986.
11. A. K. Bandara, E. C. Lupu, and A. Russo, "Using event calculus to formalise policy specification and analysis," Proc. of 4th International Workshop on Policies for Distributed Systems and Networks (POLICY'03), 2003.
12. M. Charalambides, P. Flegkas, G Pavlou, A. K. Bandara, E. C. Lupu, A. Russo, N. Dulay, M. Sloman, and J. Rubio-Loyola, "Policy conflict analysis for quality of service management," Proc. of 6th International Workshop on Policies for Distributed Systems and Networks (POLICY'05), 2005.
13. N. Dunlop, J. Indulska, and K. Raymond, "Dynamic conflict detection in policy-based management systems," Proc. of 6th International Enterprise Distributed Object Computing Conference (EDOC'02), 2002.