2019
DOI: 10.1007/978-3-030-33716-2_16
|View full text |Cite
|
Sign up to set email alerts
|

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 an… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2019
2019
2022
2022

Publication Types

Select...
4
3
1

Relationship

2
6

Authors

Journals

citations
Cited by 9 publications
(3 citation statements)
references
References 17 publications
0
3
0
Order By: Relevance
“…Thus, when receiving the VP of a person stating that she has an account on an unrecognized bank, a query to the bank federation's list of trusted banks is enough to decide if the VP can be trusted or not. In contrast, in [5] the trust policy language (TPL) [100], a declarative language for specifying trust rules without worrying about low-level aspects, was adapted to work in SSI. The TPL has been extended with SSI-related concepts such as DID and VC, allowing for the specification of rules to check VPs.…”
Section: Frederico Schardong and Ricardo Custódiomentioning
confidence: 99%
“…Thus, when receiving the VP of a person stating that she has an account on an unrecognized bank, a query to the bank federation's list of trusted banks is enough to decide if the VP can be trusted or not. In contrast, in [5] the trust policy language (TPL) [100], a declarative language for specifying trust rules without worrying about low-level aspects, was adapted to work in SSI. The TPL has been extended with SSI-related concepts such as DID and VC, allowing for the specification of rules to check VPs.…”
Section: Frederico Schardong and Ricardo Custódiomentioning
confidence: 99%
“…The Trust Policy Language (TPL) [ 192 ], a declarative language for specifying trust rules without concern for low-level details, was adapted to work in SSI in [ 145 ]. The TPL has been enhanced with SSI-related concepts such as DID and VC, allowing the specification of rules to validate VPs.…”
Section: Rq-1: What Practical Problems Have Been Introduced and Solved?mentioning
confidence: 99%
“…On one side, the user (prover) provides their own credentials as input to the system. On the other side, the verifier often requires more information to authenticate those credentials, such as their revocation status or the trustworthiness of their issuer (Alber et al, 2021;Mödersheim et al, 2019). Since the verifier needs to trust this additional information, it is usually collected directly from respective authorities and registries.…”
Section: Introductionmentioning
confidence: 99%