Accountable Trust Decisions: A Semantic Approach

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

3 Downloads (Pure)

Abstract

This paper is concerned with the question of how to obtain the highest possible assurance on trust policy decisions: when accepting an electronic transaction of substantial value or significant implications, we want to be sure that this did not happen because of a bug in a policy checker. Potential bugs include bugs in parsing documents, in signature checking, in checking trust lists, and in the logical evaluation of the policy. This paper focuses on the latter kind of problems and our idea
is to validate the logical steps of the trust decision by another, complementary method. We have implemented this for the Trust Policy Language of the LIGHTest project and we use the completely independently developed FOL theorem prover RPx as a complementary method.
Original languageEnglish
Title of host publicationOpen Identity Summit 2020
EditorsH. Roßnagel, C. H. Schunck, S. A. Mödersheim, D. Hühnlein
PublisherGesellschaft für Informatik e.V.
Publication date2020
Pages71-82
ISBN (Print)978-3-88579-699-2
DOIs
Publication statusPublished - 2020
Event Open Identity Summit 2020 - OID 2020 is publication only.
Duration: 26 May 202027 May 2020
https://oid2020.compute.dtu.dk/

Conference

Conference Open Identity Summit 2020
LocationOID 2020 is publication only.
Period26/05/202027/05/2020
Internet address
SeriesLecture Notes in Informatics
VolumeP305
ISSN1617-5468

Keywords

  • Trust policies
  • Accountability
  • Security
  • Logic
  • Theorem Prover
  • Isabelle
  • eIDAS

Cite this

Schlichtkrull, A., & Mödersheim, S. A. (2020). Accountable Trust Decisions: A Semantic Approach. In H. Roßnagel, C. H. Schunck, S. A. Mödersheim, & D. Hühnlein (Eds.), Open Identity Summit 2020 (pp. 71-82). Gesellschaft für Informatik e.V.. Lecture Notes in Informatics, Vol.. P305 https://doi.org/10.18420/ois2020_06