| Title: |
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux |
| Authors: |
Georget, Laurent; Jaume, Mathieu; Tronel, Frederic; Piolle, Guillaume; Tong, Valerie Viet Triem |
| Source: |
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2017 IEEE/ACM 5th International FME Workshop on. :10-16 May, 2017 |
| Relation: |
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) |
| Database: |
IEEE Xplore Digital Library |