Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Towards a Declarative Language and System for Secure Networking

Summary: Towards a Declarative Language and System for
Secure Networking
Mart´in Abadi
and Boon Thau Loo

Microsoft Research
UC Santa Cruz
University of Pennsylvania
In this paper, we present a declarative language and
system for describing and implementing secure net-
works. Our proposed language, SeNDlog, is an at-
tempt at unifying Binder, a logic-based language
for access control in distributed systems, and Net-
work Datalog (NDlog), a database query language
for declarative networks. The contributions of this
paper are as follows. First, we highlight the sim-
ilarities and differences between Binder and NDlog
with regards to their notion of location, trust model,
and evaluation strategies. Second, we motivate and


Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz
Loo, Boon Thau - Department of Computer and Information Science, University of Pennsylvania


Collections: Computer Technologies and Information Sciences