AN AGENT BASED APPROACH TO MODELING THE SECURE ELECTRONIC TRANSACTION PROTOCOL
Dimitrios Kleftouris, N Maragos, C Ziogou · 2003
Abstract: Secure Electronic Transaction (SET) is an open protocol, which has the potential to emerge as a powerful tool in securing of electronic transactions. It is of primary importance to produce formal specifications that describe precisely the functional and temporal properties of the protocol leading to validation and verification prior to committing to implementation. The primary objective of this work is the construction of an agent based model for the operation of the SET protocol. A theoretical framework for the agents is presented and an architectural diagram based on them is constructed. Finally, formal specifications for every agent participating in the model are developed. 1.