Formal Analysis of E-Commerce Protocols.

Mauricio Papa Oliver Bremer John Hale Sujeet Shenoi

Published in: ISADS (2001)

Keyphrases

formal analysis
payment protocol
electronic commerce
agent model
formal methods
ban logic
business models
case study
knowledge based systems
security protocols
secure electronic
machine learning
artificial intelligence
authentication protocol