Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

Attribute-based access control (ABAC) model manages access control through policies,
based on incoming requests in which attributes are basic elements for constructing those …

We describe a metamodel for access control, designed to take into account the specific
requirements of distributed environments. We see a distributed system consisting of several …

Despite the widespread adoption of Role-based Access Control (RBAC) models, new
access control models are required for new applications for which RBAC may not be …

Security policies are one of the most fundamental elements of computer security. Current
security policy design is concerned with the composition of components in security systems …

We design a graph-based framework for the analysis of access control policies that aims at
easing the specification and verification tasks for security administrators. We consider …

Security is a key-challenge for software engineering, especially when considering access
control and software evolutions. No satisfying solution exists for maintaining the alignment of …

In large, and often distributed, environments, where access control information may be
shared across multiple sites, the combination of individual specifications in order to define a …

We observe that the periodic variations in spin-down rate and beamwidth of the radio pulsar
PSR B1828− 11 are getting faster. In the context of a free precession model, this …

Security policies, in particular access control, are fundamental elements of computer
security. We address the problem of authoring and analyzing policies in a modular way …