Design and verification of a secure electronic auction protocol

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 1998, Pages 204-210

  Subramanian, Srividhya ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; DATA COMMUNICATION SYSTEMS; ELECTRONIC COMMERCE; FORMAL LOGIC; SECURITY OF DATA;

ELECTRONIC AUCTION PROTOCOL;

NETWORK PROTOCOLS;

EID: 0032319594     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)