A Scenario-Based Protocol Checker for Public-Key Authentication Scheme

スポンサーリンク

概要

• 論文の詳細を見る

• Security protocol provides communication security for the internet. One of the important features of it is authentication with key exchange. Its correctness is a requirement of the whole of the communication security. In this paper, we introduce three attack models realized as their attack scenarios, and provide an authentication-protocol checker for applying three attack-scenarios based on the models. We also utilize it to check two popular security protocols: Secure SHell (SSH) and Secure Socket Layer/Transport Layer Security (SSL/TLS).

• 2009-06-01

著者

• Saito Takamichi

  Meiji University

関連論文

• A Scenario-Based Protocol Checker for Public-Key Authentication Scheme
• Authentication Binding between SSL/TLS and HTTP

スポンサーリンク