TPL: A Trust Policy Language

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

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

24 Downloads (Pure)

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 languageEnglish
Title of host publicationTrust Management XIII
Volume563
PublisherSpringer
Publication date2019
Pages209-223
ISBN (Print)978-3-030-33715-5
DOIs
Publication statusPublished - 2019
Event13th IFIP WG 11.11 International Conference on Trust Management - Technical University of Denmark, Kgs. Lyngby, Denmark
Duration: 17 Jul 201919 Jul 2019
http://ifiptm2019.compute.dtu.dk/

Conference

Conference13th IFIP WG 11.11 International Conference on Trust Management
LocationTechnical University of Denmark
CountryDenmark
CityKgs. Lyngby
Period17/07/201919/07/2019
Internet address
SeriesIFIP Advances in Information and Communication Technology
Volume563
ISSN1571-5736

Cite this

Mödersheim, S. A., Schlichtkrull, A., Wagner, G., More, S., & Alber, L. (2019). TPL: A Trust Policy Language. In Trust Management XIII (Vol. 563, pp. 209-223). Springer. IFIP Advances in Information and Communication Technology, Vol.. 563 https://doi.org/10.1007/978-3-030-33716-2_16