Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Aucher, G., Boella, G., van der Torre, L.: A dynamic logic for privacy compliance. Artif. Intell. Law 19(2-3), 187–231 (2011)
2. Boella, G., Gabbay, D.M., Genovese, V., van der Torre, L.: Fibred security language. Studia Logica 92(3), 395–436 (2009)
3. Broersen, J., van der Torre, L.: Ten problems of deontic logic and normative reasoning in computer science. In: ESSLLI 2010/2011 Lecture Notes in Logic and Computation (2012)
4. Cuppens, F.: A logical formalization of secrecy. In: IEEE Computer Security Foundations Workshop CSFW 1993. IEEE Computer Society, Los Alamitos (1993)
5. Cuppens, F., Demolombe, R.: A deontic logic for reasoning about confidentiality. In: Deontic Logic, Agency and Normative Systems, Third International Workshop on Deontic Logic in Computer Science, DEON 1996. Springer, Berlin (1996)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献