Formal analysis techniques for gossiping protocols.

Rena Bakhshi François Bonnet Wan J. Fokkink Boudewijn R. Haverkort

Published in: ACM SIGOPS Oper. Syst. Rev. (2007)

Keyphrases

formal analysis
payment protocol
formal methods
agent model
security protocols
cryptographic protocols
ban logic
database
information systems