TPL: A Trust Policy Language

Sebastian Mödersheim, Anders Schlichtkrull, Georg Wagner, Stefan More, Lukas Alber

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Abstract

We present TPL, a Trust Policy Language and Trust Management System. It is built around the qualities of modularity, declarativity, expressive power, formal precision, and accountability. The modularity means that TPL is built in a way that makes it easily adaptable to different types of transactions and signatures. From the aspect of declarativity and expressive power, the language is built such that policies are always formulated in a positive form and the language is Turing complete. The formal precision and accountability of the language eliminates ambiguity and allows us to achieve verified evaluations. The idea is that for any decision, the system can generate a proof that can then be checked by a prover that is formally verified, in Isabelle/HOL, to be sound with respect to a first-order logic semantics.
Originalspracheenglisch
TitelTrust Management XIII
Untertitel13th IFIP WG 11.11 International Conference, IFIPTM 2019
ErscheinungsortCopenhagen, Denmark
Herausgeber (Verlag)Springer
Seiten209-223
BandTrust Management XIII
Auflage1
ISBN (elektronisch)978-3-030-33716-2
ISBN (Print)978-3-030-33715-5
DOIs
PublikationsstatusVeröffentlicht - 19 Jul 2019
VeranstaltungIFIPTM 2019: The 13th IFIP International Conference on Trust Management - Technical University of Denmark (DTU), Copenhagen, Dänemark
Dauer: 17 Jul 201919 Jul 2019
http://ifiptm2019.compute.dtu.dk/IFIPTM19/

Konferenz

KonferenzIFIPTM 2019
KurztitelIFIPTM 2019
LandDänemark
OrtCopenhagen
Zeitraum17/07/1919/07/19
Internetadresse

Fingerprint

Semantics
Acoustic waves

Dies zitieren

Mödersheim, S., Schlichtkrull, A., Wagner, G., More, S., & Alber, L. (2019). TPL: A Trust Policy Language. in Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019 (1 Aufl., Band Trust Management XIII, S. 209-223). Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-030-33716-2_16

TPL: A Trust Policy Language. / Mödersheim, Sebastian; Schlichtkrull, Anders; Wagner, Georg; More, Stefan; Alber, Lukas.

Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019. Band Trust Management XIII 1. Aufl. Copenhagen, Denmark : Springer, 2019. S. 209-223.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Mödersheim, S, Schlichtkrull, A, Wagner, G, More, S & Alber, L 2019, TPL: A Trust Policy Language. in Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019. 1 Aufl., Bd. Trust Management XIII, Springer, Copenhagen, Denmark, S. 209-223, Copenhagen, Dänemark, 17/07/19. https://doi.org/10.1007/978-3-030-33716-2_16
Mödersheim S, Schlichtkrull A, Wagner G, More S, Alber L. TPL: A Trust Policy Language. in Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019. 1 Aufl. Band Trust Management XIII. Copenhagen, Denmark: Springer. 2019. S. 209-223 https://doi.org/10.1007/978-3-030-33716-2_16
Mödersheim, Sebastian ; Schlichtkrull, Anders ; Wagner, Georg ; More, Stefan ; Alber, Lukas. / TPL: A Trust Policy Language. Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019. Band Trust Management XIII 1. Aufl. Copenhagen, Denmark : Springer, 2019. S. 209-223
@inproceedings{8cda7b5c783048aba75b7063747d8e4c,
title = "TPL: A Trust Policy Language",
abstract = "We present TPL, a Trust Policy Language and Trust Management System. It is built around the qualities of modularity, declarativity, expressive power, formal precision, and accountability. The modularity means that TPL is built in a way that makes it easily adaptable to different types of transactions and signatures. From the aspect of declarativity and expressive power, the language is built such that policies are always formulated in a positive form and the language is Turing complete. The formal precision and accountability of the language eliminates ambiguity and allows us to achieve verified evaluations. The idea is that for any decision, the system can generate a proof that can then be checked by a prover that is formally verified, in Isabelle/HOL, to be sound with respect to a first-order logic semantics.",
author = "Sebastian M{\"o}dersheim and Anders Schlichtkrull and Georg Wagner and Stefan More and Lukas Alber",
year = "2019",
month = "7",
day = "19",
doi = "10.1007/978-3-030-33716-2_16",
language = "English",
isbn = "978-3-030-33715-5",
volume = "Trust Management XIII",
pages = "209--223",
booktitle = "Trust Management XIII",
publisher = "Springer",
edition = "1",

}

TY - GEN

T1 - TPL: A Trust Policy Language

AU - Mödersheim, Sebastian

AU - Schlichtkrull, Anders

AU - Wagner, Georg

AU - More, Stefan

AU - Alber, Lukas

PY - 2019/7/19

Y1 - 2019/7/19

N2 - We present TPL, a Trust Policy Language and Trust Management System. It is built around the qualities of modularity, declarativity, expressive power, formal precision, and accountability. The modularity means that TPL is built in a way that makes it easily adaptable to different types of transactions and signatures. From the aspect of declarativity and expressive power, the language is built such that policies are always formulated in a positive form and the language is Turing complete. The formal precision and accountability of the language eliminates ambiguity and allows us to achieve verified evaluations. The idea is that for any decision, the system can generate a proof that can then be checked by a prover that is formally verified, in Isabelle/HOL, to be sound with respect to a first-order logic semantics.

AB - We present TPL, a Trust Policy Language and Trust Management System. It is built around the qualities of modularity, declarativity, expressive power, formal precision, and accountability. The modularity means that TPL is built in a way that makes it easily adaptable to different types of transactions and signatures. From the aspect of declarativity and expressive power, the language is built such that policies are always formulated in a positive form and the language is Turing complete. The formal precision and accountability of the language eliminates ambiguity and allows us to achieve verified evaluations. The idea is that for any decision, the system can generate a proof that can then be checked by a prover that is formally verified, in Isabelle/HOL, to be sound with respect to a first-order logic semantics.

UR - https://link.springer.com/book/10.1007/978-3-030-33716-2

U2 - 10.1007/978-3-030-33716-2_16

DO - 10.1007/978-3-030-33716-2_16

M3 - Conference contribution

SN - 978-3-030-33715-5

VL - Trust Management XIII

SP - 209

EP - 223

BT - Trust Management XIII

PB - Springer

CY - Copenhagen, Denmark

ER -