Accountable Trust Decisions: A Semantic Approach

Anders Schlichtkrull; Sebastian Alexander Mödersheim

doi:10.18420/ois2020_06

Accountable Trust Decisions: A Semantic Approach

Anders Schlichtkrull, Sebastian Alexander Mödersheim

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

Original language	English
Title of host publication	Open Identity Summit 2020
Editors	H. Roßnagel, C. H. Schunck, S. A. Mödersheim, D. Hühnlein
Publisher	Gesellschaft für Informatik e.V.
Publication date	2020
Pages	71-82
ISBN (Print)	978-3-88579-699-2
DOIs	https://doi.org/10.18420/ois2020_06
Publication status	Published - 2020
Event	Open Identity Summit 2020 - OID 2020 is publication only. Duration: 26 May 2020 → 27 May 2020 https://oid2020.compute.dtu.dk/

Conference

Conference	Open Identity Summit 2020
Location	OID 2020 is publication only.
Period	26/05/2020 → 27/05/2020
Internet address	https://oid2020.compute.dtu.dk/

Series	Lecture Notes in Informatics
Volume	P305
ISSN	1617-5468

Keywords

Trust policies
Accountability
Security
Logic
Theorem Prover
Isabelle
eIDAS

Access to Document

10.18420/ois2020_06

FulltextFinal published version, 244 KB

OpenUrl availability

Full text

Cite this

@inproceedings{7856a47e965e4591bbf779300549ffdd,

title = "Accountable Trust Decisions: A Semantic Approach",

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 ideais 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.",

keywords = "Trust policies, Accountability, Security, Logic, Theorem Prover, Isabelle, eIDAS",

author = "Anders Schlichtkrull and M{\"o}dersheim, {Sebastian Alexander}",

year = "2020",

doi = "10.18420/ois2020_06",

language = "English",

isbn = "978-3-88579-699-2",

series = "Lecture Notes in Informatics",

publisher = "Gesellschaft f{\"u}r Informatik e.V.",

pages = "71--82",

editor = "H. Ro{\ss}nagel and Schunck, {C. H.} and M{\"o}dersheim, {S. A. } and D. H{\"u}hnlein",

booktitle = "Open Identity Summit 2020",

note = "Open Identity Summit 2020, OID2020 ; Conference date: 26-05-2020 Through 27-05-2020",

url = "https://oid2020.compute.dtu.dk/",

}

Accountable Trust Decisions: A Semantic Approach. / Schlichtkrull, Anders; Mödersheim, Sebastian Alexander.
Open Identity Summit 2020. ed. / H. Roßnagel; C. H. Schunck; S. A. Mödersheim; D. Hühnlein. Gesellschaft für Informatik e.V., 2020. p. 71-82 (Lecture Notes in Informatics, Vol. P305).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Accountable Trust Decisions: A Semantic Approach

AU - Schlichtkrull, Anders

AU - Mödersheim, Sebastian Alexander

PY - 2020

Y1 - 2020

N2 - 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 ideais 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.

AB - 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 ideais 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.

KW - Trust policies

KW - Accountability

KW - Security

KW - Logic

KW - Theorem Prover

KW - Isabelle

KW - eIDAS

U2 - 10.18420/ois2020_06

DO - 10.18420/ois2020_06

M3 - Article in proceedings

SN - 978-3-88579-699-2

T3 - Lecture Notes in Informatics

SP - 71

EP - 82

BT - Open Identity Summit 2020

A2 - Roßnagel, H.

A2 - Schunck, C. H.

A2 - Mödersheim, S. A.

A2 - Hühnlein, D.

PB - Gesellschaft für Informatik e.V.

T2 - Open Identity Summit 2020

Y2 - 26 May 2020 through 27 May 2020

ER -

Accountable Trust Decisions: A Semantic Approach

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this