A theory of permission based on the notion of derogation

Abstract This paper presents a unifying theory of permission that integrates the concept of negative permission with three concepts of positive permission, namely explicit permission, exemption and antithetic permission. The concepts are defined and logically related by paying particular attention to the system of which they form part. A simple procedure for calculating the permitted actions that can be said to be implicit in a code of norms or a policy specification is then given.

[1]  Ron van der Meyden,et al.  The Dynamic Logic of Permission , 1990, J. Log. Comput..

[2]  David Lewis,et al.  A Problem About Permission , 1979 .

[3]  Martín Abadi,et al.  A calculus for access control in distributed systems , 1991, TOPL.

[4]  Vijayalakshmi Atluri,et al.  Role-based Access Control , 1992 .

[5]  Risto Hilpinen,et al.  New Studies in Deontic Logic , 1981 .

[6]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[7]  Munindar P. Singh,et al.  Multiagent Policy Architecture for Virtual Business Organizations , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[8]  James A. Hendler,et al.  Information accountability , 2008, CACM.

[9]  Jörg Hansen,et al.  On a Fundamental Problem of Deontic Logic , 2008 .

[10]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[11]  R. Hilpinen,et al.  Essays in Honour of Jaakko Hintikka , 1979 .

[12]  Tom Campbell,et al.  Rights: A Critical Introduction , 2006 .

[13]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[14]  Miss A.O. Penney.  (b) , 1974, The New Yale Book of Quotations.

[15]  Hans Kelsen,et al.  General Theory of Norms , 1991 .

[16]  Ota Weinberger.  The expressive conception of norms — an impasse for the logic of norms , 1985 .

[17]  Henry Prakken,et al.  Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science , 1998 .

[18]  Eugenio Bulygin.  Norms and logic , 1985 .

[19]  Yao-Hua Tan,et al.  A Logical Model of Directed Obligations and Permissions to Support Electronic Contracting , 1998, Int. J. Electron. Commer..

[20]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[21]  Manuel Atienza,et al.  A Theory of Legal Sentences , 1997 .

[22]  Ravi S. Sandhu,et al.  The NIST model for role-based access control: towards a unified standard , 2000, RBAC '00.

[23]  Mark A. Brown,et al.  Conditional obligation and positive permission for agents in time , 2000 .

[24]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[25]  J. Kemp,et al.  The Concept of Law , 1962 .

[26]  A. Montefiore.  NORM AND ACTION , 1964 .

[27]  Benedikt Löwe,et al.  Foundations of the Formal Sciences II , 2003 .

[28]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[29]  David Makinson,et al.  New studies in deontic logic , 1981 .

[30]  SVEN OVE HANSSON,et al.  Reversing the Levi identity , 1993, J. Philos. Log..

[31]  Martín Abadi.  Variations in Access Control Logic , 2008, DEON.

[32]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[33]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[34]  Benedikt Löwe,et al.  Foundations of the Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics , 2003 .

[35]  Risto Hilpinen,et al.  Deontische Logik Und Semantik , 1977 .

[36]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[37]  Alf Ross,et al.  Directives and norms , 1968 .

[38]  Martín Abadi,et al.  A Calculus for Access Control in Distributed Systems , 1991, CRYPTO.

[39]  Jan Woleński,et al.  Normative Systems, Permission and Deontic Logic* , 1991 .

[40]  L. Thorne McCarty,et al.  Permissions and Obligations , 1983, IJCAI.