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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Roger M. Needham and Michael D. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12): 993–999, 1978.
Michael Burrows, Martin Abadi, and Roger M. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1): 1836, 1990.
Gavin Lowe. An attack on the Needham-Schroeder public-key authentication protocol. Information Processing Letters, 56(3): 131–133, 1995.
P. Mockapetris. Domain Names: Concepts and Facilities. Request for Comments 1034, Nov. 1987.
P. Mockapetris and K. Dunlop. Development of the Domain Name System. In Proc. of ACM SIGCOMM, Stanford, CA, 1988.
R. Arends, R. Austein, M. Larson, D. Massey, and S. Rose, Dns security introduction and requirements, RFC 4033, Internet Engineering Task Force, 1, March, 2005.
R. Arends, R. Austein, M. Larson, D. Massey, and S. Rose, Resource records for the dns security extensions, RFC 4034, Internet Engineering Task Force, 1, March, 2005.
Kollapalli Ramesh Babu, Vineet Padmanabhan, Wilson Naik Bhukya: Reasoning about DNSSEC. MIWAI 2011: 75–86.
The AVISPA team, AVISPA v1.1 User Manual, 2006.
A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, P. C. Heam, O. Kouchnarenko, J. Mantovani, S. Modersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Vigan‘o, and L. Vigneron. The avispa tool for the automated validation of internet security protocols and applications, pp. 281–285, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005.
The AVISPA team, HLPSL Tutorial, 2006.
Chevalier, Y., Compagna, L., Cuellar, J., Hankes Drielsma, P., Mantovani, J., Mdersheim, S., Vigneron, L.: A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols. In: Proc. SAPS 2004. Austrian Computer Society, 2004.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Ramesh Babu, K., Padmanabhan, V. (2018). Automated Validation of DNSSEC. In: Pattnaik, P., Rautaray, S., Das, H., Nayak, J. (eds) Progress in Computing, Analytics and Networking. Advances in Intelligent Systems and Computing, vol 710. Springer, Singapore. https://doi.org/10.1007/978-981-10-7871-2_6
Download citation
DOI: https://doi.org/10.1007/978-981-10-7871-2_6
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-7870-5
Online ISBN: 978-981-10-7871-2
eBook Packages: EngineeringEngineering (R0)