DocumentCode
3108256
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
fYear
2007
fDate
11-14 July 2007
Firstpage
300
Lastpage
306
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location
Auckland
Print_ISBN
0-7695-2895-3
Type
conf
DOI
10.1109/ICECCS.2007.46
Filename
4276327
Link To Document