@inproceedings{364d6e2fd19d4891b70ccb188fea43eb,
title = "Accountable Banking Transactions",
abstract = "This paper shows how to apply the idea of Three branches of Accountability by M{\"o}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.",
keywords = "Accountability, Formal Verification, Security Protocols",
author = "Sebastian M{\"o}dersheim and Siyu Chen",
year = "2024",
doi = "10.18420/OID2024\_04",
language = "English",
volume = "P-350",
series = "Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)",
publisher = "Gesellschaft fur Informatik (GI)",
pages = "51--60",
booktitle = "Proceedings of the Open Identity Summit 2024",
address = "Germany",
note = "Open Identity Summit 2024, OID 2024 ; Conference date: 20-06-2024 Through 21-06-2024",
}