The LIGHTest Foundation

Research output: Book/ReportReportResearchpeer-review

138 Downloads (Pure)

Abstract

This technical report presents the Trust Policy Language (TPL), its semantics, and shows how it can be used to specify policies for trust, trust translation, and delegation. TPL and its semantics are highly inspired by Prolog. The semantics come in two flavors, an executable semantics and a logical semantics. Because of the executable semantics, a specification in TPL can also be executed as a program that checks if a decision lives up to a policy. TPL is the language used in LIGHTest, which is a toolbox for digital policies for trust, trust translation, and delegation. TPL serves as its foundation and its semantics defines the meaning of a specified policy is. The semantics can therefore be used to settle any discussion of what the meaning of a specified policy is. In order to make TPL easy to use, we present GTPL which is a graphical language that allows end users to specify policies in TPL.
Original languageEnglish
PublisherTechnical University of Denmark
Number of pages33
Publication statusPublished - 2018
SeriesDTU Compute Technical Report-2018
Volume6

Cite this

Mödersheim, S. A., & Schlichtkrull, A. (2018). The LIGHTest Foundation. Technical University of Denmark. DTU Compute Technical Report-2018, Vol.. 6