一种可检测类型缺陷攻击的SAT改进模型

杨元原;马文平;刘维博;白晓峰

An improved SAT model for detection of type flaw attacks

YANG Yuanyuan;MA Wenping;LIU Weibo;BAI Xiaofeng

Journal of Shenyang University of Technology . 2011, (4): 422 -427 .