PTaCL: A language for attribute-based access control in open systems

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

Volumn 7215 LNCS, Issue , 2012, Pages 390-409

  Crampton, Jason ^a   Morisset, Charles ^a,b  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b CNR   (Italy)

Author keywords

Composition; PCL; Policy; PTaCL; PTL; Target

Indexed keywords

ATTRIBUTE BASED ACCESS CONTROL; AUTHORIZATION POLICY; COMPOSITION LANGUAGES; EVALUATION METHOD; LANGUAGE FEATURES; OPEN ENVIRONMENT; PCL; POLICY EVALUATION; POLICY LANGUAGE; POLICY SPECIFICATION; PTACL; PTL; TARGET LANGUAGE; TARGET SPECIFICATIONS; EVALUATION METHODS; POLICY COMPOSITIONS;

CHEMICAL ANALYSIS; PUBLIC POLICY; SEMANTICS; SPECIFICATIONS; TARGETS; ACCESS CONTROL; OPEN SYSTEMS;

OPEN SYSTEMS; COMPUTATIONAL LINGUISTICS;

EID: 84859368772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28641-4_21     Document Type: Conference Paper

References (17)

1. Backes, M., Dürmuth, M., Steinwandt, R.: An Algebra for Composing Enterprise Privacy Policies. In: Samarati, P., Ryan, P.Y.A., Gollmann, D., Molva, R. (eds.) ESORICS 2004. LNCS, vol. 3193, pp. 33-52. Springer, Heidelberg (2004) (Pubitemid 39738732)
2. Bell, D., LaPadula, L.: Secure computer systems: Unified exposition and Multics interpretation. Technical Report MTR-2997, Mitre Corporation (1976)
3. Bertino, E., Castano, S., Ferrari, E.: Author-X: A comprehensive system for securing XML documents. IEEE Internet Computing 5(3), 21-31 (2001)
4. Bonatti, P., De Capitani Di Vimercati, S., Samarati, P.: An algebra for composing access control policies. ACM Transactions on Information and System Security 5(1), 1-35 (2002)
5. Bruns, G., Huth, M.: Access-control policies via Belnap logic: Effective and efficient composition and analysis. In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, pp. 163-176 (2008)
6. Crampton, J., Huth, M.: An Authorization Framework Resilient to Policy Evaluation Failures. In: Gritzalis, D., Preneel, B., Theoharidou, M. (eds.) ESORICS 2010. LNCS, vol. 6345, pp. 472-487. Springer, Heidelberg (2010)
7. Crampton, J., Morisset, C.: Ptacl: A language for attribute-based access control in open systems. CoRR, abs/1111.5767 (2011), http://arxiv.org/abs/1111. 5767
8. Damiani, E., De Capitani di Vimercati, S., Paraboschi, S., Samarati, P.: A fine-grained access control system for XML documents. ACM Transactions on Information and System Security 5(2), 169-202 (2002)
9. Harrison, M., Ruzzo, W., Ullman, J.: Protection in operating systems. Communications of the ACM 19(8), 461-471 (1976)
10. Jobe, W.: Functional completeness and canonical forms in many-valued logics. Journal of Symbolic Logic 27(4), 409-422 (1962)
11. Kleene, S.: Introduction to Metamathematics. D. Van Nostrand, Princeton, NJ (1950)
12. Li, N., Wang, Q., Qardaji, W., Bertino, E., Rao, P., Lobo, J., Lin, D.: Access control policy combining: Theory meets practice. In: Proceedings of 14th ACM Symposium on Access Control Models and Technologies, pp. 135-144 (2009)
13. Ni, Q., Bertino, E., Lobo, J.: D-algebra for composing access control policy decisions. In: Proceedings of 2009 ACM Symposium on Information, Computer and Communications Security, pp. 298-309 (2009)
14. OASIS. eXtensible Access Control Markup Language (XACML) Version 2.0, OASIS Committee Specification (Tim Moses, editor) (2005)
15. OASIS. eXtensible Access Control Markup Language (XACML) Version 3.0, OASIS Committee Specification 01 (Erik Rissanen, editor) (2010)
16. Rao, P., Lin, D., Bertino, E., Li, N., Lobo, J.: An algebra for fine-grained integration of XACML policies. In: Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, pp. 63-72. ACM, New York (2009)
17. Wijesekera, D., Jajodia, S.: A propositional policy algebra for access control. ACM Transactions on Information and System Security 6(2), 235-286 (2003)