Title :
What Can the pi-calculus Tell Us About the Mondex Purse System?
Author :
Jones, Cliff B. ; Pierce, Ken G.
Author_Institution :
Newcastle Univ., Newcastle upon Tyne
Abstract :
This paper looks at the wider system surrounding a "Mondex" electronic purse. It does this from a process-oriented perspective using the pi-calculus. Our model includes the issuing of purses by an authorised bank and the decisions of cardholders to participate in transactions.
Keywords :
bank data processing; electronic money; pi calculus; Mondex electronic purse; authorised bank; pi-calculus; transaction processing; Carbon capture and storage; Certification; Cryptography; Formal specifications; Information security; Information technology; Mechanical factors; Systems engineering and theory;
Conference_Titel :
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location :
Auckland
Print_ISBN :
0-7695-2895-3
DOI :
10.1109/ICECCS.2007.46
