Cryptographic Protocols Analysis in Event B.

Nazim Benaïssa Dominique Méry

Published in: Ershov Memorial Conference (2009)

Keyphrases

cryptographic protocols
event detection
database systems
image compression
cost effective
end to end