Pushdown model checking for malware detection

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.16, Iss.2, 2014-04, pp. : 147-173

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Malware Detection by Static Checking and Dynamic Analysis of Executables

International Journal of Information Security and Privacy (IJISP), Vol. 11, Iss. 3, 2017-07 ,pp. : 29-41

IGI Global_journal

Access to resources Recommend Favorite

Conflict detection in composite web services based on model checking

By Kim Yeon-Seok Shin Dong-Hoon Jeon Hyun-Bae Lee Kyong-Ho Cho Kee-Seong Park Wonjoo

International Journal of Web and Grid Services, Vol. 9, Iss. 4, 2013-11 ,pp. : 394-430

Inderscience Publishers

Access to resources Recommend Favorite

Model Checking with Strong Fairness

By Kesten Yonit Pnueli Amir Raviv Li-On Shahar Elad

Formal Methods in System Design, Vol. 28, Iss. 1, 2006-01 ,pp. : 57-84

Springer Publishing Company

Access to resources Recommend Favorite

Trail-Directed Model Checking

By Edelkamp S. Lluch-Lafuente A. Leue S.

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. : 1-14

Elsevier

Access to resources Recommend Favorite

Model Checking Interactor Specifications

By Campos J.C.

Automated Software Engineering, Vol. 8, Iss. 3-4, 2001-08 ,pp. : 275-310

Springer Publishing Company

Access to resources Recommend Favorite