Formal Analysis of Fairness in E-Payment Protocol Based on Strand Space.

Hong Wang Jianping Ma Bo Chen

Published in: WISM (2009)

Keyphrases

formal analysis
ban logic
payment protocol
agent model
formal methods
databases
space time
low dimensional
information systems
search space
fair exchange