Verification of Money Atomicity in Digital Cash Based Payment System.

Girish Chandra Divakar Yadav

Published in: ICISS (2012)

Keyphrases

model checking
electronic commerce
face verification
learning algorithm
digital content
digital media
transaction management
multidatabase systems
verification method
search engine
formal methods
circuit design
formal verification