Amjad Gawanmeh Adel Bouhoula Sofiène Tahar Rank Functions Based Inference System for Group Key Management Protocols Verification. 187-198 2009 8 I. J. Network Security 2 http://ijns.femto.com.tw/contents/ijns-v8-n2/ijns-2009-v8-n2-p187-198.pdf db/journals/ijnsec/ijnsec8.html#GawanmehBT09