杨利军
【姓名】 杨利军
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 逻辑程序,语义检测,KSG图,源程序,稳定模型,实例化,分析方法,安全知识,系统调用,安全性评价,提取,可扩展性,关键节点,安全规则,安全漏洞,语句,安全性检测,规则体,安全属性,求解,
【工作单位】 武汉大学
【曾工作单位】 武汉大学;
【所在地域】 武汉
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 1 4 86
中国期刊全文数据库    共找到1篇
[1]杨利军;董红斌;梁意文;谭成予;.源程序语义检测的稳定模型分析方法[J]计算机工程.2006,(15)
更多