Alexandre Vernotte, Pontus Johnson, Mathias Ekstedt, Robert Lagerström. In-Depth Modeling of the UNIX Operating System for Architectural Cyber Security Analysis. In Sylvain Hallé, Remco M. Dijkman, James Lapalme, editors, 21st IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2017, Quebec City, QC, Canada, October 10-13, 2017. pages 127-136, IEEE Computer Society, 2017. [doi]
Abstract is missing.