Login | Register

Security Analysis of Multicast/Unicast Router Key Management Protocols


Security Analysis of Multicast/Unicast Router Key Management Protocols

Huang, Yiqi (2017) Security Analysis of Multicast/Unicast Router Key Management Protocols. Masters thesis, Concordia University.

Text (application/pdf)
Thesis_Yiqi Huang.pdf - Accepted Version
Restricted to Repository staff only until 1 January 2020.
Available under License Spectrum Terms of Access.


Key Management Protocols (KMPs) are intended to manage cryptographic keys in a cryptosystem. KMPs have been standardized for Internet Protocol Security (IPsec), and these KMPs have been formally validated for their security properties. In the Internet, routing protocols have different requirements on their KMPs, which are not met by the existing IPsec KMPs, such as IKE, IKEv2, and GDOI. Protocol modeling has been used to analyze the security of the IPsec KMPs. For routing protocols, there are new KMPs proposed by the Keying and Authentication for Routing Protocols (KARP) working group of the Internet Engineering Task Force: RKMP, MRKM, and MaRK. These KMPs are designed to have better applicability for general routing protocols. However, the security of these protocols has not been validated. In this thesis, we have summarized the necessary conditions for security of routing protocols. We have analyzed the security aspects of RKMP, MRKM, and MaRK, by formally validating those protocols using the AVISPA modeling tool. This has shown that these KMPs meet the necessary security requirements.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Huang, Yiqi
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science
Date:4 December 2017
Thesis Supervisor(s):Atwood, J.W.
ID Code:983270
Deposited By: YIQI HUANG
Deposited On:11 Jun 2018 03:39
Last Modified:11 Jun 2018 03:39
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top