Verifying Cryptographic Protocols for Electronic Commerce

Submitted by arnold on September 24, 2020 - 2:45 pm
TitleVerifying Cryptographic Protocols for Electronic Commerce
Publication TypeConference Paper
Year of Publication1996
AuthorsLichota RW, Hammonds GL, Brackin SH
Conference Name2nd USENIX Workshop on Electronic Commerce (EC 96)
Date Published11/1996
PublisherUSENIX Association
Conference LocationOakland, CA
URLhttps://www.usenix.org/conference/2nd-usenix-workshop-electronic-commerce/verifying-cryptographic-protocols-electronic