FRINK Linked Data Fragments server

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

• W2311847487 abstract "The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis.Timing channels are dangerous in the presence ofconcurrency. We start with the design, formalisation andimplementation of a concurrent version of LIO which is secure againstthem. More specifically, we remove leaks due to non-terminatingbehaviour of programs (termination covert channel) and leaks producedby forcing certain interleavings of threads, as a result of affectingtheir timing behaviour (internal timing covert channel). The keyinsight is to decouple computations so that threads observing thetiming or termination behaviour of other threads are required to be atthe same confidentiality level. This work only deals with internaltiming that can be exploited through language-level operations.We also mitigate leaks that result from the precise measurement of thetiming of observable events (external timing covert channel), e.g. byusing a stopwatch. In further work, we tackle leaks that result fromhardware-based shared resources, such as the processor cache. Thisthesis presents a cache-based attack on LIO and proposes two solutionsthat rely on time-agnostic scheduling: the first one consists in amodification to the Haskell runtime and the other one is a purelylanguage-based implementation. We also present a new manifestation ofinternal timing in Haskell, by exploiting lazy evaluation to encodesensitive information as timing perturbations.Dynamic policies arise when the set of allowed flows of information ispermitted to change as the program runs. Declassification can beviewed as a special case of dynamic policies. This thesis introducesan extension to LIO which supports dynamic policies and can encodewell-known label formats such as the DLM and DC labels. Moreover, wealso present the notion of restricted privileges, giving principalsthe ability to restrict the ways in which their authority can be usedin the system, and supporting robust declassification.We also add flow-sensitivity to LIO, whichconsists in the ability for the security labels of references tomutate, depending on the sensitivity of what is stored in them.Finally, we introduce a hybrid enforcement which mixes staticand dynamic analyses. In particular, we leverage advanced type systemfeatures in Haskell to give the programmer control over which parts ofthe program are dynamically checked and which parts are staticallychecked. The core of this library is a general technique for deferringchecking of type-class constraints to runtime which is applicable toother domains beyond language-based security." @default.
• W2311847487 created "2016-06-24" @default.
• W2311847487 creator A5005787777 @default.
• W2311847487 date "2016-01-01" @default.
• W2311847487 modified "2023-09-28" @default.
• W2311847487 title "Securing functional programs with floating-label information-flow control" @default.
• W2311847487 hasPublicationYear "2016" @default.
• W2311847487 type Work @default.
• W2311847487 sameAs 2311847487 @default.
• W2311847487 citedByCount "0" @default.
• W2311847487 crossrefType "dissertation" @default.
• W2311847487 hasAuthorship W2311847487A5005787777 @default.
• W2311847487 hasConcept C103377522 @default.
• W2311847487 hasConcept C111919701 @default.
• W2311847487 hasConcept C115537543 @default.
• W2311847487 hasConcept C120314980 @default.
• W2311847487 hasConcept C138885662 @default.
• W2311847487 hasConcept C149635348 @default.
• W2311847487 hasConcept C160191386 @default.
• W2311847487 hasConcept C169590947 @default.
• W2311847487 hasConcept C184842701 @default.
• W2311847487 hasConcept C193702766 @default.
• W2311847487 hasConcept C199360897 @default.
• W2311847487 hasConcept C2777904410 @default.
• W2311847487 hasConcept C2779338814 @default.
• W2311847487 hasConcept C2780624054 @default.
• W2311847487 hasConcept C29024540 @default.
• W2311847487 hasConcept C31258907 @default.
• W2311847487 hasConcept C41008148 @default.
• W2311847487 hasConcept C41895202 @default.
• W2311847487 hasConcept C42383842 @default.
• W2311847487 hasConcept C50831359 @default.
• W2311847487 hasConcept C79974875 @default.
• W2311847487 hasConcept C93682380 @default.
• W2311847487 hasConceptScore W2311847487C103377522 @default.
• W2311847487 hasConceptScore W2311847487C111919701 @default.
• W2311847487 hasConceptScore W2311847487C115537543 @default.
• W2311847487 hasConceptScore W2311847487C120314980 @default.
• W2311847487 hasConceptScore W2311847487C138885662 @default.
• W2311847487 hasConceptScore W2311847487C149635348 @default.
• W2311847487 hasConceptScore W2311847487C160191386 @default.
• W2311847487 hasConceptScore W2311847487C169590947 @default.
• W2311847487 hasConceptScore W2311847487C184842701 @default.
• W2311847487 hasConceptScore W2311847487C193702766 @default.
• W2311847487 hasConceptScore W2311847487C199360897 @default.
• W2311847487 hasConceptScore W2311847487C2777904410 @default.
• W2311847487 hasConceptScore W2311847487C2779338814 @default.
• W2311847487 hasConceptScore W2311847487C2780624054 @default.
• W2311847487 hasConceptScore W2311847487C29024540 @default.
• W2311847487 hasConceptScore W2311847487C31258907 @default.
• W2311847487 hasConceptScore W2311847487C41008148 @default.
• W2311847487 hasConceptScore W2311847487C41895202 @default.
• W2311847487 hasConceptScore W2311847487C42383842 @default.
• W2311847487 hasConceptScore W2311847487C50831359 @default.
• W2311847487 hasConceptScore W2311847487C79974875 @default.
• W2311847487 hasConceptScore W2311847487C93682380 @default.
• W2311847487 hasLocation W23118474871 @default.
• W2311847487 hasOpenAccess W2311847487 @default.
• W2311847487 hasPrimaryLocation W23118474871 @default.
• W2311847487 hasRelatedWork W1502665852 @default.
• W2311847487 hasRelatedWork W1963506672 @default.
• W2311847487 hasRelatedWork W2023889124 @default.
• W2311847487 hasRelatedWork W2108204150 @default.
• W2311847487 hasRelatedWork W2257089299 @default.
• W2311847487 hasRelatedWork W2544541532 @default.
• W2311847487 hasRelatedWork W2754021180 @default.
• W2311847487 hasRelatedWork W2798178883 @default.
• W2311847487 hasRelatedWork W2802323239 @default.
• W2311847487 hasRelatedWork W2950723316 @default.
• W2311847487 hasRelatedWork W2955144968 @default.
• W2311847487 hasRelatedWork W2974485237 @default.
• W2311847487 hasRelatedWork W2992475109 @default.
• W2311847487 hasRelatedWork W3047262496 @default.
• W2311847487 hasRelatedWork W3047465835 @default.
• W2311847487 hasRelatedWork W3106040356 @default.
• W2311847487 hasRelatedWork W3145805937 @default.
• W2311847487 hasRelatedWork W76941479 @default.
• W2311847487 hasRelatedWork W936266762 @default.
• W2311847487 hasRelatedWork W2183051469 @default.
• W2311847487 isParatext "false" @default.
• W2311847487 isRetracted "false" @default.
• W2311847487 magId "2311847487" @default.
• W2311847487 workType "dissertation" @default.