Formal Verification of e-Reputation Protocols.

Ali Kassem Pascal Lafourcade Yassine Lakhnech

Published in: FPS (2014)

Keyphrases

formal verification
model checking
cryptographic protocols
model checker
bounded model checking
automated verification
symbolic model checking
temporal logic
trust evaluation
electronic marketplaces
reputation management
program slicing
functional verification
reputation models