Red Hat / Berkeley Abstract Software / Intel / / /
Facility
University of California / /
IndustryTerm
security audit / software development process / large software systems / secure systems / software development processes / setuid applications / software model checking / software / call site / rpmbuild tool / software packages / software verification / model checking tools / /
OperatingSystem
UNIX / Unix system / Red Hat Linux / Linux / GNU / /
Organization
United Nations / FSA / University of California / Berkeley / /
Person
Wei Tu / Checking An / Benjamin Schwarz Hao Chen David / Jeremy Lin / Geoff Morrison Jacob West / /
Model Checking An Entire Linux Distribution for Security Violations Benjamin Schwarz Hao Chen David Wagner {bschwarz, hchen, daw}@cs.berkeley.edu Geoff Morrison