基于模型检测的程序恶意行为识别方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于模型检测的程序恶意行为识别方法

张一弛, 庞建民, 范学斌, 姚鑫磊

Program Malicious Behavior Recognizing Method Based on Model Checking

ZHANG Yi-Chi, LONG Jian-Min, FAN Hua-Bin, TAO Xin-Lei

计算机工程 . 2012, (18): 107 -110 . DOI: 10.3969/j.issn.1000-3428.2012.18.029