A modal logical framework for security policies

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

Volumn 1325, Issue , 1997, Pages 579-589

  Cuppens, Frédéric ^a   Demolombe, Robert ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; INTELLIGENT SYSTEMS; KNOWLEDGE REPRESENTATION; SECURITY SYSTEMS;

DEONTIC LOGIC; INFERENCE CONTROL; LOGICAL FRAMEWORKS; MODAL LOGIC; MULTI-LEVEL SECURITY POLICIES; SECURITY CONSTRAINT; SECURITY POLICY;

FORMAL LOGIC;

EID: 84947730526     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63614-5_56     Document Type: Conference Paper

References (17)

1. D. Denning. Cryptography and Data Security. Addison-Wesley, 1982.
2. J. Goguen and J. Meseguer. Unwinding and Inference Control. In IEEE Symposium on Security and Privacy, Oakland, 1984.
3. D. Sutherland. A Model of Information. In Proceedings of the 9th National Computer Security Conference, 1986.
4. P. Bieber and F. Cuppens. A Logical View of Secure Dependencies. Journal of Computer Security, 1(1): 99-129, 1992.
5. X. Qian, M. Stickel, O. Karp, T. Lunt, and T. Garvey. Detection and Elimination of Inference Channels in Multilevel Database Systems. In IEEE Symposium on Security and Privacy, Oakland, 1993.
6. L. Binns. Inference Through Secondary Path Analysis. In Database Security, 6: Status and Prospects. North-Holland, 1993. Results of the IFIP WG 11. 3 Workshop on Database Security.
7. J. Hale, J. Threet, and S. Shenoi. A Practical Formalism for Imprecise Inference Control. In Eighth Annual IFIP WG 11. 3 Working Conference on Database Security, Bad Salzdetfurth, Germany, 1994.
8. B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1988.
9. F. Cuppens and R. Demolombe. A Deontic Logic for Reasoning about Confidentiality. In M. Brown and J. Carmo, editors, Deontic Logic, Agency and Normative Systems, Workshops in Computing. Springer, 1996.
10. D. Brewer and M. Nash. The Chinese wall security policy. In IEEE Symposium on Security and Privacy, Oakland, 1989.
11. F. Cuppens. Roles and Deontic Logic. In A. J. I. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science, Oslo, Norway, 1994.
12. I. Pern. Action Theory and Social Science; Some Formal Models, volume 120 of Synthese Library. D. Reidel, Dordrecht, 1977.
13. J. Carmo and A. I. J. Jones, Deontic database constraints and the characterization of recovery. In A. J. I. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science, Oslo, Norway, 1994.
14. A. J. I. Jones and I. Pern. Ideatity, Sub-ideality and Deontic Logic. Synthese, 65, 1985.
15. C. Landwehr. Formal models for computer security. ACM Computing Surveys, 3: 247-278, September 1981.
16. F. Cuppens. A Logical Analysis of Authorized and Prohibited Infbrmation Flows. In IEEE Symposium on Security and Privacy, Oakland, 1993.
17. F. Cuppens and R. Demolombe. Normative Conflicts in a Confidentiality Policy. In ECAI'94 Workshop on Artificial Normative Reasoning, Amsterdam, The Netherlands, 1994.