HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03182603
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, March 26, 2021 - 2:32:59 PM
Last modification on : Friday, March 26, 2021 - 2:39:17 PM
Long-term archiving on: : Sunday, June 27, 2021 - 6:46:44 PM

File

491176_1_En_16_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Sebastian Mödersheim, Anders Schlichtkrull, Georg Wagner, Stefan More, Lukas Alber. TPL: A Trust Policy Language. 13th IFIP International Conference on Trust Management (IFIPTM), Jul 2019, Copenhagen, Denmark. pp.209-223, ⟨10.1007/978-3-030-33716-2_16⟩. ⟨hal-03182603⟩

Share

Metrics

Record views

15

Files downloads

2