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

Amjad Gawanmeh Sofiène Tahar Leila Jemni Ben Ayed

Published in: LCN (2008)

Keyphrases

group membership
news articles
key distribution
event recognition
image matching
event detection
affine invariant
security protocols