Windows Vista / Microsoft Windows / Windows Server 2008 / /
Organization
IEEE Computer Society / /
Person
John D. Powell / David P. Gilliam / Matt Miller Leviathan / WD WD AU WD AU / Thomas Ball / John Lambert / George Fink / Prasad Naldurg / Sriram K. Rajamani / John C. Kelly / Stefan Schwoon / Matt Bishop / Martin Ouimet / Gerard J. Holzmann / /
Position
object manager / aide / model and auditor / manager callbacks / actor / manager in the Windows kernel / administrator / auditor / unified lattice model for static analysis / security auditor / Dean / and D. Wagner / /