
[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - An executable specification language for planning attacks to security protocols
Aiello, L.C., Massacci, F.Année:
2000
Langue:
english
DOI:
10.1109/CSFW.2000.856928
Fichier:
PDF, 414 KB
english, 2000