TY - GEN
T1 - Reasoning about delegation and Account access in retail payment systems
AU - Chin, Shiu Kai
AU - Older, Susan
PY - 2007
Y1 - 2007
N2 - Delegation and trust are essential to the smooth operation of large, geographically distributed systems, such as the US electronic retail payment system. This system supports billions of electronic transactions- from routine banking and store purchases to electronic commerce on the Internet. Because such systems provide the electronic fabric of our networked information society, it is crucial to understand rigorously and precisely the basis for the delegation and trust relationships in them. In this paper, we use a modal logic for access control to analyze these relationships in the context of checks (and their electronic equivalents) as payment instruments. While not free from risk, the retail payment system effectively balances trust, delegation, and risk on billions of transactions. Our logic allows us to explore with rigor the details of trust, delegation, and risk in these transactions.
AB - Delegation and trust are essential to the smooth operation of large, geographically distributed systems, such as the US electronic retail payment system. This system supports billions of electronic transactions- from routine banking and store purchases to electronic commerce on the Internet. Because such systems provide the electronic fabric of our networked information society, it is crucial to understand rigorously and precisely the basis for the delegation and trust relationships in them. In this paper, we use a modal logic for access control to analyze these relationships in the context of checks (and their electronic equivalents) as payment instruments. While not free from risk, the retail payment system effectively balances trust, delegation, and risk on billions of transactions. Our logic allows us to explore with rigor the details of trust, delegation, and risk in these transactions.
KW - Access control
KW - delegation
KW - modal logic
KW - retail payment systems
KW - trust
UR - http://www.scopus.com/inward/record.url?scp=84885004607&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885004607&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-73986-9_8
DO - 10.1007/978-3-540-73986-9_8
M3 - Conference contribution
AN - SCOPUS:84885004607
SN - 9783540739852
T3 - Communications in Computer and Information Science
SP - 99
EP - 114
BT - Computer Network Security - Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, Proceedings
T2 - 4th International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2007
Y2 - 13 September 2007 through 15 September 2007
ER -