Formal Verification of the Horn-Preneel Micropayment Protocol.

Kazuhiro Ogata Kokichi Futatsugi

Published in: VMCAI (2003)

Keyphrases

formal verification
coloured petri nets
model checker
model checking
cryptographic protocols
bounded model checking
symbolic model checking
automated verification
program slicing
np hard
temporal logic
artificial intelligence
reinforcement learning
wireless sensor networks
horn theories
horn logic