Conference Papers
Year :
Michaël Rusinowitch : Connect in order to contact the contributor
https://inria.hal.science/hal-01090000
Submitted on : Tuesday, December 2, 2014-4:59:38 PM
Last modification on : Thursday, April 13, 2023-9:26:12 AM
Dates and versions
Identifiers
- HAL Id : hal-01090000 , version 1
Cite
Michaël Rusinowitch. Automated Verification of Security Protocols and Services. Third International Seminar on Program Verification, Automated Debugging and Symbolic Computation, Tudor Jebelean; Wei Li ; Dongming Wang, Jul 2014, Vienna, Austria. ⟨hal-01090000⟩
Collections
101
View
0
Download