Formal Analysis of a Fair Payment Protocol.

Jan Cederquist Muhammad Torabi Dashti

Published in: Formal Aspects in Security and Trust (2004)

Keyphrases

formal analysis
payment protocol
formal methods
ban logic
artificial intelligence
agent model
data mining
knowledge base
expert systems