The Community for Technology Leaders
2009 IEEE 25th International Conference on Data Engineering (2009)
Mar. 29, 2009 to Apr. 2, 2009
ISSN: 1084-4627
ISBN: 978-0-7695-3545-6
pp: 150-161
ABSTRACT
We present a unified declarative platform for specifying, implementing, and analyzing secure networked information systems. Our work builds upon techniques from logic-based trust management systems, declarative networking, and data analysis via provenance. We make the following contributions. First, we propose the Secure Network Datalog (SeNDlog) language that unifies Binder, a logic-based language for access control in distributed systems, and Network Datalog, a distributed recursive query language for declarative networks. SeNDlog enables network routing, information systems, and their security policies to be specified and implemented within a common declarative framework. Second, we extend existing distributed recursive query processing techniques to execute SeNDlog programs that incorporate authenticated communication among untrusted nodes. Third, we demonstrate that distributed network provenance can be supported naturally within our declarative framework for network security analysis and diagnostics. Finally, using a local cluster and the PlanetLab testbed, we perform a detailed performance study of a variety of secure networked systems implemented using our platform.
INDEX TERMS
CITATION

W. Zhou, M. Abadi, B. T. Loo and Y. Mao, "Unified Declarative Platform for Secure Netwoked Information Systems," 2009 IEEE 25th International Conference on Data Engineering(ICDE), vol. 00, no. , pp. 150-161, 2009.
doi:10.1109/ICDE.2009.58
83 ms
(Ver 3.3 (11022016))