Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

4 Résultats
authFullName_s : Obeid Fadi
Page :
triés par

Validation formelle d’implantation de patrons de sécurité : Application aux SCADA

 Obeid Fadi , Dhaussy Philippe
AFADL 2016, Jun 2016, Besançon, France
Communication dans un congrès hal-01326340v1

Model-checking for Secured Component Implementation.

 Obeid Fadi , Philippe Dhaussy
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
Communication dans un congrès hal-01864787v1

Validation formelle d’architecture logicielle basée sur des patrons de sécurité

 Obeid Fadi , Philippe Dhaussy
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
Communication dans un congrès hal-01864805v1

Secure Communication Protocol: Application to Large Number of Distributed Sensors

 Obeid Fadi , Philippe Dhaussy
17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
Communication dans un congrès hal-01864790v1
Page :