Coordonnées
worachet.uttha@lif.univ-mrs.fr
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
Octobre 2012
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la 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 :
Jean-Marc TALBOT
Co-directeur :
Clara BERTOLISSI
Unité de recherche :
LIF - Laboratoire d'Informatique Fondamentale de Marseille
Intitulé de l'équipe :
Modélisation et Vérification
Master
Intitulé : Master
Juin 2012 - Université d'Aix-Marseille
Mention : passable
Langues vivantes
Anglais : C1 - Avancé
Français : C2 - Courant
Thaï : C2 - Maternel
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