TY - GEN
T1 - A knowledge based formal language for securing information systems
AU - Bai, Yun
PY - 2009
Y1 - 2009
N2 - In this paper, we propose a formal logic approach to specify the system security policies and rules and their reasoning in response to queries of accessing the system resource. Especially we investigate and handle the situation where the security agent's knowledge based on which the access decision is made is not complete. We introduce modal logic to specify and reason about a security domain, then translate the domain into an epistemic logic program. We show that our approach has an expressive power to describe a variety of complex security scenarios.
AB - In this paper, we propose a formal logic approach to specify the system security policies and rules and their reasoning in response to queries of accessing the system resource. Especially we investigate and handle the situation where the security agent's knowledge based on which the access decision is made is not complete. We introduce modal logic to specify and reason about a security domain, then translate the domain into an epistemic logic program. We show that our approach has an expressive power to describe a variety of complex security scenarios.
UR - http://handle.uws.edu.au:8081/1959.7/562480
U2 - 10.1007/978-3-642-04595-0_9
DO - 10.1007/978-3-642-04595-0_9
M3 - Conference Paper
SN - 9783642045943
SP - 70
EP - 77
BT - Knowledge-Based and Intelligent Information and Engineering Systems: 13th International Conference, KES 2009: Santiago, Chile, September 28-30, 2009. Proceedings. Part I
PB - Springer
T2 - International Conference on Knowledge-Based Intelligent Information and Engineering Systems
Y2 - 8 September 2010
ER -