Enforcing Kernel Security Invariants with Data Flow Integrity.
Chengyu SongByoungyoung LeeKangjie LuWilliam HarrisTaesoo KimWenke LeePublished 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