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

Amjad Gawanmeh, Sofine Tahar, Leila Jemni Ben Ayed

Browse the full LCN paper archive.