Discovering Application-Level Insider Attacks Using Symbolic Execution.
Karthik PattabiramanNithin NakkaZbigniew KalbarczykRavishankar K. IyerPublished in: SEC (2009)
Keyphrases
- application level
- symbolic execution
- insider attacks
- static analysis
- test generation
- test data generation
- operating system
- specification language
- source code
- network management
- attack detection
- quality of service
- early detection
- insider threat
- data flow
- virtual machine
- overlay network
- customer data
- cryptographic protocols
- databases
- database systems
- information systems
- open source
- simulated annealing algorithm
- multistage
- computer systems