Citation Context

...step towards bridging network specifications, protocol verification, and implementation within a common language and system. DNV achieves this unified capability via the use of declarative networking =-=[20, 19, 18]-=-, a declarative domain-specific approach for specifying and implementing network protocols, and theorem proving, a well established verification technique based on logical reasoning. In declarative ne...

Citation Context

... the declarative approach has been pursued at the network layer. The use of recursive query languages has been initially proposed to express communication network algorithms such as routing protocols =-=[13]-=- and declarative overlays [12]. This approach, known as declarative networking is extremely promising. It has been further pursued in [11], where execution techniques for Datalog are proposed. Distrib...

Citation Context

...observed that many networking tasks are naturally described in recursive query languages like Datalog, because (a) they typically involve recursive graph traversals (e.g., shortest-path computations) =-=[26]-=-, and (b) the asynchronous messaging inherent in networks is neatly expressed as joins of message streams with “rendezvous” or “session” tables [24, 25]. Given these intuitions, we implemented the P2 ...

Citation Context

...arch into a long dormancy. In recent years, however, Datalog has suddenly re-emerged at the center of a wide range of new applications, including data integration [26, 17, 22], declarative networking =-=[29, 28, 27]-=-, program analysis [13], information extraction [19, 38], network monitoring [5], security [31, 25], and cloud computing [7]. A common thread across these systems is the use of the Datalog language as...

Citation Context

... implementing security policies and networks. Our paper builds upon and unifies three bodies of work: (1) logic-based trust management systems [4], [5], [6], [7], [8], [9], (2) declarative networking =-=[10]-=-, [11], [12], and (3) database techniques for analyzing data computations via the concept of provenance (or lineage [13]). From a practical standpoint, this integration has several benefits, ranging f...

Citation Context

...o languages: (1) Binder [8], a logic-based language for expressing access control decisions in distributed systems, and (2) Network Datalog (NDlog), a database query language for declarative networks =-=[17, 16, 15]-=-. Access control is central to security and it is pervasive in computer system. Over the years, logical ideas and tools have been used to explain and improve access control. Several logic-based langua...

Citation Context

...ge is that the policies and network specifications are in the same declarative framework, suggesting opportunities for cross-layer optimizations in future. Our work builds upon declarative networking =-=[9]-=-, and makes the following three contributions. First, we demonstrate that MANET protocols such as DSR, Link State routing, and Epidemic can be specified tersely using the NDlog declarative networking ...

Citation Context

...location, AS membership, trust, etc. On the other hand, to address the rigidity of the current Internet infrastructure, several proposed routing infrastructures such as NIRA [22], i3-ROSE [16] and P2 =-=[17]-=- argue for providing end-host control over routing in the Internet. These proposals generally focus solely on performance-driven metrics such as latency, bandwidth, and resilience, and do not address ...

Citation Context

...ethora of emerging applications, data originates at a variety of nodes and is being frequently updated: routing tables in a peer-to-peer overlay network [1] or in a declarative networking system [2], =-=[3]-=-, sensors embedded in an environment [4], [5], monitors within various clusters at geographically distributed hosting sites [6], [7], data producers in large-scale distributed scientific data integrat...

Citation Context

... mechanisms, and to do so we adopt the publish/subscribe design paradigm. One can view this effort as moving away from a procedural interface, as represented by the Sockets API, to a more declarative =-=[10]-=- one. This frees the communication infrastructure to act opportunistically, using whatever mechanisms are best suited to the current context. It also frees the application from having to cope with dif...