FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965071108> ?p ?o ?g. }

• W1965071108 endingPage "31" @default.
• W1965071108 startingPage "1" @default.
• W1965071108 abstract "We introduce a new methodology for formulating, analyzing, and applying access-control policies. Policies are expressed as formal theories in the SMT (satisfiability-modulo-theories) subset of typed first-order logic, and represented in a programmable logical framework, with each theory extending a core ontology of access control. We reduce both request evaluation and policy analysis to SMT solving, and provide experimental results demonstrating the practicality of these reductions. We also introduce a class of canonical requests and prove that such requests can be evaluated in linear time. In many application domains, access requests are either naturally canonical or can easily be put into canonical form. The resulting policy framework is more expressive than XACML and languages in the Datalog family, without compromising efficiency. Using the computational logic facilities of the framework, a wide range of sophisticated policy analyses (including consistency, coverage, observational equivalence, and change impact) receive succinct formulations whose correctness can be straightforwardly verified. The use of SMT solving allows us to efficiently analyze policies with complicated numeric (integer and real) constraints, a weak point of previous policy analysis systems. Further, by leveraging the programmability of the underlying logical framework, our system provides exceptionally flexible ways of resolving conflicts and composing policies. Specifically, we show that our system subsumes FIA (Fine-grained Integration Algebra), an algebra recently developed for the purpose of integrating complex policies." @default.
• W1965071108 created "2016-06-24" @default.
• W1965071108 creator A5001943239 @default.
• W1965071108 creator A5034239421 @default.
• W1965071108 creator A5039155057 @default.
• W1965071108 date "2014-04-01" @default.
• W1965071108 modified "2023-10-16" @default.
• W1965071108 title "Sophisticated Access Control via SMT and Logical Frameworks" @default.
• W1965071108 cites W1527224316 @default.
• W1965071108 cites W1539980350 @default.
• W1965071108 cites W1577867985 @default.
• W1965071108 cites W1581651736 @default.
• W1965071108 cites W1618082515 @default.
• W1965071108 cites W1967951878 @default.
• W1965071108 cites W1987339920 @default.
• W1965071108 cites W1993163335 @default.
• W1965071108 cites W1997862012 @default.
• W1965071108 cites W2005264752 @default.
• W1965071108 cites W2012419258 @default.
• W1965071108 cites W2048056473 @default.
• W1965071108 cites W2053741629 @default.
• W1965071108 cites W2057345152 @default.
• W1965071108 cites W2060440626 @default.
• W1965071108 cites W2064070192 @default.
• W1965071108 cites W2069728203 @default.
• W1965071108 cites W2071392700 @default.
• W1965071108 cites W2081700476 @default.
• W1965071108 cites W2101565274 @default.
• W1965071108 cites W2108120132 @default.
• W1965071108 cites W2121540794 @default.
• W1965071108 cites W2123342143 @default.
• W1965071108 cites W2129340874 @default.
• W1965071108 cites W2137351629 @default.
• W1965071108 cites W2140730933 @default.
• W1965071108 cites W2146356111 @default.
• W1965071108 cites W2154061425 @default.
• W1965071108 cites W2164661256 @default.
• W1965071108 cites W2295769861 @default.
• W1965071108 cites W2337480916 @default.
• W1965071108 cites W2491992267 @default.
• W1965071108 cites W2624424081 @default.
• W1965071108 cites W2997040243 @default.
• W1965071108 cites W4211008702 @default.
• W1965071108 cites W4212983671 @default.
• W1965071108 cites W3010086459 @default.
• W1965071108 doi "https://doi.org/10.1145/2595222" @default.
• W1965071108 hasPublicationYear "2014" @default.
• W1965071108 type Work @default.
• W1965071108 sameAs 1965071108 @default.
• W1965071108 citedByCount "23" @default.
• W1965071108 countsByYear W19650711082012 @default.
• W1965071108 countsByYear W19650711082015 @default.
• W1965071108 countsByYear W19650711082016 @default.
• W1965071108 countsByYear W19650711082017 @default.
• W1965071108 countsByYear W19650711082018 @default.
• W1965071108 countsByYear W19650711082019 @default.
• W1965071108 countsByYear W19650711082020 @default.
• W1965071108 countsByYear W19650711082022 @default.
• W1965071108 countsByYear W19650711082023 @default.
• W1965071108 crossrefType "journal-article" @default.
• W1965071108 hasAuthorship W1965071108A5001943239 @default.
• W1965071108 hasAuthorship W1965071108A5034239421 @default.
• W1965071108 hasAuthorship W1965071108A5039155057 @default.
• W1965071108 hasBestOaLocation W19650711081 @default.
• W1965071108 hasConcept C102993220 @default.
• W1965071108 hasConcept C114614502 @default.
• W1965071108 hasConcept C148230440 @default.
• W1965071108 hasConcept C154945302 @default.
• W1965071108 hasConcept C199360897 @default.
• W1965071108 hasConcept C2129575 @default.
• W1965071108 hasConcept C2776436953 @default.
• W1965071108 hasConcept C2779886121 @default.
• W1965071108 hasConcept C31258907 @default.
• W1965071108 hasConcept C33923547 @default.
• W1965071108 hasConcept C41008148 @default.
• W1965071108 hasConcept C527821871 @default.
• W1965071108 hasConcept C54732982 @default.
• W1965071108 hasConcept C55439883 @default.
• W1965071108 hasConcept C61673122 @default.
• W1965071108 hasConcept C80444323 @default.
• W1965071108 hasConceptScore W1965071108C102993220 @default.
• W1965071108 hasConceptScore W1965071108C114614502 @default.
• W1965071108 hasConceptScore W1965071108C148230440 @default.
• W1965071108 hasConceptScore W1965071108C154945302 @default.
• W1965071108 hasConceptScore W1965071108C199360897 @default.
• W1965071108 hasConceptScore W1965071108C2129575 @default.
• W1965071108 hasConceptScore W1965071108C2776436953 @default.
• W1965071108 hasConceptScore W1965071108C2779886121 @default.
• W1965071108 hasConceptScore W1965071108C31258907 @default.
• W1965071108 hasConceptScore W1965071108C33923547 @default.
• W1965071108 hasConceptScore W1965071108C41008148 @default.
• W1965071108 hasConceptScore W1965071108C527821871 @default.
• W1965071108 hasConceptScore W1965071108C54732982 @default.
• W1965071108 hasConceptScore W1965071108C55439883 @default.
• W1965071108 hasConceptScore W1965071108C61673122 @default.
• W1965071108 hasConceptScore W1965071108C80444323 @default.
• W1965071108 hasFunder F4320332447 @default.
• W1965071108 hasIssue "4" @default.

• next