Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100118001> ?p ?o ?g. }
- W3100118001 abstract "We present an approach for dynamic information flow control across the application and database. Our approach reduces the amount of policy code required, yields formal guarantees across the application and database, works with existing relational database implementations, and scales for realistic applications. In this paper, we present a programming model that factors out information flow policies from application code and database queries, a dynamic semantics for the underlying {lambda}^JDB core language, and proofs of termination-insensitive non-interference and policy compliance for the semantics. We implement these ideas in Jacqueline, a Python web framework, and demonstrate feasibility through three application case studies: a course manager, a health record system, and a conference management system used to run an academic workshop. We show that in comparison to traditional applications with hand-coded policy checks, Jacqueline applications have 1) a smaller trusted computing base, 2) fewer lines of policy code, and 2) reasonable, often negligible, additional overheads." @default.
- W3100118001 created "2020-11-23" @default.
- W3100118001 creator A5010786661 @default.
- W3100118001 creator A5018139743 @default.
- W3100118001 creator A5022553295 @default.
- W3100118001 creator A5040486235 @default.
- W3100118001 creator A5046383149 @default.
- W3100118001 creator A5079324753 @default.
- W3100118001 date "2016-06-02" @default.
- W3100118001 modified "2023-09-24" @default.
- W3100118001 title "Precise, dynamic information flow for database-backed applications" @default.
- W3100118001 cites W1522146952 @default.
- W3100118001 cites W1964412230 @default.
- W3100118001 cites W1999602293 @default.
- W3100118001 cites W2005421574 @default.
- W3100118001 cites W2008332764 @default.
- W3100118001 cites W2011306574 @default.
- W3100118001 cites W2014473133 @default.
- W3100118001 cites W2028341057 @default.
- W3100118001 cites W2034810774 @default.
- W3100118001 cites W2061056245 @default.
- W3100118001 cites W2066266646 @default.
- W3100118001 cites W2102863244 @default.
- W3100118001 cites W2108083949 @default.
- W3100118001 cites W2110442838 @default.
- W3100118001 cites W2111794592 @default.
- W3100118001 cites W2124776613 @default.
- W3100118001 cites W2127229466 @default.
- W3100118001 cites W2129278597 @default.
- W3100118001 cites W2130371489 @default.
- W3100118001 cites W2133448626 @default.
- W3100118001 cites W2146356111 @default.
- W3100118001 cites W2158126684 @default.
- W3100118001 cites W2162283517 @default.
- W3100118001 cites W2165247635 @default.
- W3100118001 cites W2165304392 @default.
- W3100118001 cites W2171239903 @default.
- W3100118001 cites W2171295941 @default.
- W3100118001 cites W2174103411 @default.
- W3100118001 cites W4240226860 @default.
- W3100118001 cites W4243963980 @default.
- W3100118001 cites W4254691308 @default.
- W3100118001 doi "https://doi.org/10.1145/2908080.2908098" @default.
- W3100118001 hasPublicationYear "2016" @default.
- W3100118001 type Work @default.
- W3100118001 sameAs 3100118001 @default.
- W3100118001 citedByCount "23" @default.
- W3100118001 countsByYear W31001180012017 @default.
- W3100118001 countsByYear W31001180012018 @default.
- W3100118001 countsByYear W31001180012019 @default.
- W3100118001 countsByYear W31001180012020 @default.
- W3100118001 countsByYear W31001180012021 @default.
- W3100118001 countsByYear W31001180012022 @default.
- W3100118001 countsByYear W31001180012023 @default.
- W3100118001 crossrefType "proceedings-article" @default.
- W3100118001 hasAuthorship W3100118001A5010786661 @default.
- W3100118001 hasAuthorship W3100118001A5018139743 @default.
- W3100118001 hasAuthorship W3100118001A5022553295 @default.
- W3100118001 hasAuthorship W3100118001A5040486235 @default.
- W3100118001 hasAuthorship W3100118001A5046383149 @default.
- W3100118001 hasAuthorship W3100118001A5079324753 @default.
- W3100118001 hasBestOaLocation W31001180012 @default.
- W3100118001 hasConcept C138885662 @default.
- W3100118001 hasConcept C184337299 @default.
- W3100118001 hasConcept C199360897 @default.
- W3100118001 hasConcept C26713055 @default.
- W3100118001 hasConcept C2779136372 @default.
- W3100118001 hasConcept C41008148 @default.
- W3100118001 hasConcept C41895202 @default.
- W3100118001 hasConcept C519991488 @default.
- W3100118001 hasConcept C5655090 @default.
- W3100118001 hasConcept C77088390 @default.
- W3100118001 hasConceptScore W3100118001C138885662 @default.
- W3100118001 hasConceptScore W3100118001C184337299 @default.
- W3100118001 hasConceptScore W3100118001C199360897 @default.
- W3100118001 hasConceptScore W3100118001C26713055 @default.
- W3100118001 hasConceptScore W3100118001C2779136372 @default.
- W3100118001 hasConceptScore W3100118001C41008148 @default.
- W3100118001 hasConceptScore W3100118001C41895202 @default.
- W3100118001 hasConceptScore W3100118001C519991488 @default.
- W3100118001 hasConceptScore W3100118001C5655090 @default.
- W3100118001 hasConceptScore W3100118001C77088390 @default.
- W3100118001 hasLocation W31001180011 @default.
- W3100118001 hasLocation W31001180012 @default.
- W3100118001 hasLocation W31001180013 @default.
- W3100118001 hasOpenAccess W3100118001 @default.
- W3100118001 hasPrimaryLocation W31001180011 @default.
- W3100118001 hasRelatedWork W1554764448 @default.
- W3100118001 hasRelatedWork W1855927527 @default.
- W3100118001 hasRelatedWork W1984757784 @default.
- W3100118001 hasRelatedWork W2083338789 @default.
- W3100118001 hasRelatedWork W2327204559 @default.
- W3100118001 hasRelatedWork W2529681551 @default.
- W3100118001 hasRelatedWork W3017187763 @default.
- W3100118001 hasRelatedWork W4205531442 @default.
- W3100118001 hasRelatedWork W4232504361 @default.
- W3100118001 hasRelatedWork W4245752324 @default.
- W3100118001 isParatext "false" @default.
- W3100118001 isRetracted "false" @default.
- W3100118001 magId "3100118001" @default.