CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Flexible Dynamic Information Flow Control in Haskell

D. Stefan ; Alejandro Russo (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; J. C. Mitchell ; D. Mazieres
ACM Sigplan Notices (0362-1340). Vol. 46 (2011), 12, p. 95-106.
[Artikel, refereegranskad vetenskaplig]

We describe a new, dynamic, floating-label approach to language-based information flow control, and present an implementation in Haskell. A labeled IO monad, LIO, keeps track of a current label and permits restricted access to IO functionality, while ensuring that the current label exceeds the labels of all data observed and restricts what can be modified. Unlike other language-based work, LIO also bounds the current label with a current clearance that provides a form of discretionary access control. In addition, programs may encapsulate and pass around the results of computations with different labels. We give precise semantics and prove confidentiality and integrity properties of the system.

Nyckelord: Security, Languages, Design, Information flow control, Monad, Library, security, arrows, model



Denna post skapades 2012-02-23. Senast ändrad 2012-12-03.
CPL Pubid: 155369

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)

Ämnesområden

Programvaruteknik

Chalmers infrastruktur