The LIGHTest Foundation

Sebastian Alexander Mödersheim; Anders Schlichtkrull

The LIGHT^est Foundation

Sebastian Alexander Mödersheim, Anders Schlichtkrull

Department of Applied Mathematics and Computer Science

Research output: Book/Report › Report › Research › peer-review

296 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 ﬂavors, an executable semantics and a logical semantics. Because of the executable semantics, a speciﬁcation 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 deﬁnes the meaning of a speciﬁed policy is. The semantics can therefore be used to settle any discussion of what the meaning of a speciﬁed 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 language	English

Publisher	Technical University of Denmark
Number of pages	33
Publication status	Published - 2018

Series	DTU Compute Technical Report-2018
Volume	6

Access to Document

Tr18 06 Modersheim AFinal published version, 509 KB

OpenUrl availability

Full text

Cite this

@book{0ff92ef54a5649d0b73c4ddb700b4cd2,

title = "The LIGHTest Foundation",

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 ﬂavors, an executable semantics and a logical semantics. Because of the executable semantics, a speciﬁcation 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 deﬁnes the meaning of a speciﬁed policy is. The semantics can therefore be used to settle any discussion of what the meaning of a speciﬁed 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.",

author = "M{\"o}dersheim, {Sebastian Alexander} and Anders Schlichtkrull",

year = "2018",

language = "English",

series = "DTU Compute Technical Report-2018",

publisher = "Technical University of Denmark",

}

TY - RPRT

T1 - The LIGHTest Foundation

AU - Mödersheim, Sebastian Alexander

AU - Schlichtkrull, Anders

PY - 2018

Y1 - 2018

N2 - 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 ﬂavors, an executable semantics and a logical semantics. Because of the executable semantics, a speciﬁcation 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 deﬁnes the meaning of a speciﬁed policy is. The semantics can therefore be used to settle any discussion of what the meaning of a speciﬁed 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.

AB - 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 ﬂavors, an executable semantics and a logical semantics. Because of the executable semantics, a speciﬁcation 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 deﬁnes the meaning of a speciﬁed policy is. The semantics can therefore be used to settle any discussion of what the meaning of a speciﬁed 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.