Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998082124> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1998082124 abstract "Distributed applications typically involve many components, each with unique security and privacy requirements. Such applications require fine-grained access control mechanisms that allow dynamic delegation and revocation of access rights. Embedding such domain-specific requirements in a functional language like Haskell puts all the expressiveness of the host language at the disposal of the domain user. Using a custom monad, we design and implement an embedded Haskell library that embraces the decentralized label model, allowing mutually-distrusting principals to express individual confidentiality and integrity policies. Our language includes first-class references, higher-order functions, declassification and endorsement of policies, and user authority in the presence of global unrestricted delegation. Then, building on previous work by the first author, we extend the language to enable fine-grained dynamic delegation and revocation of access rights. The resulting language generalizes, extends, and simplifies various libraries for expressing and reasoning about information flow." @default.
- W1998082124 created "2016-06-24" @default.
- W1998082124 creator A5012113552 @default.
- W1998082124 creator A5084476883 @default.
- W1998082124 date "2013-09-22" @default.
- W1998082124 modified "2023-09-23" @default.
- W1998082124 title "Encoding secure information flow with restricted delegation and revocation in Haskell" @default.
- W1998082124 cites W1522146952 @default.
- W1998082124 cites W1966354044 @default.
- W1998082124 cites W1976334587 @default.
- W1998082124 cites W1998003182 @default.
- W1998082124 cites W1999056706 @default.
- W1998082124 cites W2001674045 @default.
- W1998082124 cites W2005525408 @default.
- W1998082124 cites W2020408011 @default.
- W1998082124 cites W2027961147 @default.
- W1998082124 cites W2060493407 @default.
- W1998082124 cites W2075849836 @default.
- W1998082124 cites W2103428609 @default.
- W1998082124 cites W2107779615 @default.
- W1998082124 cites W2112414131 @default.
- W1998082124 cites W2116435685 @default.
- W1998082124 cites W2121988324 @default.
- W1998082124 cites W2122643307 @default.
- W1998082124 cites W2128487827 @default.
- W1998082124 cites W2136624255 @default.
- W1998082124 cites W2137927383 @default.
- W1998082124 cites W2143847610 @default.
- W1998082124 cites W2154564703 @default.
- W1998082124 cites W2158126684 @default.
- W1998082124 cites W2158642393 @default.
- W1998082124 cites W2166775407 @default.
- W1998082124 doi "https://doi.org/10.1145/2505351.2505354" @default.
- W1998082124 hasPublicationYear "2013" @default.
- W1998082124 type Work @default.
- W1998082124 sameAs 1998082124 @default.
- W1998082124 citedByCount "1" @default.
- W1998082124 countsByYear W19980821242013 @default.
- W1998082124 crossrefType "proceedings-article" @default.
- W1998082124 hasAuthorship W1998082124A5012113552 @default.
- W1998082124 hasAuthorship W1998082124A5084476883 @default.
- W1998082124 hasBestOaLocation W19980821242 @default.
- W1998082124 hasConcept C125411270 @default.
- W1998082124 hasConcept C138885662 @default.
- W1998082124 hasConcept C154945302 @default.
- W1998082124 hasConcept C17744445 @default.
- W1998082124 hasConcept C199360897 @default.
- W1998082124 hasConcept C199539241 @default.
- W1998082124 hasConcept C2775892892 @default.
- W1998082124 hasConcept C2779136372 @default.
- W1998082124 hasConcept C2779960059 @default.
- W1998082124 hasConcept C2780624054 @default.
- W1998082124 hasConcept C38652104 @default.
- W1998082124 hasConcept C41008148 @default.
- W1998082124 hasConcept C41895202 @default.
- W1998082124 hasConcept C42383842 @default.
- W1998082124 hasConcept C86532276 @default.
- W1998082124 hasConceptScore W1998082124C125411270 @default.
- W1998082124 hasConceptScore W1998082124C138885662 @default.
- W1998082124 hasConceptScore W1998082124C154945302 @default.
- W1998082124 hasConceptScore W1998082124C17744445 @default.
- W1998082124 hasConceptScore W1998082124C199360897 @default.
- W1998082124 hasConceptScore W1998082124C199539241 @default.
- W1998082124 hasConceptScore W1998082124C2775892892 @default.
- W1998082124 hasConceptScore W1998082124C2779136372 @default.
- W1998082124 hasConceptScore W1998082124C2779960059 @default.
- W1998082124 hasConceptScore W1998082124C2780624054 @default.
- W1998082124 hasConceptScore W1998082124C38652104 @default.
- W1998082124 hasConceptScore W1998082124C41008148 @default.
- W1998082124 hasConceptScore W1998082124C41895202 @default.
- W1998082124 hasConceptScore W1998082124C42383842 @default.
- W1998082124 hasConceptScore W1998082124C86532276 @default.
- W1998082124 hasLocation W19980821241 @default.
- W1998082124 hasLocation W19980821242 @default.
- W1998082124 hasOpenAccess W1998082124 @default.
- W1998082124 hasPrimaryLocation W19980821241 @default.
- W1998082124 hasRelatedWork W1481383228 @default.
- W1998082124 hasRelatedWork W1587224678 @default.
- W1998082124 hasRelatedWork W1601811574 @default.
- W1998082124 hasRelatedWork W1607469218 @default.
- W1998082124 hasRelatedWork W1998082124 @default.
- W1998082124 hasRelatedWork W2048706733 @default.
- W1998082124 hasRelatedWork W2111594816 @default.
- W1998082124 hasRelatedWork W2177866842 @default.
- W1998082124 hasRelatedWork W2760941369 @default.
- W1998082124 hasRelatedWork W4253461608 @default.
- W1998082124 isParatext "false" @default.
- W1998082124 isRetracted "false" @default.
- W1998082124 magId "1998082124" @default.
- W1998082124 workType "article" @default.