Towards a policy language for humans and computers

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

Volumn 3232, Issue , 2004, Pages 513-525

  Weissman, Vicky ^a   Lagoze, Carl ^b  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^b Social Dynamics Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DIGITAL LIBRARIES; FORMAL METHODS; POLYNOMIAL APPROXIMATION; SEMANTICS;

ACCESS POLICIES; FORMAL SEMANTICS; POLICY LANGUAGE; POLYNOMIAL-TIME; ROSETTA;

TRANSLATION (LANGUAGES);

EID: 35048854257     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30230-8_47     Document Type: Article

References (16)

1. Altova. Xmlspy.http://www.xmlspy.com/products.ide.html, 2004.
2. Association for Computing Machinery. The ACM guide: Terms of usage. at http:// portal.acm.org/info/usage.cfm, 2004.
3. E. Bertino, C. Bettini, E. Ferrari, and P. Samarati. An access control model supporting periodicity constraints and temporal reasoning. ACM Transactions on Database Systems, 23(3):231-285, 1998.
4. J. DeTreville. Binder, a logic-based security language. In Proceedings 2002 IEEE Symposium on Security and Privacy, pages 95-103, 2002.
5. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
6. H. Garcia-Molina, J. D. Ullman, and J. Widom. Database Systems: The Complete Book. Prentice Hall, New Jersey, 2002.
7. Joseph Halpern and Vicky Weissman. Using first-order logic to reason about policies. In Proc. 16th IEEE Computer Security Foundations Workshop, pages 187-201, 2003.
8. Joseph Halpern and Vicky Weissman. A formal foundation for XrML. In Proc. 17th IEEE Computer Security Foundations Workshop, 2004.
9. R. Iannella. ODRL: The open digital rights language initiative. http://odr1.net/, 2001.
10. T. Jim. SD3: A trust management system with certified evaluation. In Proceedings 2001 IEEE Symposium on Security and Privacy, pages 106-115, 2001.
11. N. Li, B. N. Grosof, and J. Feigenbaum. Delegation Logic: A logic-based approach to distributed authorization. ACM Transaction on Information and System Security (TISSEC), February 2003. To appear.
12. N. Li and J. C. Mitchell. Datalog with constraints: A foundation for trust management languages. In Proceedings of the Fifth International Symposium on Practical Aspects of Declarative Languages, January 2003. To appear.
13. N. Li, J. C. Mitchell, and W. H. Winsborough. Design of a role-based trust-management framework. In Proceedings 2002 IEEE Symposium on Security and Privacy, pages 114-130, 2002.
14. MPEG. Information technology - Multimedia framework (MPEG-21) - Part 5: Rights expression language (ISO/IEC 21000-5:2004). http://www.iso.ch/iso/en/, 2004.
15. R. Pucella and V. Weissman. A formal foundation for ODRL rights. In Workshop on Issues in the Theory of Security (WITS), 2004.
16. Ltd SyncRo Soft. Oxygen. http://www.oxygenxml.com/javawebstart, 2004.