Paolo Milani Comparetti Gilbert Wondracek Christopher Krügel Engin Kirda Prospex: Protocol Specification Extraction. 110-125 2009 IEEE Symposium on Security and Privacy http://dx.doi.org/10.1109/SP.2009.14 conf/sp/2009 db/conf/sp/sp2009.html#ComparettiWKK09