Conference
Micro-Policies: Formally Verified, Tag-Based Security Monitors.
| Title: | Micro-Policies: Formally Verified, Tag-Based Security Monitors. |
|---|---|
| Authors: | Amorim, Arthur Azevedo de, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew |
| Source: | 2015 IEEE Symposium on Security & Privacy; 2015, p813-830, 18p |
| Database: | Complementary Index |
| ISBN: | 9781467369497 |
|---|---|
| DOI: | 10.1109/SP.2015.55 |