@inproceedings {260558,
	author = {Randall W. Lichota and Grace L. Hammonds and Stephen H. Brackin},
	title = {Verifying Cryptographic Protocols for Electronic Commerce},
	booktitle = {2nd USENIX Workshop on Electronic Commerce (EC 96)},
	year = {1996},
	address = {Oakland, CA},
	url = {https://www.usenix.org/conference/2nd-usenix-workshop-electronic-commerce/verifying-cryptographic-protocols-electronic},
	publisher = {USENIX Association},
	month = nov
}
