Enforcement of Timing-Sensitive Security Policies in Runtime Systems

Mathias Pedersen

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

560 Downloads (Pure)


The work presented in this dissertation focuses on applying information-flow control (IFC) techniques to the construction of secure runtime systems that do not leak sensitive information through their timing behavior. The dissertation also presents applications of IFC to the development of secure programs that require dynamic authorization policies.

Chapter 2 presents a series of timing channel attacks on automatic memory management, and a calculus in which the attacks can be formally studied. We then study an enforcement technique for preventing the discovered timing leaks, and prove the enforcement sound using the Coq proof assistant. The enforcement combines a security type system with a secure semantics for garbage collection.

Chapter 3 studies the feasibility of implementing the secure garbage collection semantics, and other runtime related activities, like secure thread scheduling. We present a language for implementing such secure runtime components, along with a type system for which we prove that any well-typed program is secure. Thus, runtime system activities can be implemented as a program in the language itself, and the well-typing of the program guarantees that the runtime activity does not leak information through timing.

Finally, Chapter 4 studies authorization policies using the Flow-Limited Authorization Model (FLAM), and shows how developers can program with dynamic and decentralized authorization policies while guaranteeing security. Previous work applying FLAM to the development of secure programs has focused on static and fine-grained enforcement techniques, but we argue that FLAM is better suited for a dynamic enforcement of coarse-grained information-flow control.
ForlagAarhus University
Antal sider216
StatusUdgivet - okt. 2019


Dyk ned i forskningsemnerne om 'Enforcement of Timing-Sensitive Security Policies in Runtime Systems'. Sammen danner de et unikt fingeraftryk.