Towards a declarative language and system for secure networking

3rd International Workshop on Networking Meets Databases, NetDB 2007

Volumn , Issue , 2007, Pages

  Abadi, Martín ^a,b   Loo, Boon Thau ^a,c  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; DISTRIBUTED DATABASE SYSTEMS; QUERY LANGUAGES; QUERY PROCESSING;

DATABASE QUERY LANGUAGE; DECLARATIVE LANGUAGES; DISTRIBUTED SYSTEMS; EVALUATION STRATEGIES; LOGIC-BASED LANGUAGES; SECURE NETWORKING; SECURE NETWORKS; TRUST MODELING;

NETWORK SECURITY;

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

References (23)

1. P2: Declarative Networking. http://p2.cs.berkeley.edu.
2. Abadi, M. Logic in Access Control. In Symposium on Logic in Computer Science (2003).
3. Abadi, M. On Access Control, Data Integration and Their Languages. Computer Systems: Theory, Technology and Applications, A Tribute to Roger Needham Springer-Verlag (2004), 9-14.
4. Balakrishnan, H., Kaashoek, M. F., Karger, D., Morris, R., and Stoica, I. Looking Up Data in P2P Systems. Communications of the ACM, Vol. 46, No. 2 (Feb. 2003).
5. Blaze, M., Feigenbaum, J., and Keromytis, A. D. The role of trust management in distributed systems security. In Secure Internet Programming (1999), pp. 185-210.
6. Castro, M., Drushel, P., Ganesh, A., Rowstron, A., and Wallach, D. Secure Routing for Structured Peer-to-peer Overlay Networks. In Proceedings of Usenix Symposium on Operating Systems Design and Implementation (2002).
7. Chawathe, S., Garcia-Molina, H., Hammer, J., Ireland, K., Papakonstantinou, Y., Ullman, J. D., and Widom, J. The TSIMMIS Project: Integration of Heterogeneous Information Sources. In 16th Meeting of the Information Processing Society of Japan (Tokyo, Japan, 1994).
8. DeTreville, J. Binder: A logic-based security language. In IEEE Symposium on Security and Privacy (2002).
9. GENI. Global Environment for Network Innovations. http://www.geni.net/.
10. Griffin, T. G., and Sobrinho, J. L. Metarouting. In ACM SIGCOMM (2005).
11. Jim, T. SD3: A Trust Management System With Certified Evaluation. In IEEE Symposium on Security and Privacy (May 2001).
12. Jim, T., and Suciu, D. Dynamically Distributed Query Evaluation. In ACM Symposium on Principles of Database Systems (2001).
13. Lampson, B., Abadi, M., Burrows, M., and Wobber, E. Authentication in Distributed Systems: Theory and Practice. ACM Transactions on Computer Systems 10, 4 (1992), 265-310.
14. Li, N., Grosof, B. N., and Feigenbaum, J. Delegation Logic: A logic-based approach to distributed authorization. ACM Transactions on Information and System Security (TISSEC) (Feb. 2003).
15. Loo, B. T., Condie, T., Garofalakis, M., Gay, D. E., Hellerstein, J. M., Maniatis, P., Ramakrishnan, R., Roscoe, T., and Stoica, I. Declarative Networking: Language, Execution and Optimization. In Proceedings of ACM SIGMOD International Conference on Management of Data (June 2006).
16. Loo, B. T., Condie, T., Hellerstein, J. M., Maniatis, P., Roscoe, T., and Stoica, I. Implementing Declarative Overlays. In ACM Symposium on Operating Systems Principles (2005).
17. Loo, B. T., Hellerstein, J. M., Stoica, I., and Ramakrishnan, R. Declarative Routing: Extensible Routing with Declarative Queries. In Proceedings of ACM SIGMOD International Conference on Management of Data (2005).
18. Moritz Y. Becker and Cedric Fournet and Andrew D. Gordon. SecPAL: Design and Semantics of a Decentralized Authorization Language. Tech. Rep. MSR-TR-2006-120, Microsoft Research, 2006.
19. Pimlott, A., and Kiselyov, O. A Logic-based Trust-management System. In International Symposium on Functional and Logic Programming (Apr. 2006).
20. PlanetLab. Global testbed. http://www.planetlab.org/.
21. Raghu Ramakrishnan and S. Sudarshan. Bottom-Up vs Top-Down Revisited. In Proceedings of the International Logic Programming Symposium (1999).
22. Ramakrishnan, R., and Ullman, J. D. A Survey of Research on Deductive Database Systems. Journal of Logic Programming 23, 2 (1993), 125-149.
23. Tennenhouse, D., Smith, J., Sincoskie, W., Wetherall, D., and Minden, G. A Survey of Active Network Research. In IEEE Communications Magazine (1997).