On obligations

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

Volumn 3679 LNCS, Issue , 2005, Pages 98-117

  Hilty, Manuel ^a   Basin, David ^a   Pretschner, Alexander ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA ACQUISITION; PUBLIC POLICY; SYNTACTICS;

ACCESS CONTROL; DATA PROTECTION; SYNTACTIC CLASSIFICATION OF FORMULAS;

CONTROL SYSTEMS;

EID: 33646071594     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11555827_7     Document Type: Conference Paper

References (21)

1. M. Backes, B. Pfitzmann, and M. Schunter. A toolkit for managing enterprise privacy policies. In Proc. ESORICS'03, Springer LNCS 2808, pages 162-180. 2003.
2. E. Bertino, C. Bettini, E. Ferrari, and P. Samarati. An access control model supporting periodicity constraints and temporal reasoning. A CM Transactions on Database Systems, 23(3):231-285, 1998.
3. C. Bettini, S. Jajodia, X. S. Wang, and D. Wijesekera. Provisions and obligations in policy rule management. J. Network and System Mgmt., 11(3):351-372, 2003.
4. C. Caleiro, L. Viganò, and D. Basin. Metareasoning about security protocols using distributed temporal logic. In Proc. IJCAR'04 Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA'04). ENTCS 125(1), 2005.
5. H.-D. Ehrich and C. Caleiro. Specifying communication in distributed information systems. Acta Information, 36:591-616, 2000.
6. H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for specifying concurrent information systems. In Logic for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998.
7. A. Gal and V. Atluri. An authorization model for temporal data. In Proc. 7th ACM Conference on Computer Communications Security, pages 144-153. ACM Press, 2000.
8. S. Jajodia, M. Kudo, and V. Subrahmanian. Provisional authorizations. In A. Gosh, editor, E-Commerce Security and Privacy, pages 133-159. Kluwer, 2001.
9. S. Jajodia, P. Samarati, M. L. Sapino, and V. S. Subrahmanian. Flexible support for multiple access control policies. ACM Transactions on Database Systems, 26(2):214-260, 2001.
10. M. McDougall, R. Alur, and C. A. Gunter. A model-based approach to integrating security policies for embedded devices. In Proc. 4th ACM international conference on Embedded software, pages 211-219. ACM Press, 2004.
11. M. C. Mont. Dealing with privacy obligations in enterprises. Technical report, HP Laboratories Bristol, Jun 2004.
12. J. Park and R. Sandhu. The UCON ABC Usage Control Model. A CM Transactions on Information and Systems Security, 7:128-174, 2004.
13. A. Pnuieli. The temporal semantics of concurrent programs. In Proc. Intl. Symp. on Semantics of Concurrent Computation, pages 1-20. Springer-Verlag, 1979.
14. F. B. Schneider. Enforceable security policies. ACM Transactions on Information and System Security, 3(1):30-50, 2000.
15. F. Siewe, A. Cau, and H. Zedan. A compositional framework for access control policies enforcement. In Proc. 2003 ACM workshop on Formal methods in security engineering, pages 32-42. ACM Press, 2003.
16. S. W. Smith. Trusted Computing. Springer-Verlag, 2005.
17. P. van Oorschot. Revisiting software protection. Information Security, LNCS, 2851:1-13, 2003.
18. P. van Oorschot. Software protection and application security: understanding the battleground. In State of the art and evolution of computer security and industrial cryptography, 2003.
19. W3C. The Platform for Privacy Preferences 1.0 (P3P1.0) Specification, April 2002. Available at http://www.w3.org/TR/P3P/.
20. G. Winskel. Event structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, Springer LNCS 255, pages 325-392. 1987.
21. X. Zhang, J. Park, F. Parisi-Presicce, and R. Sandhu. A logical specification for usage control. In Proc. 9th ACM symp. on Access control models and technologies, pages 1-10. ACM Press, 2004.