Formal specification of security requirements using the theory of normative positions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 648 LNCS, Issue , 1992, Pages 103-121

  Jones, Andrew J I ^a,c   Sergot, Marek ^b  

^a GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; CRYPTOGRAPHY; NETWORK SECURITY; SECURITY SYSTEMS;

ACTION LOGIC; ANALYTICAL PROCEDURE; ANALYTICAL THEORY; DEONTIC; FORMAL THEORY; MODAL LOGIC; NORMATIVE POSITIONS; SECURITY REQUIREMENTS;

FORMAL SPECIFICATION;

EID: 84942856222     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0013894     Document Type: Conference Paper

References (20)

1. Bieber, P., Cuppens, F. [1991] Computer Security Policies and Deontic Logic. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991.
2. Chisholm, R.M. [1963] Contrary-to-duty imperatives and deontic logic. Analysis 24.
3. Elgesem, D. [1992] Action Theory and Modal Logic, Doctoral Thesis, Dept. of Philosophy, University of Oslo, Norway.
4. Glasgow, J., McEwen, G., Panangaden, P. [1990] A Logic for Reasoning about Security. Proc. of the Computer Security Foundations Workshop, Franconia 1990.
5. Jones, A.J.I., Pörn, I. [1985] Ideality, sub-ideality and deontic logic. Synthese 65, 1985.
6. Jones, A.J.I, Pörn, I. [1991] On the logic of deontic conditionals. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991.
7. Jones, A.J.I., Sergot, M.J. [1991] On the role of deontic logic in the characterization of normative systems. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991.
8. Jones, A.J.I., Sergot, M.J. [1992] Deontic logic in the representation of law: Towards a methodology. Artificial Intelligence and Law, Kluwer. To appear 1992.
9. Hilpinen, R. [1981] New Studies in Deontic Logic (Hilpinen, R., ed.). Synthese Library 152, D.Reidel, Dordrecht, Holland.
10. Kanger, S. [1972] Law and Logic. Theoria 38,1972.
11. Kanger, S. [1985] On Realization of Human Rights. In Action, Logic and Social Theory (Holmström,G., Jones, A.J.I., eds). Acta Philosophica Fennica, Vol. 38.
12. Kanger, S., Kanger, H. [1966] Rights and Parliamentarism. Theoria 32,1966.
13. Lindahl, L. [1977] Position and Change — A Study in Law and Logic. Synthese Library 112, D.Reidel, Dordrecht, Holland.
14. Meyer, J.-J.Ch., Wieringa, R.J. [1991] Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91) (Meyer, J.-J.Ch., Wieringa, R.J., eds.), Amsterdam, December 1991.
15. Minsky, N.H., Lockman, A. [1985] Ensuring integrity by adding obligations to privileges. Proc. 8th International Conference on Software Engineering, August 1985, pp 92-102.
16. Morris, P., McDermid, J. [1991] Security and Normative Rights. Proc. First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, December 1991.
17. Pörn, I. [1970] The Logic of Power. Blackwells, Oxford, 1970.
18. Pörn, I. [1977] Action Theory and Social Science: Some Formal Models. Synthese Library 120, D. Reidel, Dordrecht.
19. Syverson, P. [1990] Formal Semantics for Logics of Cryptographic Protocols. Proc. of the Computer Security Foundations Workshop, Franconia 1990.
20. Ting, T.C. [1990] Application Information Security Semantics: A Case of Mental Health Delivery. In Database Security: Status and Prospects III (Spooner, D.L., Landwehr, CE., eds.). North Holland, Amsterdam, 1990.