A logic-based frame for knowledge reasoning in real-time security analysis

There are no files associated with this record.

Title A logic-based frame for knowledge reasoning in real-time security analysis
Author Li, Chaoming; Wang, Kewen
Publication Title Proceedings 2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS
Editor Li Wenzheng
Year Published 2010
Place of publication United States
Publisher IEEE
Abstract Continuous time Markov chains (CTMCs) have been used in real-time dependability and security analysis. However, existing approaches assume that the system is fully observable to a system attacker, which is not feasible for current large network systems. In this paper, we present a frame to model and specify the knowledge of attacker with partial observations. Firstly, we combine CTMCs and interpretation system as basic model. Then, a logic is defined to specify the knowledge for agents in the stochastic model. Further, we discuss the properties under different assumption for the model and agent. Finally, we present the model checking algorithms with a particular assumption and apply the frame to model the knowledge of attacker in intrusiontolerant system.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1109/ICSESS.2010.5552302
ISBN 9781424460526
Conference name International Conference on Software Engineering and Service Sciences, (ICSESS)
Location Beijing, China
Date From 2010-07-16
Date To 2010-07-18
URI http://hdl.handle.net/10072/37748
Date Accessioned 2011-02-01
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Computer Software
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice