摘要： 主要看了两个方面的东西：1. BitBlaze上三个应用中的一个 - Automatic Model Extraction and Analysis2. 一篇论文 - Detecting Attacks That Exploit Application-Logic Errors Through Application-Level Auditing心得总结：1. Automatic Model Extraction and Analysis下的三个实际应用1) 网络协议的逆向工程 - 用于network trace reply2) 检查不同的网络协议与specification的偏差 - bin 阅读全文