International Science Index


Reasoning with Dynamic Domains and Computer Security

Abstract:Representing objects in a dynamic domain is essential in commonsense reasoning under some circumstances. Classical logics and their nonmonotonic consequences, however, are usually not able to deal with reasoning with dynamic domains due to the fact that every constant in the logical language denotes some existing object in the static domain. In this paper, we explore a logical formalization which allows us to represent nonexisting objects in commonsense reasoning. A formal system named N-theory is proposed for this purpose and its possible application in computer security is briefly discussed.
[1] P. Atzeni and V. de Antonellis, Relational Database Theory, The Benjamin/ Cummings Publishing Company, Inc., 1993.
[2] E. Bencivenga, Free logic. Handbook of Philosophical Logic, Vol. III, pp373-426, 1986.
[3] E. Bertino, F. Buccafurri, E. Ferrari and P. Rullo, "A Logic-based Approach for Enforcing Access Control". Computer Security, vol.8, No.2- 2, pp109-140, 2000.
[4] A. Herzig, J. Lang and P. Marquis, Action representation and partially observable planning using epistemic logic. Proceedings of IJCAI03, 1067- 1072. 2003.
[5] N. Li, B. Grosof and J. Feigenbaum, "Delegation Logic: A Logic-based Approach to Distributed Authorization". ACM Transactions on Information and System Security, Vol.6, No.1, pp128-171, 2003.
[6] J. Shoenfield, Mathematical Logic. Addison-Wesley. 1967.
[7] L. Wang, D. Wijesekera and S. Jajodia, "A logic-based framework for attribute based access control," Proceedings of the ACM Workshop on Formal Methods in Security Engineering, pp45-55, 2004.