Formal models and techniques for analyzing security protocols /

Afficher d'autres versions (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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: IOS Press
Autres auteurs: Cortier, Véronique, Kremer, Steve
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam ; Da Washington, DC : IOS Press, ©2011.
Collection:Cryptology and information security series ; v. 5.
Sujets:
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
Accès en ligne:Texto completo

Internet

Texto completo

Items no disponibles

Informations d'exemplaires de

Documents similaires