The Modelling and Analysis of Security Protocols: the CSP Approach /

Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. These protocols are vulnerable to a host of subtle attacks, so designing protocols to be impervious to...

Descripción completa

Detalles Bibliográficos
Autores principales: Ryan, P. (Autor), Schneider, S. (Autor)
Autor Corporativo: Safari, an O'Reilly Media Company
Otros Autores: Schneider, S. A. (Steve A.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: [Place of publication not identified] : Pearson Business, 2000.
Edición:1st edition.
Temas:
Computer networks > Security measures.
Cryptography.
Computers > Access control.
Computer security > Mathematical models.
Computer software > Verification.
Computer network protocols.
Computer programs > Verification.
Réseaux d'ordinateurs > Sécurité > Mesures.
Cryptographie.
Ordinateurs > Accès > Contrôle.
Sécurité informatique > Modèles mathématiques.
Logiciels > Vérification.
Protocoles de réseaux d'ordinateurs.
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)

Ejemplares similares

Ejemplares similares