A logic for auditing accountability in decentralized systems

IFIP Advances in Information and Communication Technology

Volumn 173, Issue , 2005, Pages 187-201

  Corin, R ^a   Etalle, S ^a,b   Den Hartog, J ^a   Lenzini, G ^a   Staicu, I ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY;

DATA ACCOUNTABILITIES; DECENTRALIZED ARCHITECTURE; DECENTRALIZED SYSTEM; USAGE POLICIES;

COMPUTER CIRCUITS;

EID: 84902437419     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (12)

1. M. Abadi. Logic in access control. 18th IEEE Symposium on Logic in Computer Science. June 2003.
2. A. W. Appel and E. W. Felten. Proof-carrying authentication. Proceedings of the 6th ACM Conference on Computer and Communications Security, pages 52-62, November 1999.
3. P. Ashley, S. Hada, G. Karjoth, and M. Schunter. E-p3p privacy policies and privacy authorization. Proceeding of the ACM workshop on Privacy in the Electronic Society. 2002.
4. P. Ashley, S. Hada, C. Powers, and M. Schunter. Enterprise privacy authorization language (EPAL). Research Report 3485, IBM Research, 2003.
5. M. Blaze, J. Feigenbaum, and A. D. Keromytis. The role of trust management in distributed systems security. Secure Internet Programming, Security Issues for Mobile and Distributed Objects, pages 185-210, 1999.
6. B. N. Chun and A. C. Bavier. Decentralized trust management and accountability in federated systems. 37th Hawaii International Conference on System Sciences, January 2004.
7. J. DeTreville. Binder, a logic-based security language. IEEE Symposium on Security and Privacy, pages 105-113, May 2002.
8. C. A. Gunter, M. J. May, and S. G. Stubblebine. A formal privacy system and its application to location based services. In Proc. of the 4th Workshop on Privacy Enhancing Technologies (PET 2004), LNCS, Toronto, Canada, 26-28 May 2004. Springer-Verlag.
9. G. Karjoth, M. Schunter, and M. Waidner. Platform for enterprise privacy practices: Privacy-enabled management of customer data. Privacy Enhancing Technologies, 2002.
10. B. W. Lampson. Protection. In Proc. Fifth Princeton Symposium on Information Sciences and Systems, pages 437-443, March 1971. Reprinted in Operating Systems Review, 8,1, January 1974, pp. 18-24.
11. P. Samarati and S. De Capitani di Vimercati. Access control: policies, models, and mechanisms. Foundations of Security Analysis and Design, LNCS, 2171:137-196, 2001.
12. R. S. Sandhu and P. Samarati. Authentication, access control, and intrusion detection. The Computer Science and Engineering Handbook, pages 1929-1948, 1997.