Formal models and techniques for analyzing security protocols /

Mostrar otras versiones (1)

Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: IOS Press
Otros Autores: Cortier, Véronique, Kremer, Steve
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Da Washington, DC : IOS Press, ©2011.
Colección:Cryptology and information security series ; v. 5.
Temas:
Computer security.
Computers > Access control.
Computer networks > Security measures.
Electronic information resources > Access control.
Sécurité informatique.
Ordinateurs > Accès > Contrôle.
Réseaux d'ordinateurs > Sécurité > Mesures.
Sources d'information électroniques > Accès > Contrôle.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security > General.
Computer networks > Security measures
Computer security
Computers > Access control
Electronic information resources > Access control
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares