A logic of privacy

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

Volumn 6166 LNCS, Issue , 2010, Pages 17-32

  Barker, Steve ^a   Genovese, Valerio ^b,c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL MODELS; CONCEPTUAL MODEL; CONTROL CONCEPT; DATA SUBJECTS; FORMAL FOUNDATION; META MODEL; PERSONAL DATA; PRIVACY POLICIES; PRIVATE INFORMATION;

DATA PRIVACY; SECURITY SYSTEMS; SECURITY OF DATA;

ACCESS CONTROL;

EID: 77958494457     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13739-6_2     Document Type: Conference Paper

References (23)

1. Westin, A.: Privacy and Freedom. Atheneum, New York (1967)
2. Berners-Lee, T.: The semantic web will build in privacy (2009), http://news.cnet.com
3. Simons, W., Mandl, K., Kohane, I.: The PING personally controlled electronic medical record system: Technical architecture. Journal of the American Medical Informatics Association 12(1), 45-54 (2005)
4. Cranor, L. F.: P3p: Making privacy policies more useful. IEEE Security & Privacy 1(6), 50-55 (2003)
5. Backes, M., Dürmuth, M., Karjoth, G.: Unification in privacy policy evaluation - translating EPAL into Prolog. In: POLICY, pp. 185-188 (2004)
6. LeFevre, K., Agrawal, R., Ercegovac, V., Ramakrishnan, R., Xu, Y., DeWitt, D. J.: Limiting disclosure in hippocratic databases. In: VLDB, pp. 108-119 (2004)
7. Anderson, A. H.: A comparison of two privacy policy languages: EPAL and XACMl. In: SWS, pp. 53-60 (2006)
8. Ni, Q., Trombetta, A., Bertino, E., Lobo, J.: Privacy-aware role based access control. In: SACMAT, pp. 41-50 (2007)
9. Ni, Q., Bertino, E., Lobo, J., Calo, S. B.: Privacy-aware role-based access control. IEEE Security & Privacy 7(4), 35-43 (2009)
10. Barth, A., Datta, A., Mitchell, J. C., Nissenbaum, H.: Privacy and contextual integrity: Framework and applications. In: IEEE Symposium on Security and Privacy, pp. 184-198 (2006)
11. Gabbay, D. M.: Fibring logics. Oxford University Press, Oxford (1999)
12. Barker, S.: The next 700 access control models or a unifying meta-model? In: SACMAT, pp. 187-196 (2009)
13. Barker, S., Boella, G., Gabbay, D. M., Genovese, V.: A meta-model of access control in a fibred security language. Studia Logica 92(3), 437-477 (2009)
14. Lampson, B. W., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: Theory and practice. ACM Trans. Comput. Syst. 10(4), 265-310 (1992)
15. Li, N., Grosof, B. N., Feigenbaum, J.: Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur. 6(1), 128-171 (2003)
16. Genovese, V., Gabbay, D. M., Boella, G., van der Torre, L.: FSL - fibred security language. In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems. Number 09121 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
17. Abadi, M., Burrows, M., Lampson, B. W., Plotkin, G. D.: A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst. 15(4), 706-734 (1993)
18. Chellas, B.: Modal logic an introduction. Cambridge University Press, Cambridge (1980)
19. Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier - Studies in Logic (2003)
20. Byun, J. W., Bertino, E., Li, N.: Purpose based access control of complex data for privacy protection. In: SACMAT, pp. 102-110 (2005) (Pubitemid 43087467)
21. Barker, S., Sergot, M. J., Wijesekera, D.: Status-based access control. ACM Trans. Inf. Syst. Secur. 12 (1) (2008)
22. Jajodia, S., Samarati, P., Sapino, M., Subrahmaninan, V.: Flexible support for multiple access control policies. ACM TODS 26(2), 214-260 (2001)
23. Fischer-Hubner, S.: IT-Security and Privacy. Springer, Heidelberg (2001)