Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981453799> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2981453799 endingPage "223" @default.
- W2981453799 startingPage "209" @default.
- W2981453799 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." @default.
- W2981453799 created "2019-11-01" @default.
- W2981453799 creator A5009551343 @default.
- W2981453799 creator A5033696059 @default.
- W2981453799 creator A5041754592 @default.
- W2981453799 creator A5050012797 @default.
- W2981453799 creator A5055089813 @default.
- W2981453799 date "2019-01-01" @default.
- W2981453799 modified "2023-09-26" @default.
- W2981453799 title "TPL: A Trust Policy Language" @default.
- W2981453799 cites W1575636007 @default.
- W2981453799 cites W1958859150 @default.
- W2981453799 cites W1998410860 @default.
- W2981453799 cites W2068617365 @default.
- W2981453799 cites W2167122335 @default.
- W2981453799 cites W2169348910 @default.
- W2981453799 cites W2491413729 @default.
- W2981453799 cites W2904573932 @default.
- W2981453799 cites W2904774128 @default.
- W2981453799 cites W2981453799 @default.
- W2981453799 cites W3099800985 @default.
- W2981453799 cites W4250846042 @default.
- W2981453799 doi "https://doi.org/10.1007/978-3-030-33716-2_16" @default.
- W2981453799 hasPublicationYear "2019" @default.
- W2981453799 type Work @default.
- W2981453799 sameAs 2981453799 @default.
- W2981453799 citedByCount "8" @default.
- W2981453799 countsByYear W29814537992019 @default.
- W2981453799 countsByYear W29814537992020 @default.
- W2981453799 countsByYear W29814537992021 @default.
- W2981453799 countsByYear W29814537992022 @default.
- W2981453799 crossrefType "book-chapter" @default.
- W2981453799 hasAuthorship W2981453799A5009551343 @default.
- W2981453799 hasAuthorship W2981453799A5033696059 @default.
- W2981453799 hasAuthorship W2981453799A5041754592 @default.
- W2981453799 hasAuthorship W2981453799A5050012797 @default.
- W2981453799 hasAuthorship W2981453799A5055089813 @default.
- W2981453799 hasBestOaLocation W29814537992 @default.
- W2981453799 hasConcept C138885662 @default.
- W2981453799 hasConcept C156325763 @default.
- W2981453799 hasConcept C17435882 @default.
- W2981453799 hasConcept C17744445 @default.
- W2981453799 hasConcept C184337299 @default.
- W2981453799 hasConcept C195818886 @default.
- W2981453799 hasConcept C199360897 @default.
- W2981453799 hasConcept C199539241 @default.
- W2981453799 hasConcept C2776007630 @default.
- W2981453799 hasConcept C2778400572 @default.
- W2981453799 hasConcept C2779478453 @default.
- W2981453799 hasConcept C2780522230 @default.
- W2981453799 hasConcept C41008148 @default.
- W2981453799 hasConcept C41895202 @default.
- W2981453799 hasConcept C54355233 @default.
- W2981453799 hasConcept C86803240 @default.
- W2981453799 hasConceptScore W2981453799C138885662 @default.
- W2981453799 hasConceptScore W2981453799C156325763 @default.
- W2981453799 hasConceptScore W2981453799C17435882 @default.
- W2981453799 hasConceptScore W2981453799C17744445 @default.
- W2981453799 hasConceptScore W2981453799C184337299 @default.
- W2981453799 hasConceptScore W2981453799C195818886 @default.
- W2981453799 hasConceptScore W2981453799C199360897 @default.
- W2981453799 hasConceptScore W2981453799C199539241 @default.
- W2981453799 hasConceptScore W2981453799C2776007630 @default.
- W2981453799 hasConceptScore W2981453799C2778400572 @default.
- W2981453799 hasConceptScore W2981453799C2779478453 @default.
- W2981453799 hasConceptScore W2981453799C2780522230 @default.
- W2981453799 hasConceptScore W2981453799C41008148 @default.
- W2981453799 hasConceptScore W2981453799C41895202 @default.
- W2981453799 hasConceptScore W2981453799C54355233 @default.
- W2981453799 hasConceptScore W2981453799C86803240 @default.
- W2981453799 hasLocation W29814537991 @default.
- W2981453799 hasLocation W29814537992 @default.
- W2981453799 hasLocation W29814537993 @default.
- W2981453799 hasLocation W29814537994 @default.
- W2981453799 hasLocation W29814537995 @default.
- W2981453799 hasLocation W29814537996 @default.
- W2981453799 hasLocation W29814537997 @default.
- W2981453799 hasOpenAccess W2981453799 @default.
- W2981453799 hasPrimaryLocation W29814537991 @default.
- W2981453799 hasRelatedWork W1502311553 @default.
- W2981453799 hasRelatedWork W1680480890 @default.
- W2981453799 hasRelatedWork W2069426543 @default.
- W2981453799 hasRelatedWork W2125406856 @default.
- W2981453799 hasRelatedWork W2282139525 @default.
- W2981453799 hasRelatedWork W2981453799 @default.
- W2981453799 hasRelatedWork W2995091630 @default.
- W2981453799 hasRelatedWork W4287991282 @default.
- W2981453799 hasRelatedWork W2500740404 @default.
- W2981453799 hasRelatedWork W2788308474 @default.
- W2981453799 isParatext "false" @default.
- W2981453799 isRetracted "false" @default.
- W2981453799 magId "2981453799" @default.
- W2981453799 workType "book-chapter" @default.