Modelling and analysis of security protocols

Detalhes bibliográficos
Principais autores: Ryan, P, Schneider, S, Goldsmith, M, Lowe, G, Roscoe, B
Formato: Livro
Publicado em: Addison−Wesley 2001