Knowledge Tree

researcher / Régine Laleau

Régine Laleau

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Combinaison de méthodes formelles pour la spécification de systèmes industriels

A model driven engineering approach to build secure information systems

Vérification et validation de politiques de contrôle d'accès dans le domaine médical

Approches formelles de mise en oeuvre de politiques de contrôle d'accès pour des applications basées sur une architecture orientée services

Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles

Un processus formel d'intégration de politiques de contrôle d'accès dans les systèmes d'information

Construction de spécifications formelles abstraites dirigée par les buts