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

Dynamic enforcement of dynamic policies

Pablo Buiras (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Bart van Delft (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Lecture Notes in Computer Science: 19th Nordic Conference on Secure IT Systems, NordSec 2014, Tromsø, Norway, 15-17 October 2014 (0302-9743). Vol. 8788 (2014), p. 275-276.
[Konferensbidrag, refereegranskat]

LIO is a dynamic information-flow control system embedded in Haskell that uses a runtime monitor to enforce noninterference. The monitor is written as a library, requiring no changes to the runtime. We propose to extend LIO with a state component, allowing us to enforce not only noninterference but also information-flow policies that change while the program is running.



Denna post skapades 2015-05-06. Senast ändrad 2016-11-02.
CPL Pubid: 216665

 

Läs direkt!


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