Automated validation of DNSSEC

Abstract

Nowadays, the usage of Internet and network-based services has become common. Some of the services are very critical and require robust security to avoid intolerable consequences. As we all know, to provide such services, a robust cryptographic technique-based security protocol must be used. The designing of such a secure protocol is always a challenging task. The complexity of security protocols is getting high day by day, due to their functionalities and type of services that they provide to protect the resources from unauthorized accesses. As the complexity grows, it becomes very difficult and tedious task to verify its correctness manually. Therefore, we need some automatic mechanism to verify and validate the correctness of a given security protocol. The problem that we addressed in this paper is validation of the security protocol DNSSEC using automated verification tool called AVISPA.