Modeling of security policies, along with their realization in code, must be an integral part of
the software development process, to achieve an acceptable level of security for a software …

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 …

Modeling of access control policies, along with their implementation in code, must be an
integral part of the software development process, to ensure that the proper level of security …

Coordination languages for mobile, distributed systems constitute a good basis for the use of
aspect-oriented features for providing a clear separation between the functionality and the …

We show how to extend a coordination language with support for aspect oriented
programming. The main challenge is how to properly deal with the trapping of actions before …

We show how to use aspect-oriented programming to separate security and trust issues from
the logical design of mobile, distributed systems. The main challenge is how to enforce …

Enforcing security policies to IT systems, especially for a mobile distributed system, is
challenging. As society becomes more IT-savvy, our expectations about security and privacy …

We show how to use aspect-oriented programming to separate security and trust issues from
the logical design of mobile, distributed systems. The main challenge is how to enforce …

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 …

Distributed security in closed distributed systems Page 1 General rights Copyright and moral
rights for the publications made accessible in the public portal are retained by the authors and/or …