Model checking electronic commerce protocols (1996)

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