Monsieur Worachet UTTHA / Docteur
Coordonnées
Emplois
Recherche : NON
Doctorat
Titre : Informatique
1ère inscription en thèse : 1 octobre 2012 / 4A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 26 septembre 2016
Sujet : Spécification et vérification des politiques de sécurité dans les systèmes distribués.
Directeur de thèse : TALBOT Jean-Marc
Co-directeur : BERTOLISSI Clara
Unité de recherche : LIF - Laboratoire d'Informatique Fondamentale de Marseille
Equipe : Modélisation et Vérification
Master
Titre : Master
juin 2012 - Université d'Aix-Marseille
Mention : passable
Production scientifique
-
Automated analysis of rule-based access control policies
2013
Clara Bertolissi Worachet Uttha
http://dl.acm.org/citation.cfm?id=2428125
-
Towards a Reference Architecture for Access Control in Distributed Web Applications
2014
Worachet Uttha Clara Bertolissi Silvio Ranise
-
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies
International Conference on Security and Cryptography (SECRYPT 2015), 2015
Worachet Uttha Clara Bertolissi Silvio Ranise
http://www.scitepress.org/DigitalLibrary/Link.aspx?doi=10.5220%2F0005548502930300
Langues
Anglais : C1 - Avancé
Français : C2 - Courant
Thaï : C2 - Maternel