Sökning: "Marco Vassena"

Hittade 2 avhandlingar innehållade orden Marco Vassena.

1. 1. MAC, A Verified Information-Flow Control Library

   Författare :Marco Vassena; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

   Sammanfattning : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. LÄS MER

3. 2. Verifying Information Flow Control Libraries

   Författare :Marco Vassena; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Information Flow Control (IFC) is a principled approach to protecting the confidentiality and integrity of data in software systems. Intuitively, IFC sys- tems associate data with security labels that track and restrict flows of information throughout a program in order to enforce security. LÄS MER