FRINK Linked Data Fragments server

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

• W2969758610 abstract "Applications that handle sensitive information need to express and reason about the trust relationships between security principals. Such reasoning is difficult because the trust relationships are dynamic, and must thus be reasoned about at runtime when discovering and reasoning about trust relationships might inadvertently reveal confidential information and be subject to manipulation by untrusted principals. The Flow-Limited Authorization Model (FLAM) by Arden et al. exactly meets these needs. However, previous attempts to use FLAM in a programming language have not reaped the full benefits of the model. We present Flamio, an instantiation of FLAM in a language with coarse-grained dynamic information-flow control (IFC) which naturally lends itself to dynamic enforcement techniques. In our implementation of Flamio, the FLAM proof search rules for deriving trust relationships are implemented as regular Flamio computations: the IFC requirements for FLAM proof rules are a natural fit with coarse-grained information-flow mechanisms. Flamio even supports remote procedure calls, and thus seamlessly supports FLAM's distributed proof search. We have implemented Flamio as a Haskell library, and proved that a calculus based on Flamio enforces a noninterference-based security guarantee. We have implemented several case studies, demonstrating the expressiveness and usefulness of Flamio in distributed settings, as well as our novel approach to control label creep during proof search." @default.
• W2969758610 created "2019-08-29" @default.
• W2969758610 creator A5004927859 @default.
• W2969758610 creator A5046383149 @default.
• W2969758610 date "2019-06-01" @default.
• W2969758610 modified "2023-09-28" @default.
• W2969758610 title "Programming with Flow-Limited Authorization: Coarser is Better" @default.
• W2969758610 cites W1488890761 @default.
• W2969758610 cites W1495495588 @default.
• W2969758610 cites W1771153709 @default.
• W2969758610 cites W1957951093 @default.
• W2969758610 cites W1968195858 @default.
• W2969758610 cites W1977764760 @default.
• W2969758610 cites W1999602293 @default.
• W2969758610 cites W2007759294 @default.
• W2969758610 cites W2017060815 @default.
• W2969758610 cites W2022781334 @default.
• W2969758610 cites W2028705369 @default.
• W2969758610 cites W2061056245 @default.
• W2969758610 cites W2081186654 @default.
• W2969758610 cites W2086234010 @default.
• W2969758610 cites W2099878912 @default.
• W2969758610 cites W2100233145 @default.
• W2969758610 cites W2132185316 @default.
• W2969758610 cites W2136202785 @default.
• W2969758610 cites W2145846275 @default.
• W2969758610 cites W2147380064 @default.
• W2969758610 cites W2149143260 @default.
• W2969758610 cites W2158126684 @default.
• W2969758610 cites W2162283517 @default.
• W2969758610 cites W2165078378 @default.
• W2969758610 cites W2166510103 @default.
• W2969758610 cites W2250700289 @default.
• W2969758610 cites W2295903522 @default.
• W2969758610 cites W2508356508 @default.
• W2969758610 cites W2535658741 @default.
• W2969758610 cites W2766853406 @default.
• W2969758610 cites W2799208700 @default.
• W2969758610 cites W2896496024 @default.
• W2969758610 cites W2899551626 @default.
• W2969758610 cites W3102410487 @default.
• W2969758610 cites W2067580212 @default.
• W2969758610 doi "https://doi.org/10.1109/eurosp.2019.00015" @default.
• W2969758610 hasPublicationYear "2019" @default.
• W2969758610 type Work @default.
• W2969758610 sameAs 2969758610 @default.
• W2969758610 citedByCount "2" @default.
• W2969758610 countsByYear W29697586102021 @default.
• W2969758610 crossrefType "proceedings-article" @default.
• W2969758610 hasAuthorship W2969758610A5004927859 @default.
• W2969758610 hasAuthorship W2969758610A5046383149 @default.
• W2969758610 hasBestOaLocation W29697586101 @default.
• W2969758610 hasConcept C108759981 @default.
• W2969758610 hasConcept C138885662 @default.
• W2969758610 hasConcept C158379750 @default.
• W2969758610 hasConcept C160191386 @default.
• W2969758610 hasConcept C199360897 @default.
• W2969758610 hasConcept C22927095 @default.
• W2969758610 hasConcept C2779136372 @default.
• W2969758610 hasConcept C2780624054 @default.
• W2969758610 hasConcept C38652104 @default.
• W2969758610 hasConcept C41008148 @default.
• W2969758610 hasConcept C41895202 @default.
• W2969758610 hasConcept C42383842 @default.
• W2969758610 hasConcept C71745522 @default.
• W2969758610 hasConcept C80444323 @default.
• W2969758610 hasConceptScore W2969758610C108759981 @default.
• W2969758610 hasConceptScore W2969758610C138885662 @default.
• W2969758610 hasConceptScore W2969758610C158379750 @default.
• W2969758610 hasConceptScore W2969758610C160191386 @default.
• W2969758610 hasConceptScore W2969758610C199360897 @default.
• W2969758610 hasConceptScore W2969758610C22927095 @default.
• W2969758610 hasConceptScore W2969758610C2779136372 @default.
• W2969758610 hasConceptScore W2969758610C2780624054 @default.
• W2969758610 hasConceptScore W2969758610C38652104 @default.
• W2969758610 hasConceptScore W2969758610C41008148 @default.
• W2969758610 hasConceptScore W2969758610C41895202 @default.
• W2969758610 hasConceptScore W2969758610C42383842 @default.
• W2969758610 hasConceptScore W2969758610C71745522 @default.
• W2969758610 hasConceptScore W2969758610C80444323 @default.
• W2969758610 hasLocation W29697586101 @default.
• W2969758610 hasLocation W29697586102 @default.
• W2969758610 hasOpenAccess W2969758610 @default.
• W2969758610 hasPrimaryLocation W29697586101 @default.
• W2969758610 hasRelatedWork W1549538485 @default.
• W2969758610 hasRelatedWork W1555594999 @default.
• W2969758610 hasRelatedWork W1922601841 @default.
• W2969758610 hasRelatedWork W1970266889 @default.
• W2969758610 hasRelatedWork W1988874658 @default.
• W2969758610 hasRelatedWork W2002350534 @default.
• W2969758610 hasRelatedWork W2107779615 @default.
• W2969758610 hasRelatedWork W2113115746 @default.
• W2969758610 hasRelatedWork W2171239903 @default.
• W2969758610 hasRelatedWork W2267923570 @default.
• W2969758610 hasRelatedWork W2321048921 @default.
• W2969758610 hasRelatedWork W2341514391 @default.
• W2969758610 hasRelatedWork W2396825449 @default.
• W2969758610 hasRelatedWork W2566015348 @default.
• W2969758610 hasRelatedWork W2807041801 @default.
• W2969758610 hasRelatedWork W2809696358 @default.

• next