A Formal Specification of Requirements for Payment Transactions in the SET Protocol.

Catherine A. Meadows Paul F. Syverson

Published in: Financial Cryptography (1998)

Keyphrases

formal specification
multi agent
expert systems
data warehouse
model checking
formal methods
mobile payment
database transactions