An audit logic for accountability

Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005

Volumn 2005, Issue , 2005, Pages 34-43

  Cederquist, J G ^a   Corin, R ^a   Dekker, M A C ^a,b   Etalle, S ^a   Den Hartog, J I ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b TNO   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; PUBLIC POLICY;

AUDIT LOGIC; DECENTRALIZED ARCHITECTURE; POLICY LANGUAGE; PROOF CHECKING SYSTEM;

SECURITY OF DATA;

EID: 33745005053     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2005.5     Document Type: Conference Paper

References (19)

1. M. Abadi. Logic in access control. In Proc. 8th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 228-233. IEEE Computer Society Press, 2003.
2. A. W. Appel and E. W. Felten. Proof-carrying authentication. In O. Tsudik, editor, Proc of the 6th Conference on Computer and Communications Security. ACM Press, 1999.
3. P. Ashley, S. Hada, G. Karjoth, and M. Schunter. E-p3p privacy policies and privacy authorization. In P. Samarati, editor, Proc. of the ACM workshop on Privacy in the Electronic Society (WPES 2002), pages 103-109. ACM Press, 2002.
4. E. Bertino, B. Catania, E. Ferrari, and P. Perlasca. A logical framework for reasoning about access control models. ACM Transactions on Information and System Security (TISSEC), pages 71-127, 2003.
5. C. N. Chong, R. Corin, S. Etalle, P. H. Hartel, W. Jonker, and Y. W. Law. LicenseScript: A novel digital rights language and its semantics. In K. Ng, C. Busch, and P. Nesi, editors, 3rd Int. Conf. on Web Delivering of Music (WEDELMUSIC), pages 122-129. IEEE Computer Society Press, 2003.
6. R. Corin, S. Etalle, J. I. den Hartog, O. Lenzini, and I. Staicu. A logic for auditing accountability in decentralized systems. In T. Dimitrakos and F. Martinelli, editors, Proc. of the second IFIP Workshop on Formal Aspects in Security and Trust (FAST), volume 173, page to appear. Springer Verlag, 2004.
7. John DeTreville. Binder, a logic-based security language. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 105-113. IEEE Computer Society Press, 2002.
8. S. Jajodia, P. Samarati, V. S. Subrahmanian, and E. Bertino. A unified framework for enforcing multiple access control policies. In J. Peckham, editor, SIGMOD 1997, Proc. International Conference on Management of Data, pages 474-485. ACM Press, 1997.
9. N. Li, J. Mitchell, and W. Winsborough. Design of a role-based trust-management framework. In Proc. of the IEEE Symposium on Research in Security and Privacy, pages 114-130. IEEE Computer Society Press, 2002.
10. G. C. Necula. Compiling with Proofs. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 1998.
11. J. Park and R. Sandhu. Towards usage control models: Beyond traditional access control. In R. Sandhu, editor, Proc. of the Seventh ACM Symposium on Access Control Models and Technologies (SACMAT-02), pages 57-64. ACM Press, 2002.
12. F. Pfenning. Logic programming in the LF logical frame-work. In G. Huet and G. Plotkin, editors, Logical Frame-works, pages 149-181. Cambridge University Press, 1991.
13. F. Pfenning and C. Schürmann. System description: Twelf - A meta-logical framework for deductive systems. In H. Ganzinger, editor, Proc. of the 16th International Conference on Automated Deduction (CADE-16), pages 202-206. Springer-Verlag, 1999.
14. P. Samarati and S. De Capitani di Vimercati. Access control: policies, models, and mechanisms. In R. Focardi and R. Gorrieri, editors, Foundations of Security Analysis and Design, LNCS, volume 2171, pages 137-196. Springer-Verlag, 2001.
15. R. Sandhu and J. Park. Usage control: A vision for next generation access control. In V. Gorodetsky, L. J. Popyack, and V. A. Skormin, editors, Proc. Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security MMM-ACNS, volume 2776 of LNCS, pages 17-31. Springer-Verlag, 2003.
16. R. Sandhu and P. Samarati. Access control: Principles and practice. IEEE Communications Magazine, 32(9):40-48, 1994.
17. W3C. A p3p preference exchange language 1.0 (appel1.0). www.w3.org/TR/P3P-preferences, 2002.
18. X. Wang, G. Lao, T. De Martini, H. Reddy, M. Nguyen, and E. Valenzuela. XrML: eXtensible rights markup language. In M. Kudo, editor, Proc. 2002 ACM workshop on XML security (XMLSEC-02), pages 71-79. ACM Press, 2002.
19. N. Whitehead, M. Abadi, and G. C. Necula. By reason and authority: A system for authorization of proof-carrying code. In Proc. of the 17 th Computer Security Foundations Workshop, pages 236-250. IEEE Computer Society Press, 2004.