La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

A Scenario-Based Protocol Checker for Public-Key Authentication Scheme Un vérificateur de protocole basé sur des scénarios pour le schéma d'authentification par clé publique

Takamichi SAITO

  • Vues en texte intégral

    0

  • Citer

Résumé:

Le protocole de sécurité assure la sécurité des communications sur Internet. L'une de ses caractéristiques importantes est l'authentification avec échange de clés. Son exactitude est une exigence de l'ensemble de la sécurité des communications. Dans cet article, nous présentons trois modèles d'attaque réalisés comme leurs scénarios d'attaque, et fournissons un vérificateur de protocole d'authentification pour appliquer trois scénarios d'attaque basés sur les modèles. Nous l'utilisons également pour vérifier deux protocoles de sécurité populaires : Secure SHell (SSH) et Secure Socket Layer/Transport Layer Security (SSL/TLS).

Publication
IEICE TRANSACTIONS on Information Vol.E92-D No.6 pp.1268-1279
Date de publication
2009/06/01
Publicisé
ISSN en ligne
1745-1361
DOI
10.1587/transinf.E92.D.1268
Type de manuscrit
PAPER
Catégories
Sécurité des informations sur les applications

Auteurs

Mots-clés

Table des matières