Automatic Inference and Enforcement of Kernel Data Structure Invariants

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Automatic Inference and Enforcement of Kernel Data Structure Invariants
Συγγραφείς: Baliga, Arati, Ganapathy, Vinod, Iftode, Liviu
Πηγή: 2008 Annual Computer Security Applications Conference (ACSAC) Computer Security Applications Conference, 2008. ACSAC 2008. Annual. :77-86 Dec, 2008
Relation: 2008 Annual Computer Security Applications Conference (ACSAC)
Βάση Δεδομένων: IEEE Xplore Digital Library