Sökning: "hybrid enforcement"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden hybrid enforcement.

1. 1. Securing functional programs with floating-label information-flow control

   Författare :Pablo Buiras; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

   Sammanfattning : 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. LÄS MER

3. 2. Principled Flow Tracking in IoT and Low-Level Applications

   Författare :Iulia Bastys; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; WebAssembly apps; automatic labeling; IoT apps; enforcement granularity; design principles; information-flow control; language-based security;

   Sammanfattning : Significant fractions of our lives are spent digitally, connected to and dependent on Internet-based applications, be it through the Web, mobile, or IoT. All such applications have access to and are entrusted with private user data, such as location, photos, browsing habits, private feed from social networks, or bank details. LÄS MER

4. 3. Securing Interactive Systems

   Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program analysis; concurrency; multi-threading; covert channels; semantics-based security; language-based security; information-flow security; runtime enforcement; parallelism; scheduling; program transformation; information-flow control; fairness;

   Sammanfattning : This thesis provides means to achieve end-to-end information-flow security in interactive systems. The elusiveness of this problem stems from the fact that interaction patterns, primitives, synchronous communication and nondeterminism combine in ways where seemingly innocuous systems compromise security in unexpected ways under interaction. LÄS MER

5. 4. Organizational and Individual response to hybridity in the public sector : A case study exploring the customer orientation of the Swedish Enforcement Authority

   Författare :Henrik Edlund; Företagsekonomiska institutionen; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Public Management; Organizational hybridity; Customer orientation; Institutional logics; NPM;

   Sammanfattning : The aim of this study is to understand the response of public organizations and frontline public servants to the organizational hybridity that occurs when public organizations adopt market-inspired elements. To reach the aim I examine public sector customer orientation and how public organizations, as well as their employees, manage customer orientation, and the demands that the concept presents, alongside the demands traditionally presented to public organizations, and which motives and explanations that may be observed regarding how they manage these different demands. LÄS MER

7. 5. Tracking Information Flows in Interactive and Object-Oriented Programs

   Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

   Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER