Matches in SemOpenAlex for { <https://semopenalex.org/work/W758946406> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W758946406 abstract "In this paper we show that the logical framework proposed by Becker et al. to reason about security policy behavior in a trust management context can be captured by an operational framework that is based on the language proposed by Miller to deal with scoping and/or modules in logic programming in 1989. The framework of Becker et al. uses propositional Horn clauses to represent both policies and credentials, implications in clauses are interpreted in counterfactual logic, a Hilbert-style proof is defined and a system based on SAT is used to proof whether properties about credentials, permissions and policies are valid in trust management systems, i.e. formulas that are true for all possible policies. Our contribution is to show that instead of using a SAT system, this kind of validation can rely on the operational semantics (derivability relation) of Miller’s language, which is very close to derivability in logic programs, opening up the possibility to extend Becker et al.’s framework to the more practical first order case since Miller’s language is first order." @default.
- W758946406 created "2016-06-24" @default.
- W758946406 creator A5039295194 @default.
- W758946406 creator A5087637335 @default.
- W758946406 date "2014-01-01" @default.
- W758946406 modified "2023-09-27" @default.
- W758946406 title "An operational framework to reason about policy behavior in trust management systems" @default.
- W758946406 cites W1602828133 @default.
- W758946406 cites W1856491113 @default.
- W758946406 cites W2052436826 @default.
- W758946406 cites W2068639451 @default.
- W758946406 cites W2122193043 @default.
- W758946406 cites W2124260419 @default.
- W758946406 cites W2170496240 @default.
- W758946406 cites W2131775133 @default.
- W758946406 hasPublicationYear "2014" @default.
- W758946406 type Work @default.
- W758946406 sameAs 758946406 @default.
- W758946406 citedByCount "0" @default.
- W758946406 crossrefType "journal-article" @default.
- W758946406 hasAuthorship W758946406A5039295194 @default.
- W758946406 hasAuthorship W758946406A5087637335 @default.
- W758946406 hasConcept C108650721 @default.
- W758946406 hasConcept C111472728 @default.
- W758946406 hasConcept C128838566 @default.
- W758946406 hasConcept C138885662 @default.
- W758946406 hasConcept C151730666 @default.
- W758946406 hasConcept C156325763 @default.
- W758946406 hasConcept C184337299 @default.
- W758946406 hasConcept C18903297 @default.
- W758946406 hasConcept C189790780 @default.
- W758946406 hasConcept C199360897 @default.
- W758946406 hasConcept C2777496998 @default.
- W758946406 hasConcept C2779343474 @default.
- W758946406 hasConcept C41008148 @default.
- W758946406 hasConcept C86803240 @default.
- W758946406 hasConceptScore W758946406C108650721 @default.
- W758946406 hasConceptScore W758946406C111472728 @default.
- W758946406 hasConceptScore W758946406C128838566 @default.
- W758946406 hasConceptScore W758946406C138885662 @default.
- W758946406 hasConceptScore W758946406C151730666 @default.
- W758946406 hasConceptScore W758946406C156325763 @default.
- W758946406 hasConceptScore W758946406C184337299 @default.
- W758946406 hasConceptScore W758946406C18903297 @default.
- W758946406 hasConceptScore W758946406C189790780 @default.
- W758946406 hasConceptScore W758946406C199360897 @default.
- W758946406 hasConceptScore W758946406C2777496998 @default.
- W758946406 hasConceptScore W758946406C2779343474 @default.
- W758946406 hasConceptScore W758946406C41008148 @default.
- W758946406 hasConceptScore W758946406C86803240 @default.
- W758946406 hasLocation W7589464061 @default.
- W758946406 hasOpenAccess W758946406 @default.
- W758946406 hasPrimaryLocation W7589464061 @default.
- W758946406 hasRelatedWork W141672677 @default.
- W758946406 hasRelatedWork W1520672662 @default.
- W758946406 hasRelatedWork W1545213337 @default.
- W758946406 hasRelatedWork W1598131780 @default.
- W758946406 hasRelatedWork W159974831 @default.
- W758946406 hasRelatedWork W1979017246 @default.
- W758946406 hasRelatedWork W1984418095 @default.
- W758946406 hasRelatedWork W2012617044 @default.
- W758946406 hasRelatedWork W2128753218 @default.
- W758946406 hasRelatedWork W2134923006 @default.
- W758946406 hasRelatedWork W2134937025 @default.
- W758946406 hasRelatedWork W2140730933 @default.
- W758946406 hasRelatedWork W2142177706 @default.
- W758946406 hasRelatedWork W2160308108 @default.
- W758946406 hasRelatedWork W2187080289 @default.
- W758946406 hasRelatedWork W2301030849 @default.
- W758946406 hasRelatedWork W24528945 @default.
- W758946406 hasRelatedWork W2914058489 @default.
- W758946406 hasRelatedWork W2984946874 @default.
- W758946406 hasRelatedWork W2131775133 @default.
- W758946406 isParatext "false" @default.
- W758946406 isRetracted "false" @default.
- W758946406 magId "758946406" @default.
- W758946406 workType "article" @default.