Logo des Repositoriums
 
Konferenzbeitrag

Accountable Trust Decisions: A Semantic Approach

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2020

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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 RP_X as a complementary method.

Beschreibung

Schlichtkrull, Anders; Mödersheim, Sebastian (2020): Accountable Trust Decisions: A Semantic Approach. Open Identity Summit 2020. DOI: 10.18420/ois2020_06. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-699-2. pp. 71-82. Regular Research Papers. Copenhagen, Denmark. 26.-27. May 2020

Zitierform

Tags