Projects per year
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 | |
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 |
Fingerprint
Dive into the research topics of 'TPL: A Trust Policy Language'. Together they form a unique fingerprint.Projects
- 1 Finished
-
EU - LIGHTest - Lightweight Infrastructure for Global Heterogeneous Trust management in support of an open Ecosystem of Stakeholders and Trust schemes.
Lipp, P.
1/09/16 → 30/08/19
Project: Research project