Accéder directement au contenu

Jean-Claude Royer

4
Documents

Publications

mario-sudholt

Reference monitors for security and interoperability in OAuth 2.0

 Ronan-Alexandre Cherrueau , Rémi Douence , Jean-Claude Royer , Mario Südholt , Anderson Santana de Oliveira
SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Communication dans un congrès hal-00846810v1
Image document

A Message-Passing Model for Service Oriented Computing

 Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Communication dans un congrès hal-00668975v1

The Synthesis Problem for Trusted Service-based Collaborations

 Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt
Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
Communication dans un congrès hal-00700750v1
Image document

Well-Typed Services Cannot Go Wrong

 Diana Allam , Rémi Douence , Hervé Grall , Jean-Claude Royer , Mario Südholt
[Research Report] RR-7899, INRIA. 2012
Rapport hal-00700570v2