Abstract
Payment transactions in the SET (Secure Electronic Transaction) protocol are described. Requirements for SET are discussed and formally represented in a version of NPATRL (the NRL Protocol Analyzer Temporal Requirements Language). NPATRL is language for expressing generic requirements, heretofore applied to key distribution or key agreement protocols. Transaction vectors and other new constructs added to NPATRL for reasoning about SET payment transactions are described along with properties of their representation.
Cite
CITATION STYLE
Meadows, C., & Syverson, P. (1998). A formal specification of requirements for payment transactions in the SET protocol. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1465, pp. 122–140). Springer Verlag. https://doi.org/10.1007/BFb0055477
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
