Model Checking Electronic Commerce Protocols (1996)

by N Heintze, J Tygar, J Wing, H Wong
Venue:In Proceedings of the 2nd USENIX Workshop in Electronic Commerce