Matches in SemOpenAlex for { <https://semopenalex.org/work/W3115540963> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3115540963 abstract "This work provides a study to demonstrate the potential of using off-the-shelf programming languages and their theories to build sound language-based-security tools. Our study focuses on information flow security encompassing declassification policies that allow us to express flexible security policies needed for practical requirements. We translate security policies, with declassification, into an interface for which an unmodified standard typechecker can be applied to a source program—if the program typechecks, it provably satisfies the policy. Our proof reduces security soundness—with declassification—to the mathematical foundation of data abstraction, Reynolds’ abstraction theorem." @default.
- W3115540963 created "2021-01-05" @default.
- W3115540963 creator A5009739199 @default.
- W3115540963 creator A5050516258 @default.
- W3115540963 creator A5087729716 @default.
- W3115540963 date "2020-01-01" @default.
- W3115540963 modified "2023-10-17" @default.
- W3115540963 title "Type-Based Declassification for Free" @default.
- W3115540963 cites W1664326696 @default.
- W3115540963 cites W1699577049 @default.
- W3115540963 cites W1996381722 @default.
- W3115540963 cites W2013368693 @default.
- W3115540963 cites W2027423863 @default.
- W3115540963 cites W2044338429 @default.
- W3115540963 cites W2057292961 @default.
- W3115540963 cites W2066349785 @default.
- W3115540963 cites W2067012475 @default.
- W3115540963 cites W2081377878 @default.
- W3115540963 cites W2110196404 @default.
- W3115540963 cites W2118198367 @default.
- W3115540963 cites W2129162180 @default.
- W3115540963 cites W2148973616 @default.
- W3115540963 cites W2162846161 @default.
- W3115540963 cites W2282745946 @default.
- W3115540963 cites W2602388145 @default.
- W3115540963 cites W2604664164 @default.
- W3115540963 cites W2736133668 @default.
- W3115540963 cites W2766482825 @default.
- W3115540963 cites W2776685097 @default.
- W3115540963 cites W2779893805 @default.
- W3115540963 cites W2794811688 @default.
- W3115540963 cites W2799208700 @default.
- W3115540963 cites W2898601682 @default.
- W3115540963 cites W2963096092 @default.
- W3115540963 cites W2964788122 @default.
- W3115540963 cites W2997250709 @default.
- W3115540963 cites W2997599371 @default.
- W3115540963 cites W3009776881 @default.
- W3115540963 cites W3016757878 @default.
- W3115540963 cites W3055243769 @default.
- W3115540963 cites W3105003009 @default.
- W3115540963 cites W4242021682 @default.
- W3115540963 cites W4251824284 @default.
- W3115540963 cites W60956224 @default.
- W3115540963 doi "https://doi.org/10.1007/978-3-030-63406-3_11" @default.
- W3115540963 hasPublicationYear "2020" @default.
- W3115540963 type Work @default.
- W3115540963 sameAs 3115540963 @default.
- W3115540963 citedByCount "1" @default.
- W3115540963 countsByYear W31155409632023 @default.
- W3115540963 crossrefType "book-chapter" @default.
- W3115540963 hasAuthorship W3115540963A5009739199 @default.
- W3115540963 hasAuthorship W3115540963A5050516258 @default.
- W3115540963 hasAuthorship W3115540963A5087729716 @default.
- W3115540963 hasBestOaLocation W31155409633 @default.
- W3115540963 hasConcept C111472728 @default.
- W3115540963 hasConcept C124304363 @default.
- W3115540963 hasConcept C138885662 @default.
- W3115540963 hasConcept C154908896 @default.
- W3115540963 hasConcept C199360897 @default.
- W3115540963 hasConcept C2779136372 @default.
- W3115540963 hasConcept C38652104 @default.
- W3115540963 hasConcept C39920170 @default.
- W3115540963 hasConcept C41008148 @default.
- W3115540963 hasConcept C41895202 @default.
- W3115540963 hasConcept C80444323 @default.
- W3115540963 hasConceptScore W3115540963C111472728 @default.
- W3115540963 hasConceptScore W3115540963C124304363 @default.
- W3115540963 hasConceptScore W3115540963C138885662 @default.
- W3115540963 hasConceptScore W3115540963C154908896 @default.
- W3115540963 hasConceptScore W3115540963C199360897 @default.
- W3115540963 hasConceptScore W3115540963C2779136372 @default.
- W3115540963 hasConceptScore W3115540963C38652104 @default.
- W3115540963 hasConceptScore W3115540963C39920170 @default.
- W3115540963 hasConceptScore W3115540963C41008148 @default.
- W3115540963 hasConceptScore W3115540963C41895202 @default.
- W3115540963 hasConceptScore W3115540963C80444323 @default.
- W3115540963 hasLocation W31155409631 @default.
- W3115540963 hasLocation W31155409632 @default.
- W3115540963 hasLocation W31155409633 @default.
- W3115540963 hasOpenAccess W3115540963 @default.
- W3115540963 hasPrimaryLocation W31155409631 @default.
- W3115540963 hasRelatedWork W1532058475 @default.
- W3115540963 hasRelatedWork W1652311832 @default.
- W3115540963 hasRelatedWork W2118300983 @default.
- W3115540963 hasRelatedWork W2135396778 @default.
- W3115540963 hasRelatedWork W2166247150 @default.
- W3115540963 hasRelatedWork W2243428364 @default.
- W3115540963 hasRelatedWork W2462453872 @default.
- W3115540963 hasRelatedWork W3207171446 @default.
- W3115540963 hasRelatedWork W4243252198 @default.
- W3115540963 hasRelatedWork W4245713008 @default.
- W3115540963 isParatext "false" @default.
- W3115540963 isRetracted "false" @default.
- W3115540963 magId "3115540963" @default.
- W3115540963 workType "book-chapter" @default.