Reasoning about delegation and account access in retail payment systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationCommunications in Computer and Information Science
Pages99-114
Number of pages16
Volume374
EditionPART II
DOIs
StatePublished - 2013
Event15th International Conference on Human-Computer Interaction, HCI International 2013 - Las Vegas, NV, United States
Duration: Jul 21 2013Jul 26 2013

Publication series

NameCommunications in Computer and Information Science
NumberPART II
Volume374
ISSN (Print)18650929

Other

Other15th International Conference on Human-Computer Interaction, HCI International 2013
CountryUnited States
CityLas Vegas, NV
Period7/21/137/26/13

Fingerprint

Electronic commerce
Access control
Internet

Keywords

  • Access control
  • Delegation
  • Modal logic
  • Retail payment systems
  • Trust

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Chin, S. K., & Older, S. B. (2013). Reasoning about delegation and account access in retail payment systems. In Communications in Computer and Information Science (PART II ed., Vol. 374, pp. 99-114). (Communications in Computer and Information Science; Vol. 374, No. PART II). https://doi.org/10.1007/978-3-540-73986-9-8

Reasoning about delegation and account access in retail payment systems. / Chin, Shiu Kai; Older, Susan B.

Communications in Computer and Information Science. Vol. 374 PART II. ed. 2013. p. 99-114 (Communications in Computer and Information Science; Vol. 374, No. PART II).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Chin, SK & Older, SB 2013, Reasoning about delegation and account access in retail payment systems. in Communications in Computer and Information Science. PART II edn, vol. 374, Communications in Computer and Information Science, no. PART II, vol. 374, pp. 99-114, 15th International Conference on Human-Computer Interaction, HCI International 2013, Las Vegas, NV, United States, 7/21/13. https://doi.org/10.1007/978-3-540-73986-9-8
Chin SK, Older SB. Reasoning about delegation and account access in retail payment systems. In Communications in Computer and Information Science. PART II ed. Vol. 374. 2013. p. 99-114. (Communications in Computer and Information Science; PART II). https://doi.org/10.1007/978-3-540-73986-9-8
Chin, Shiu Kai ; Older, Susan B. / Reasoning about delegation and account access in retail payment systems. Communications in Computer and Information Science. Vol. 374 PART II. ed. 2013. pp. 99-114 (Communications in Computer and Information Science; PART II).
@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 Older, {Susan B}",
year = "2013",
doi = "10.1007/978-3-540-73986-9-8",
language = "English (US)",
isbn = "3540739858",
volume = "374",
series = "Communications in Computer and Information Science",
number = "PART II",
pages = "99--114",
booktitle = "Communications in Computer and Information Science",
edition = "PART II",

}

TY - GEN

T1 - Reasoning about delegation and account access in retail payment systems

AU - Chin, Shiu Kai

AU - Older, Susan B

PY - 2013

Y1 - 2013

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=84887214330&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84887214330&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-73986-9-8

DO - 10.1007/978-3-540-73986-9-8

M3 - Conference contribution

SN - 3540739858

SN - 9783540739852

VL - 374

T3 - Communications in Computer and Information Science

SP - 99

EP - 114

BT - Communications in Computer and Information Science

ER -