Amjad Gawanmeh Sofiène Tahar Rank Theorems for Forward Secrecy in Group Key Management Protocols. 18-23 2007 conf/aina/2007w1 AINA Workshops (1) http://doi.ieeecomputersociety.org/10.1109/AINAW.2007.304 db/conf/aina/ainaw2007-1.html#GawanmehT07