Accountable Banking Transactions
| dc.contributor.author | Mödersheim, Sebastian | |
| dc.contributor.author | Chen, Siyu | |
| dc.contributor.editor | Roßnagel, Heiko | |
| dc.contributor.editor | Schunck, Christian H. | |
| dc.contributor.editor | Sousa, Filipe | |
| dc.date.accessioned | 2024-06-07T08:59:58Z | |
| dc.date.available | 2024-06-07T08:59:58Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | This paper shows how to apply the idea of Three branches of Accountability by Mödersheim and Cuellar to make banking transactions accountable, i.e., neither can the customer later deny to have placed the order, nor can the bank execute a transaction that the customer did not order. This is done in a general way that deliberately gives freedom to instantiate the system in several different ways, as long as it follows a few basic principles, and we show accountability holds in every instance. | en |
| dc.identifier.doi | 10.18420/OID2024_04 | |
| dc.identifier.isbn | 978-3-88579-744-9 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/44103 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Open Identity Summit 2024 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-350 | |
| dc.subject | Accountability | |
| dc.subject | Formal Verification | |
| dc.subject | Security Protocols | |
| dc.title | Accountable Banking Transactions | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 60 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 51 | |
| gi.conference.date | 20.-21. June 2024 | |
| gi.conference.location | Porto, Portugal | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1