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
Περιγραφή
ISBN:9780769534473
ISSN:10639527
DOI:10.1109/ACSAC.2008.29