Anonymous Atomic Transactions
.
1996. Anonymous Atomic Transactions. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Payment Method Negotiation Service: Framework and Programming Interface
.
1996. Payment Method Negotiation Service: Framework and Programming Interface. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Generic Payment Services: Framework and Functional Specification
.
1996. Generic Payment Services: Framework and Functional Specification. 2nd USENIX Workshop on Electronic Commerce (EC 96).
{UPAI}: A Universal Payment Application Interface
.
1996. {UPAI}: A Universal Payment Application Interface. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Analysis of the {SSL} 3.0 Protocol
.
1996. Analysis of the {SSL} 3.0 Protocol. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Fast, Automatic Checking of Security Protocols
.
1996. Fast, Automatic Checking of Security Protocols. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Verifying Cryptographic Protocols for Electronic Commerce
.
1996. Verifying Cryptographic Protocols for Electronic Commerce. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Digital Currency and Public Networks: So What If It Is Secure, Is It Money?
.
1996. Digital Currency and Public Networks: So What If It Is Secure, Is It Money? 2nd USENIX Workshop on Electronic Commerce (EC 96).
Modeling the Risks and Costs of Digitally Signed Certificates in Electronic Commerce
.
1996. Modeling the Risks and Costs of Digitally Signed Certificates in Electronic Commerce. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Smart Cards in Hostile Environments
.
1996. Smart Cards in Hostile Environments. 2nd USENIX Workshop on Electronic Commerce (EC 96).