Permission to speak: A logic for access control and conformance

M. Abadi, Logic in access control, in: Proceedings of the Symposium on Logic in Computer Science, 2003, pp. 228–233. Abadi, 2007, Access control in a core calculus of dependency, Electron. Notes Theor. Comput. Sci., 172, 5, 10.1016/j.entcs.2007.02.002 Abadi, 1993, A calculus for access control in distributed systems, ACM Trans. Program. Lang. Syst., 15, 706, 10.1145/155183.155225 A. Abrahams, Developing and executing electronic commerce applications with occurrences, Ph.D. Thesis, Univerisity of Cambridge, 2002. C. Alchourron, D. Makinson, Hierarchies of regulation and their logic, in: R. Hilpinen (Ed.), New Studies in Deontic Logic, Reidel, 1981, pp. 125–148. L. Bauer, S. Garriss, M.K. Reiter, Distributed proving in access control systems, in: Proceedings of the IEEE Computer Security Foundation Symposium, 2007, pp. 81–95. M.Y. Becker, C. Fournet, A.D. Gordon, Design and semantics of a decentralized authorization language, in: Computer Security Foundations Symposium, 2007, pp. 3–15. Belnap, 1995, Marcus and the problem of nested deontic modalities, 174 Bertino, 2003, A logical framework for reasoning about access control models, ACM Trans. Inform. Syst. Security, 6, 71, 10.1145/605434.605437 T.D. Breaux, M.W. Vail, A.I. Anton, Towards regulatory compliance: extracting rights and obligations to align requirements with regulations, in: Proceedings of the 14th IEEE International Requirements Engineering Conference, 2006, pp. 46–55. A. Cirillo, R. Jagadeesan, C. Pitcher, J. Riely, Do as I SaY! Programmatic access control with explicit identities, in: Proceedings of the IEEE Computer Security Foundations Symposium, 2007, pp. 16–30. Crampton, 2001, A logic of access control, Comput. J., 44, 137, 10.1093/comjnl/44.2.137 N. Dinesh, A. Joshi, I. Lee, O. Sokolsky, Checking traces for regulatory conformance, in: Proceedings of the Workshop on Runtime Verification, 2008, pp. 86–103. N. Dinesh, A. Joshi, I. Lee, O. Sokolsky, Reasoning about conditions and exceptions to laws in regulatory conformance checking, in: Proceedings of the Conference on Deontic Logic in Computer Science, 2008, pp. 110–124. Fitting, 1985, A Kripke/Kleene Semantics for logic programs, J. Logic Programming, 2, 295, 10.1016/S0743-1066(85)80005-4 D. Garg, M. Abadi, A modal deconstruction of access control logics, in: Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2008, pp. 216–230. D. Garg, F. Pfenning, Non-interference in constructive authorization logic, in: 19th IEEE Computer Security Foundations Workshop, 2006, pp. 283–296. Gelati, 2004, Normative autonomy and normative co-ordination: declarative power, representation, and mandate, Artificial Intelligence and Law, 12, 53, 10.1007/s10506-004-1922-2 C. Giblin, A. Liu, S. Muller, B. Pfitzmann, X. Zhou, Regulations expressed as logical models (REALM), in: Legal Knowledge and Information Systems (JURIX), 2005, pp. 37–48. Governatori, 2005, Representing business contracts in rule ml, Int. J. Coop. Inform. Syst., 14, 181, 10.1142/S0218843005001092 G. Governatori, Z. Milosevic, S. Sadiq, Compliance checking between business processes and business contracts, in: 10th International Enterprise Distributed Object Computing Conference (EDOC), 2006, pp. 221–232. Governatori, 2006, Logic of violations: a gentzen system for reasoning with contrary-to-duty obligations, Austral. J. Logic, 4, 193 Governatori, 2008, Bio logical agents: norms, beliefs, intentions in defeasible logic, Autonomous Agents Multi-Agent Syst., 17, 36, 10.1007/s10458-008-9030-4 G. Governatori, A. Rotolo, Changing legal systems: abrogation and annulment. Part I: Revision of defeasible theories, in: Deontic Logic in Computer Science, 2008, pp. 3–18. G. Governatori, A. Rotolo, Changing legal systems: abrogation and annulment. Part II: Temporalised defeasible logic, in: Normative Multi Agent Systems, 2008, pp. 112–127. Governatori, 2008, A computational framework for institutional agency, Artificial Intelligence and Law, 16, 25, 10.1007/s10506-007-9056-y B. Grosof, Y. Labrou, H.Y. Chan, A declarative approach to business rules in contracts: Courteous logic programs in xml, in: ACM Conference on Electronic Commerce, 1999, pp. 68–77. Halpern, 2001, Multi-agent only knowing, J. Logic Comput., 11, 41, 10.1093/logcom/11.1.41 Halpern, 1992, A guide to the completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, 54, 319, 10.1016/0004-3702(92)90049-4 Halpern, 2004, Complete axiomatizations for reasoning about knowledge and time, SIAM J. Comput., 33, 674, 10.1137/S0097539797320906 Hohfeld, 1913, Fundamental legal conceptions as applied in judicial reasoning, Yale Law J., 23, 16, 10.2307/785533 Horty, 1995, The deliberative stit: a study of action, omission, ability, and obligation, J. Phil. Logic, 29, 109 Jones, 1992, Deontic logic in the representation of law: towards a methodology, Artificial Intelligence and Law, 1, 45, 10.1007/BF00118478 A.J.I. Jones, M.J. Sergot, Formal specification of security requirements using the theory of normative positions, in: European Symposium on Research in Computer Security (ESORICS), 1992, pp. 103–121. Jones, 1996, A formal characterization of institutionalized power, J. IGPL, 4, 429, 10.1093/jigpal/4.3.427 Kanger, 1972, Law and logic, Theoria, 38, 105, 10.1111/j.1755-2567.1972.tb00928.x Kripke, 1975, Outline of a theory of truth, J. Phil., 72, 690, 10.2307/2024634 M. Kyas, C. Prisacariu, G. Schneider, Run-time monitoring of electronic contracts, in: 6th International Symposium on Automated Technology for Verification and Analysis (ATVA’08), 2008, pp. 397–407. Li, 2003, Delegation logic: a logic-based approach to distributed authorization, ACM Trans. Inform. Syst. Security, 6, 128, 10.1145/605434.605438 L. Lindahl, Position and change: a study in law and logic. Synthese Library 112, D. Reidel, Dordrecht, 1977. Makinson, 1994, General patterns in non-monotonic reasoning, 35 Makinson, 2000, Input/output logics, J. Phil. Logic, 29, 383, 10.1023/A:1004748624537 L.T. McCarty, A language for legal discourse – I. Basic features, in: Proceedings of the International Conference on Artificial Intelligence and Law, 1989, pp. 180–189. L.T. McCarty, W.W. Cohen, The case for explicit exceptions, in: Proceedings of the Workshop on Logic Programming and Nonmonotonic Reasoning, 1990, pp. 81–94. N.H. Minsky, D. Rozenshtein, System=program+users+law, in: Proceedings of the International Conference on Artificial Intelligence and Law, 1987, pp. 170–180. Moore, 1985, Semantical considerations on non-monotonic logic, Artificial Intelligence, 25, 272, 10.1016/0004-3702(85)90042-6 D. Nute, Defeasible reasoning, in: Proceedings of the Hawaii International Conference on System Science, 1987, pp. 470–477. Prakken, 1996, Contrary-to-duty obligations, Studia Logica, 57, 91, 10.1007/BF00370671 Reiter, 1980, A logic for default reasoning, Artificial Intelligence, 13, 81, 10.1016/0004-3702(80)90014-4 Rudin, 1987 G. Sartor, The structure of norm conditions and nonmonotonic reasoning in law, in: Proceedings of the 3rd International Conference on Artificial Intelligence and Law, 1991, pp. 155–164. Sergot, 1986, The British Nationality Act as a logic program, Commun. ACM, 29, 370, 10.1145/5689.5920 von Wright, 1951, Deontic logic, Mind, 60, 1, 10.1093/mind/LX.237.1