Verifying security invariants in ExpressOS.
Haohui MaiEdgar PekHui XueSamuel Talmadge KingParthasarathy MadhusudanPublished in: ASPLOS (2013)
Keyphrases
- information security
- network security
- statistical databases
- database
- security requirements
- security issues
- security management
- security policies
- intrusion detection
- access control
- information assurance
- cyber attacks
- security systems
- computer security
- security problems
- real time
- data security
- security analysis
- network management
- security mechanisms
- biometric systems
- invariant features
- risk assessment
- security vulnerabilities
- sensor networks