Rank Functions Based Inference System for Group Key Management Protocols Verification

Amjad Gawanmeh, Adel Bouhoula, Sofiène Tahar. Rank Functions Based Inference System for Group Key Management Protocols Verification. I. J. Network Security, 8(2):187-198, 2009. [doi]

Abstract

Abstract is missing.