Towards a Declarative Language and System for Secure Networking
Towards a Declarative Language and System for Secure Networking
复制标题
走向安全网络的声明性语言和系统
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
B. T. Loo
中科院分区：
文献类型：
--
作者：
M. Abadi;B. T. Loo
在本文中，我们提出了一个声明性的语言和系统，用于描述和实现安全网络。我们提出的语言SeNDlog是统一Binder（一种用于分布式系统访问控制的基于逻辑的语言）和Network Datlog（NDlog）（一种用于声明性网络的数据库查询语言）的尝试。本文的贡献如下。首先，我们强调了Binder和NDlog在位置概念、信任模型和评估策略方面的异同。其次，我们激励并提出了SeNDlog语言，结合了Binder和NDlog的功能。第三，我们演示了使用SeNDlog指定安全网络和未来的工作方向。
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.