Model Checking Electronic Commerce Protocols

Submitted by arnold on September 24, 2020 - 2:50 pm
TitleModel Checking Electronic Commerce Protocols
Publication TypeConference Paper
Year of Publication1996
AuthorsHeintze N, Tygar J.D., Wing J, Wong H.C
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/model-checking-electronic-commerce-protocols