Automated Verification of Security Protocols and Services - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Automated Verification of Security Protocols and Services

Not file

Dates and versions

hal-01090000 , version 1 (02-12-2014)

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⟩
101 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More