software . 2019

CamFlow/information-flow-patch 5.1.5

Pasquier, Thomas;
Open Source
  • Published: 31 May 2019
  • Publisher: Zenodo
Abstract
Create a patch that implements the changes (and more) to the LSM framework suggested in the paper: Verifying the reliability of operating system-level information flow control systems in linux, Georget et al., ACM/IEEE Workshop on Formal Methods in Software Engineering (FormliSE'17) 2017.
Download fromView all 2 versions
Zenodo
Software . 2019
Provider: Datacite
Zenodo
Software . 2019
Provider: Zenodo
Any information missing or wrong?Report an Issue