Enforcing Kernel Security Invariants with Data Flow Integrity.

Chengyu Song Byoungyoung Lee Kangjie Lu William Harris Taesoo Kim Wenke Lee

Published in: NDSS (2016)

Keyphrases

data flow
database machine
data integrity
control flow
integrity verification
data confidentiality
high assurance
trusted computing

data security
data transfer
information security
kernel function
digital signal processing
object oriented software
intrusion detection
kernel methods

access control
systolic array
information flow control
moment invariants
computer security
security protocols
statistical databases

network security
security requirements
security issues
feature space
database management systems
software engineering
object oriented