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

Communication security depends on security protocol such like secure shell or secure socket layer. One of the important features is authentication. Its correctness is strongly related with the whole of communication security. In this paper, we introduce three types of attack-models that can be actualized as their attack-scenarios, and provide an authentication protocol checker to apply the three types of the attack-scenarios. We also show some problems in security protocols.