Verification of Authentication Protocols using SDL-method

TitleVerification of Authentication Protocols using SDL-method
Publication TypeConference Paper
Year of Publication2002
AuthorsJ. Lopez, J. J. Ortega, and J. M. Troya
Conference NameFirst International Workshop on Security in Information Systems (SIS’02)
Pagination61-71
Date PublishedApril
Conference LocationCiudad Real, Spain
Abstract

Authentication between protocol agents is widely studied in the cryptographic protocol analysis area. It is essential in a virtual environment to rely on protocol parties’ identity. In the academic literature there are many protocols that provide the authentication property. We present in this paper a new mechanism to verify authentication using SDL, general purpose specification language. We have defined a generic schema in SDL that allow us to specify a security system and check system behavior when a malicious agent ( the intruder ) is present. We have used the EKE authentication protocol to illustrate how the mechanism works.

Citation KeyJavierLopez2002a
Paper File: 
https://www.nics.uma.es/sites/default/files/papers/JavierLopez2002a.pdf