基于模型检测的程序恶意行为识别方法
기우모형검측적정서악의행위식별방법
Program Malicious Behavior Recognizing Method Based on Model Checking
저자의 최근 논문