14th Annual Computer Security Applications Conference
December 7-11, 1998
Phoenix, Arizona


Electronic Submission Protocol Based on Temporal Accountability

Michiharu Kudo

Electronic commerce is becoming increasingly common on the Internet. However, there are various possible attacks on temporal properties such as temporal records of payment times and declarations of the closing times for electronic submissions. We explain defense measures that use a trusted third party to provide temporal accountability. We propose a secure electronic submission protocol as a typical time-sensitive application and a temporal accountability logic, which is an extension of Kailar's work. We analyze the proposed protocol by applying our temporal accountability logic.