北京航空航天大学学报  2015, Vol. 41 Issue (12): 2348-2355    DOI: 10.13700/j.bh.1001-5965.2015.0164
  论文 本期目录 | 过刊浏览 | 高级检索 |
基于禁忌搜索的动态符号执行方法
蔡军1, 邹鹏1, 马金鑫2, 何骏1
1. 装备学院 复杂电子系统仿真实验室, 北京 101416;
2. 中国信息安全测评中心, 北京 100085
Dynamic symbolic execution approach based on tabu search
CAI Jun1, ZOU Peng1, MA Jinxin2, HE Jun1
1. Science and Technology on Complex Electronic System Simulation Laboratory, Academy of Equipment, Beijing 101416, China;
2. China Informaiton Technology Security Evaluation Center, Beijing 100085, China
版权所有 © 《北京航空航天大学学报》编辑部
地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 电子信箱:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn