Communication Dans Un Congrès
Année : 2014
Frédéric Dadeau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01089682
Soumis le : mardi 2 décembre 2014-10:27:36
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : hal-01089682 , version 1
Citer
Ghazi Maatoug, Frédéric Dadeau, Michael Rusinowitch. Model-Based Vulnerability Testing of Payment Protocol Implementations. HotSpot'14 - 2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014, Apr 2014, Grenoble, France. ⟨hal-01089682⟩
Collections
115
Consultations
0
Téléchargements