A note on the formalisation of UCON

Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT

Volumn , Issue , 2007, Pages 163-168

  Janicke, Helge ^a   Cau, Antonio ^a   Zedan, Hussein ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Access control; Formal specification; Security policy; Usage control

Indexed keywords

DATA STRUCTURES; INFORMATION SERVICES; RESOURCE ALLOCATION; USER INTERFACES;

ENFORCEABILITY; FORMAL SPECIFICATION; SECURITY POLICY; USAGE CONTROL;

ACCESS CONTROL;

EID: 34548016799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1266840.1266867     Document Type: Conference Paper

References (10)

1. M. Y. Becker, C. Fournet, and A. D. Gordon. SecPAL: Design and Semantics of a Decentralized Authorisation Language. Technical report, Microsoft Research, 2006.
2. J. Chomicki. Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Database Syst., 20(2):149-186, 1995.
3. S. Jajodia, P. Samarati, M. L. Sapino, and V. S. Subrahmanian. Flexible support for multiple access control policies. ACM Trans. Database Syst., 26(2):214-260, 2001.
4. H. Janicke, A. Cau, F. Siewe, H. Zedan, and K. Jones. A Compositional Event & Time-based Policy Model. In Procceedings of POLICY2006. IEEE, 2006.
5. L. Lamport. The temporal logic of actions. ACM TOPLAS, 16(3):872-923, 1994.
6. J. Park, X. Zhang, and R. S. Sandhu. Attribute mutability in usage control. In C. Farkas and P. Samarati, editors, DBSec, pages 15-29. Kluwer, 2004.
7. ABC usage control model. In Proceeding of the Second International Workshop on Mathematical Method, Models and Architectures for Computer Networks Security, 2003.
8. F. Siewe. A Compositional Framework for the Development of Secure Access Control Systems. PhD thesis, De Montfort University, 2005.
9. X. Zhang, J. Park, F. Parisi-Presicce, and R. Sandhu. A logical specification for usage control. In ACM Proceedings of SACMAT '04, pages 1-10, 2004.
10. X. Zhang, F. Rarisi-Presicce, J. Park, and R. Sandhu. Formal Model and Policy Specification of Usage Control. ACM TISSEC, 2005.