Conference Papers
Year : 2014
Frédéric Dadeau : Connect in order to contact the contributor
https://inria.hal.science/hal-01089682
Submitted on : Tuesday, December 2, 2014-10:27:36 AM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Dates and versions
Identifiers
- HAL Id : hal-01089682 , version 1
Cite
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
105
View
0
Download