In-Depth Modeling of the UNIX Operating System for Architectural Cyber Security Analysis.

Alexandre Vernotte, Pontus Johnson, Mathias Ekstedt, Robert Lagerstrm

Browse the full EDOC paper archive.