Abstract We formalize a Parametrized Role-Based Access Control in the language Maude.
We demonstrate how this formalization can be used to specify a row level access control …

Security constitutes a crucial concern in modern information systems. Several aspects are
involved, such as user authentication (establishing and verifying users' identity), cryptology …

Rewriting has long been shown useful for equational reasoning but its expressive power is
not always appropriate for certain situations, as for instance for specifying partial functions …

This paper presents work in progress on an adaptive workflow management tool for digital
design projects. The chip design follows standardized default processes which are adapted …

Concevoir et mettre en œuvre des méthodes pour la spécification, l'analyse et la vérification
de logiciels et de systèmes sont les principaux moteurs des activités de recherche …

Notice of Violation of IEEE Publication Principles" A Formal Framework for Security Policy
Specification and Implementation" by Wang Yigong, Zhang Hongqi, Dai Xiangdong, and Liu …

Since the late 80s, firewalls are at the heart of network security. First designed to enable
private networks to be opened up to the outside in a secure way, the growing complexity of …