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)
Date PublishedApril
Conference LocationCiudad Real, Spain

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: