TPL: A Trust Policy Language

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

doi:10.1007/978-3-030-33716-2_16

TPL: A Trust Policy Language

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

Institute of Applied Information Processing and Communications (7050)

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

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.

Original language	English
Title of host publication	Trust Management XIII
Subtitle of host publication	13th IFIP WG 11.11 International Conference, IFIPTM 2019
Place of Publication	Copenhagen, Denmark
Publisher	Springer
Pages	209-223
Volume	Trust Management XIII
Edition	1
ISBN (Electronic)	978-3-030-33716-2
ISBN (Print)	978-3-030-33715-5
DOIs	https://doi.org/10.1007/978-3-030-33716-2_16
Publication status	Published - 19 Jul 2019
Event	IFIPTM 2019: The 13th IFIP International Conference on Trust Management - Technical University of Denmark (DTU), Copenhagen, Denmark Duration: 17 Jul 2019 → 19 Jul 2019 http://ifiptm2019.compute.dtu.dk/IFIPTM19/

Conference

Conference	IFIPTM 2019
Abbreviated title	IFIPTM 2019
Country/Territory	Denmark
City	Copenhagen
Period	17/07/19 → 19/07/19
Internet address	http://ifiptm2019.compute.dtu.dk/IFIPTM19/

Access to Document

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

Cite this

@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 = jul,

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

note = "IFIPTM 2019 : The 13th IFIP International Conference on Trust Management, IFIPTM 2019 ; Conference date: 17-07-2019 Through 19-07-2019",

url = "http://ifiptm2019.compute.dtu.dk/IFIPTM19/",

}

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 paper

SN - 978-3-030-33715-5

VL - Trust Management XIII

SP - 209

EP - 223

BT - Trust Management XIII

PB - Springer

CY - Copenhagen, Denmark

T2 - IFIPTM 2019

Y2 - 17 July 2019 through 19 July 2019

ER -

TPL: A Trust Policy Language

Abstract

Conference

Access to Document

Other files and links

Fingerprint

EU - LIGHTest - Lightweight Infrastructure for Global Heterogeneous Trust management in support of an open Ecosystem of Stakeholders and Trust schemes.

Cite this

TPL: A Trust Policy Language

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Projects

EU - LIGHTest - Lightweight Infrastructure for Global Heterogeneous Trust management in support of an open Ecosystem of Stakeholders and Trust schemes.

Cite this