Monsieur Worachet UTTHA / Docteur


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