Bounding Messages for Free in Security Protocols
Abstract
no abstract
Conference Papers
Year : 2007
Julien Tesson : Connect in order to contact the contributor
https://hal.science/hal-01195943
Submitted on : Tuesday, September 8, 2015-5:14:32 PM
Last modification on : Thursday, March 7, 2024-12:32:05 PM
Dates and versions
Identifiers
- HAL Id : hal-01195943 , version 1
Cite
Myrto Arapinis, Marie Duflot. Bounding Messages for Free in Security Protocols. FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, 2007, Unknown, Unknown Region. pp.376--387. ⟨hal-01195943⟩
50
View
0
Download