Network devices have always been considered as configurable black boxes until the
emergence of software-defined networking (SDN). SDN enables the networks to be …

Trust management systems are frameworks for authorization in modern distributed systems,
allowing remotely accessible resources to be protected by providers. By allowing providers …

Cloud computing provides on-demand access to IT resources via the Internet. Permissions
for these resources are defined by expressive access control policies. This paper presents a …

Network devices for the home such as remotely controllable locks, lights, thermostats,
cameras, and motion sensors are now readily available and inexpensive. In theory, this …

Software-defined networking (SDN) is an innovative network architecture that splits the
control and management planes from the data plane. It helps in simplifying network …

We present a declarative authorization language. Policies and credentials are expressed
using predicates defined by logical clauses, in the style of constraint logic programming …

Conventional access control are suitable for regulating access to resources by known users.
However, these models have often found to be inadequate for open and decentralized multi …

We present Flix, a declarative programming language for specifying and solving least fixed
point problems, particularly static program analyses. Flix is inspired by Datalog and extends …

The RT Role-based Trust-management framework provides policy language, semantics,
deduction engine, and pragmatic features such as application domain specification …

Recent research has explored using Datalog-based languages to express a distributed
system as a set of logical invariants. Two properties of distributed systems proved difficult to …