Icefex: Protocol Format Extraction from IL-based Concolic Execution.
Fan PanLifa WuZheng HongHuabo LiHaiguang LaiChenghui ZhengPublished in: KSII Trans. Internet Inf. Syst. (2013)
Keyphrases
- lightweight
- automatic extraction
- database transactions
- formal analysis
- deadlock free
- knowledge extraction
- communication protocol
- network protocols
- failure recovery
- information extraction
- databases
- tcp ip
- automatically extracting
- concurrent execution
- execution model
- state information
- cryptographic protocols
- application layer
- multi agent
- multimedia