Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed. Event-B based invariant checking of secrecy in group key protocols. In LCN 2008, The 33rd IEEE Conference on Local Computer Networks, The Conference on Leading Edge and Practical Computer Networking, Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008, Proceedings. pages 950-957, IEEE, 2008. [doi]
Abstract is missing.