Formal verification of security protocol implementations: a survey
Matteo Avalle, Alfredo Pironti, Riccardo SistoVolume:
26
Language:
english
DOI:
10.1007/s00165-012-0269-9
Date:
January, 2014
File:
PDF, 361 KB
english, 2014