A graph approach to quantitative analysis of control-flow obfuscating transformations.
Hsin-Yi TsaiYu-Lun HuangDavid A. WagnerPublished in: IEEE Trans. Inf. Forensics Secur. (2009)
Keyphrases
- quantitative analysis
- control flow
- data flow
- qualitative analysis
- qualitative evaluation
- software testing
- process model
- qualitative and quantitative analysis
- transition systems
- workflow management systems
- artificial intelligence
- reactive systems
- data sets
- business process models
- business process
- formal semantics
- open source
- databases