Using Programmer-Written Compiler Extensions to Catch Security Holes.
Ken AshcraftDawson R. EnglerPublished in: IEEE Symposium on Security and Privacy (2002)
Keyphrases
- programming language
- security mechanisms
- computer security
- information security
- parallel programming
- intrusion detection
- security issues
- statistical databases
- high level
- security systems
- network security
- access control
- general purpose
- data security
- security problems
- security management
- default logic
- security threats
- information assurance
- efficient implementation
- smart card
- security requirements
- software development
- security analysis
- security model
- database