Formal Verfication of Security Protocol Using Spin Tool

Abstract

Nowadays, security is a big issue related with the network. In order to send sensitive information through the network, we require a mechanism to ensure the information is sent to the intended receiver. Various methods is discussed which is used for verification and model checking method is implemented to construct a model using promela which verifies the properties that satisfies with a cryptographic protocol. This paper involves a brief survey on different methods available for the verification of security protocols and suggests a better method based on qualitative analysis on the survey. Also, we give a verification analysis of NSPK protocol using model checking tool Spin.