Conference
Micro-Policies: Formally Verified, Tag-Based Security Monitors.
| Τίτλος: | Micro-Policies: Formally Verified, Tag-Based Security Monitors. |
|---|---|
| Συγγραφείς: | Amorim, Arthur Azevedo de, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew |
| Πηγή: | 2015 IEEE Symposium on Security & Privacy; 2015, p813-830, 18p |
| Βάση Δεδομένων: | Complementary Index |
καταχωρήστε σχόλιο πρώτοι!