Event-B based invariant checking of secrecy in group key protocols.

Amjad Gawanmeh Sofiène Tahar Leila Jemni Ben Ayed Event-B based invariant checking of secrecy in group key protocols. 950-957 2008 LCN http://dx.doi.org/10.1109/LCN.2008.4664308 conf/lcn/2008 db/conf/lcn/lcn2008.html#GawanmehTA08