Declarative reconfigurable trust management

CIDR 2009 - 4th Biennal Conference on Innovative Data Systems Research

Volumn , Issue , 2009, Pages

  Marczak, William R ^a   Zook, David ^b   Zhou, Wenchao ^a   Aref, Molham ^b   Loo, Boon Thau ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b LOGICBLOX INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CUSTOMIZABLE; DATALOG; DISTRIBUTION STRATEGIES; ENTERPRISE SOFTWARE; EXECUTION ENVIRONMENTS; LANGUAGES AND SYSTEMS; META MODEL; META PROGRAMMING; PROOF OF CONCEPT; RE-CONFIGURABLE; SECURE NETWORKS; SECURITY POLICY; TRUST LEVEL; TRUST MANAGEMENT; TRUST MANAGEMENT SYSTEMS;

BINDERS; XML;

INFORMATION MANAGEMENT;

EID: 84889706925     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. M. Abadi. Logic in Access Control. In Symposium on Logic in Computer Science, June 2003.
2. M. Abadi. On Access Control, Data Integration and Their Languages. Computer Systems: Theory, Technology and Applications, A Tribute to Roger Needham, Springer-Verlag:9-14, 2004.
3. M. Abadi and B. Blanchet. Analyzing security protocols with secrecy types and logic programs. In POPL, 2002.
4. M. Abadi and B. T. Loo. Towards a Declarative Language and System for Secure Networking. In NetDB, 2007.
5. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
6. F. Bancilhon, D. Maier, Y. Sagiv, and J. Ullman. Magic Sets and Other Strange Ways to Implement Logic Programs. In SIGMOD, 1986.
7. M. Y. Becker and P. Sewell. Cassandra: Distributed Access Control Policies with Tunable Expressiveness. In 5th IEEE International Workshop on Policies for Distributed Systems and Networks, 2004.
8. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized Trust Management. In Proc. of the 17th Symposium on Security and Privacy, pages 164-173. IEEE Computer Society Press, Los Alamitos, 1996.
9. Boon Thau Loo et. al. Declarative Networking: Language, Execution and Optimization. In SIGMOD, June 2006.
10. S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. D. Ullman, and J. Widom. The TSIMMIS Project: Integration of heterogeneous information sources. In 16th Meeting of the Information Processing Society of Japan, Tokyo, Japan, 1994.
11. T. Condie, D. Chu, J. M. Hellerstein, and P. Maniatis. Evita raced: Metacompilation for declarative networks. In VLDB, 2008.
12. J. DeTreville. Binder: A logic-based security language. In IEEE Symposium on Security and Privacy, 2002.
13. T. Jim. SD3: A Trust Management System With Certified Evaluation. In IEEE Symposium on Security and Privacy, May 2001.
14. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in Distributed Systems: Theory and Practice. ACM TOCS, 1992.
15. N. Li, B. N. Grosof, and J. Feigenbaum. Delegation Logic: A logic-based approach to distributed authorization. ACM TISSEC, Feb. 2003.
16. LogicBlox Inc. http://www.logicblox.com/.
17. K. Minami and D. Kotz. Secure context-sensitive authorization. In PERCOM, 2005.
18. R. Ramakrishnan and J. D. Ullman. A Survey of Research on Deductive Database Systems. Journal of Logic Programming, 23(2):125-149, 1993.
19. W. Zhou, Y. Mao, B. T. Loo, and M. Abadi. Unified Declarative Platform for Secure Networked Information Systems. In ICDE, 2009.