Model Checking an Entire Linux Distribution for Security Violations (2005)

by Benjamin Schwarz, Hao Chen, David Wagner, Geoff Morrison, Jacob West, Jeremy Lin
Venue:In Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC