Formally Testing Fail-Safety of Electronic Purse Protocols.

Jan Jürjens Guido Wimmel

Published in: ASE (2001)

Keyphrases

test cases
real time
electronic commerce
multi party
business transactions
neural network
mobile devices
software engineering
distributed systems
privacy preserving
application level
test generation
communication protocols
payment systems