A tool for static detection of timing channels in Java.
Alexander LuxArtem StarostinPublished in: J. Cryptogr. Eng. (2011)
Keyphrases
- detection accuracy
- false alarms
- detection method
- automatic detection
- open source
- detection rate
- dynamic analysis
- detection algorithm
- development environment
- multi channel
- database applications
- anomaly detection
- java programs
- general purpose
- object oriented
- digital images
- static analysis
- neural network
- byte code
- change detection
- software development
- source code
- search engine