Skip to Main content Skip to Navigation
New interface
Conference papers

Model-Based Vulnerability Testing of Payment Protocol Implementations

Ghazi Maatoug 1 Frédéric Dadeau 1, 2 Michael Rusinowitch 1 
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Tuesday, December 2, 2014 - 10:27:36 AM
Last modification on : Friday, January 21, 2022 - 3:09:07 AM


  • HAL Id : hal-01089682, version 1


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⟩



Record views