Verification and Electronic Commerce

Citation: Marc Spielmann, "Verification of Relational Transducers for Electronic Commerce". In Proceedings of 19th ACM Symposium on Principles of Database Systems (PODS 2000), ACM Press, 2000.
Summary: An investigation into the verifiability of transaction protocols used in electronic commerce. A class of relational transducers based on ASMs are introduced and shown to be verifiable.
Subjects: Verification
Download: From the author's web page in PostScript.