Cargando…

The modelling and analysis of security protocols: the CSP approach

Detalles Bibliográficos
Autores principales: Ryan, Peter, Schneider, S A
Lenguaje:eng
Publicado: Addison-Wesley 2001
Materias:
Acceso en línea:http://cds.cern.ch/record/1505729