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 publicationComputer Network Security - Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, Proceedings
Pages99-114
Number of pages16
DOIs
StatePublished - Dec 1 2007
Event4th International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2007 - St. Petersburg, Russian Federation
Duration: Sep 13 2007Sep 15 2007

Publication series

NameCommunications in Computer and Information Science
Volume1
ISSN (Print)1865-0929

Other

Other4th International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2007
CountryRussian Federation
CitySt. Petersburg
Period9/13/079/15/07

Keywords

  • Access control
  • delegation
  • modal logic
  • retail payment systems
  • trust

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Fingerprint Dive into the research topics of 'Reasoning about delegation and Account access in retail payment systems'. Together they form a unique fingerprint.

  • Cite this

    Chin, S. K., & Older, S. (2007). Reasoning about delegation and Account access in retail payment systems. In Computer Network Security - Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, Proceedings (pp. 99-114). (Communications in Computer and Information Science; Vol. 1). https://doi.org/10.1007/978-3-540-73986-9_8