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
 P. Atzeni and V. de Antonellis, Relational Database Theory, The Benjamin/
Cummings Publishing Company, Inc., 1993.
 E. Bencivenga, Free logic. Handbook of Philosophical Logic, Vol. III,
 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.
 A. Herzig, J. Lang and P. Marquis, Action representation and partially
observable planning using epistemic logic. Proceedings of IJCAI03, 1067-
 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.
 J. Shoenfield, Mathematical Logic. Addison-Wesley. 1967.
 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.