@inproceedings{86ba157318e044cbbcbcce30527a83c1,
title = "Reasoning about delegation and account access in retail payment systems",
abstract = "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.",
keywords = "Access control, Delegation, Modal logic, Retail payment systems, Trust",
author = "Chin, {Shiu Kai} and Susan Older",
year = "2013",
doi = "10.1007/978-3-540-73986-9-8",
language = "English (US)",
isbn = "3540739858",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
number = "PART II",
pages = "99--114",
booktitle = "HCI International 2013 - Posters' Extended Abstracts - International Conference, HCI International 2013, Proceedings",
edition = "PART II",
note = "15th International Conference on Human-Computer Interaction, HCI International 2013 ; Conference date: 21-07-2013 Through 26-07-2013",
}