Accéder directement au contenu Accéder directement à la navigation
Aide


hal-02515709v1  Communication dans un congrès
Fadi ObeidPhilippe Dhaussy. RITA secure communication protocol : application to SCADA
8th International Conference on Network and Communications Security - NCS 2016, Dec 2016, Sydney, Australia. ⟨10.5121/csit.2016.61518⟩
...
tel-02319224v1  Thèse
Fadi Obeid. Validation formelle d'implantation de patrons de sécurité
Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2018. Français. ⟨NNT : 2018ENTA0002⟩