Towards a Declarative Language and System for Secure Networking.
NETB'07: Proceedings of the 3rd USENIX international workshop on Networking meets databases(2007)
摘要
In this paper, we present a declarative language and system for describing and implementing secure networks. Our proposed language, SeNDlog, is an attempt at unifying Binder, a logic-based language for access control in distributed systems, and Network Datalog (NDlog), a database query language for declarative networks. The contributions of this paper are as follows. First, we highlight the similarities and differences between Binder and NDlog with regards to their notion of location, trust model, and evaluation strategies. Second, we motivate and propose the SeNDlog language that combines features from Binder and NDlog. Third, we demonstrate the use of SeNDlog for specifying secure networks and present directions for future work.
更多查看译文
关键词
secure network,SeNDlog language,database query language,declarative language,logic-based language,proposed language,declarative network,present direction,Network Datalog,access control
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络