摘要:
参考文章(101)
Charlie Curtsinger, Benjamin Livshits, Benjamin Zorn, Christian Seifert, ZOZZLE: fast and precise in-browser JavaScript malware detection usenix security symposium. pp. 3- 3 ,(2011)
Pongsin Poosankam, Dawn Song, Edward XueJun Wu, Chia Yuan Cho, Domagoj Babić, Kevin Zhijie Chen, MACE: model-inference-assisted concolic exploration for protocol and vulnerability discovery usenix security symposium. pp. 10- 10 ,(2011)
Anand Raman, Jon Patrick, Palmerston North, The sk-strings method for inferring PFSA ,(1997)
David A. Molnar, Michael Y. Levin, Patrice Godefroid, Automated Whitebox Fuzz Testing. network and distributed system security symposium. ,(2008)
Dimitra Giannakopoulou, Zvonimir Rakamarić, Vishwanath Raman, Symbolic learning of component interfaces static analysis symposium. pp. 248- 264 ,(2012) , 10.1007/978-3-642-33125-1_18
Philip Hingston, A genetic algorithm for regular inference genetic and evolutionary computation conference. pp. 1299- 1306 ,(2001)
Therese Berg, Bengt Jonsson, Harald Raffelt, Regular inference for state machines using domains with equality tests fundamental approaches to software engineering. pp. 317- 331 ,(2008) , 10.1007/978-3-540-78743-3_24
Paruj Ratanaworabhan, Benjamin Livshits, Benjamin Zorn, NOZZLE: a defense against heap-spraying code injection attacks usenix security symposium. pp. 169- 186 ,(2009)
Muzammil Shahbaz, Roland Groz, Inferring Mealy Machines formal methods. ,vol. 5850, pp. 207- 222 ,(2009) , 10.1007/978-3-642-05089-3_14
Martin Johns, Justus Winter, Protecting the Intranet Against “JavaScript Malware” and Related Attacks Detection of Intrusions and Malware, and Vulnerability Assessment. pp. 40- 59 ,(2007) , 10.1007/978-3-540-73614-1_3