FRINK Linked Data Fragments server

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

• W2115188098 abstract "Existing designs for fine-grained, dynamic information-flow control assume that it is acceptable to terminate the entire system when an incorrect flow is detected—i.e, they give up availability for the sake of confidentiality and integrity. This is an unrealistic limitation for systems such as long-running servers. We identify public labels and delayed exceptions as crucial ingredients for making information-flow errors recoverable while retaining the fundamental soundness property of non-interference, and we propose two new error-handling mechanisms that make all errors recoverable. The first mechanism builds directly on these basic ingredients, using not-a-values (NaVs) and data flow to propagate errors. The second mechanism adapts the standard exception model to satisfy the extra constraints arising from information flow control, converting thrown exceptions to delayed ones at certain points. We prove both mechanisms sound. Finally, we describe a prototype implementation of a full-scale language with NaVs and report on our experience building high-availability software components in this setting." @default.
• W2115188098 created "2016-06-24" @default.
• W2115188098 creator A5053420856 @default.
• W2115188098 creator A5064972235 @default.
• W2115188098 creator A5075185353 @default.
• W2115188098 creator A5085361253 @default.
• W2115188098 date "2012-01-01" @default.
• W2115188098 modified "2023-09-27" @default.
• W2115188098 title "Exceptionally Available Dynamic IFC" @default.
• W2115188098 cites W131515753 @default.
• W2115188098 cites W1606774834 @default.
• W2115188098 cites W1613776191 @default.
• W2115188098 cites W1725973462 @default.
• W2115188098 cites W174674715 @default.
• W2115188098 cites W1994197051 @default.
• W2115188098 cites W2005525408 @default.
• W2115188098 cites W2019032826 @default.
• W2115188098 cites W2019150607 @default.
• W2115188098 cites W2027822753 @default.
• W2115188098 cites W2066195326 @default.
• W2115188098 cites W2085939020 @default.
• W2115188098 cites W2100233145 @default.
• W2115188098 cites W2107657487 @default.
• W2115188098 cites W2122049982 @default.
• W2115188098 cites W2129592257 @default.
• W2115188098 cites W2132185316 @default.
• W2115188098 cites W2133457465 @default.
• W2115188098 cites W2143150127 @default.
• W2115188098 cites W2153684747 @default.
• W2115188098 cites W2158062279 @default.
• W2115188098 cites W2162283517 @default.
• W2115188098 cites W2166542433 @default.
• W2115188098 cites W2978916538 @default.
• W2115188098 hasPublicationYear "2012" @default.
• W2115188098 type Work @default.
• W2115188098 sameAs 2115188098 @default.
• W2115188098 citedByCount "1" @default.
• W2115188098 countsByYear W21151880982012 @default.
• W2115188098 crossrefType "journal-article" @default.
• W2115188098 hasAuthorship W2115188098A5053420856 @default.
• W2115188098 hasAuthorship W2115188098A5064972235 @default.
• W2115188098 hasAuthorship W2115188098A5075185353 @default.
• W2115188098 hasAuthorship W2115188098A5085361253 @default.
• W2115188098 hasConcept C111472728 @default.
• W2115188098 hasConcept C120314980 @default.
• W2115188098 hasConcept C124101348 @default.
• W2115188098 hasConcept C138885662 @default.
• W2115188098 hasConcept C154945302 @default.
• W2115188098 hasConcept C160191386 @default.
• W2115188098 hasConcept C189950617 @default.
• W2115188098 hasConcept C199360897 @default.
• W2115188098 hasConcept C2524010 @default.
• W2115188098 hasConcept C2775924081 @default.
• W2115188098 hasConcept C2779136372 @default.
• W2115188098 hasConcept C31258907 @default.
• W2115188098 hasConcept C33923547 @default.
• W2115188098 hasConcept C38349280 @default.
• W2115188098 hasConcept C38652104 @default.
• W2115188098 hasConcept C39920170 @default.
• W2115188098 hasConcept C41008148 @default.
• W2115188098 hasConcept C41895202 @default.
• W2115188098 hasConcept C71745522 @default.
• W2115188098 hasConcept C89611455 @default.
• W2115188098 hasConcept C93996380 @default.
• W2115188098 hasConceptScore W2115188098C111472728 @default.
• W2115188098 hasConceptScore W2115188098C120314980 @default.
• W2115188098 hasConceptScore W2115188098C124101348 @default.
• W2115188098 hasConceptScore W2115188098C138885662 @default.
• W2115188098 hasConceptScore W2115188098C154945302 @default.
• W2115188098 hasConceptScore W2115188098C160191386 @default.
• W2115188098 hasConceptScore W2115188098C189950617 @default.
• W2115188098 hasConceptScore W2115188098C199360897 @default.
• W2115188098 hasConceptScore W2115188098C2524010 @default.
• W2115188098 hasConceptScore W2115188098C2775924081 @default.
• W2115188098 hasConceptScore W2115188098C2779136372 @default.
• W2115188098 hasConceptScore W2115188098C31258907 @default.
• W2115188098 hasConceptScore W2115188098C33923547 @default.
• W2115188098 hasConceptScore W2115188098C38349280 @default.
• W2115188098 hasConceptScore W2115188098C38652104 @default.
• W2115188098 hasConceptScore W2115188098C39920170 @default.
• W2115188098 hasConceptScore W2115188098C41008148 @default.
• W2115188098 hasConceptScore W2115188098C41895202 @default.
• W2115188098 hasConceptScore W2115188098C71745522 @default.
• W2115188098 hasConceptScore W2115188098C89611455 @default.
• W2115188098 hasConceptScore W2115188098C93996380 @default.
• W2115188098 hasLocation W21151880981 @default.
• W2115188098 hasOpenAccess W2115188098 @default.
• W2115188098 hasPrimaryLocation W21151880981 @default.
• W2115188098 hasRelatedWork W166194254 @default.
• W2115188098 hasRelatedWork W1975294133 @default.
• W2115188098 hasRelatedWork W2006346002 @default.
• W2115188098 hasRelatedWork W2039812824 @default.
• W2115188098 hasRelatedWork W2157587610 @default.
• W2115188098 hasRelatedWork W2398981685 @default.
• W2115188098 hasRelatedWork W2516718098 @default.
• W2115188098 hasRelatedWork W2547734790 @default.
• W2115188098 hasRelatedWork W2622004750 @default.
• W2115188098 hasRelatedWork W2757442145 @default.
• W2115188098 hasRelatedWork W2761566394 @default.
• W2115188098 hasRelatedWork W2791530792 @default.

• next