Login | Register

Rank Functions Based Inference System for Group Key Management Protocols Verification

Title:

Rank Functions Based Inference System for Group Key Management Protocols Verification

Gawanmeh, Amjad, Bouhoula, A. and Tahar, Sofiène (2009) Rank Functions Based Inference System for Group Key Management Protocols Verification. International Journal of Network Security, 8 (2). pp. 187-198. ISSN 1816-3548

[img]
Preview
Text (application/pdf)
IJNS-2009.pdf - Accepted Version
200kB

Official URL: http://ijns.femto.com.tw/contents/ijns-v8-n2/ijns-...

Abstract

Design and veri¯cation of cryptographic protocols has been under investigation for quite sometime. However, most of the attention has been paid for two parties protocols. In group key management and distribution protocols, keys are computed dynamically through cooperation of all protocol participants. Therefore regular approaches for two parties protocols veri¯cation cannot be applied on group key protocols. In this paper, we present a framework for formally verifying of group key management and distribution protocols based on the concept of rank functions. We de¯ne a class of rank functions that satisfy speci¯c requirements and prove the soundness of these rank functions. Based on the set of sound rank functions, we provide a sound and complete inference system to detect attacks in group key management protocols. The inference system provides an elegant and natural proof strategy for such protocols compared to existing approaches. The above formalizations and rank theorems were implemented using the PVS theorem prover. We illustrate our approach by applying the inference system on a generic Di±e-Hellman group protocol and prove it in PVS.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Article
Refereed:Yes
Authors:Gawanmeh, Amjad and Bouhoula, A. and Tahar, Sofiène
Journal or Publication:International Journal of Network Security
Date:1 March 2009
ID Code:977366
Deposited By: DANIELLE DENNIE
Deposited On:14 Jun 2013 14:12
Last Modified:18 Jan 2018 17:44
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