Dans cette thèse, nous nous intéressons à la spécification et à l'analyse modulaires de
politiques de sécurité flexibles basées sur des règles. Nous introduisons l'utilisation du …

This paper presents a novel access control framework reducing the access control problem
to a traditional decision problem, thus allowing a policy designer to reuse tools and …

In this paper we address the problem of comparing access control models. Indeed, many
access control models can be found in the literature and in order to choose one model for a …

This paper describes the Integrated Development Environment Focal together with a brief
proof of usability on the formal development of access control policies. Focal is an IDE …

The prevention of information flow is an important concern in several access control models.
Even though this property is stated in the model specification, it is not easy to verify it in the …

Security policies are one of the most fundamental elements of computer security. This paper
uses colored Petri net process (CPNP) to specify and verify security policies in a modular …

Security policies are ubiquitous in information systems and more generally in the
management of sensitive information. Access control policies are probably the most largely …

Un des aspects de la sécurité des systèmes d'information concerne le contrôle des accès
aux données d'un système pour lequel différentes politiques de sécurité peuvent être mises …

La conception d'un logiciel chargé du contrôle d'accès d'un système doit s' effectuer selon
des règles strictes, afin de prévenir la présence de failles dans le code qui sera élaboré …

In this thesis we address the modular specification and analysis of flexible, rule-based
policies. We introduce the use of the strategic rewriting formalism in this domain, such that …