尹中旭
- 作品数：22 被引量：36H指数：3
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：文化科学自动化与计算机技术自然科学总论更多>>
- 基于相容优化的并行约束求解方法
- 本发明涉及一种基于相容优化的并行约束求解方法，含有下列步骤：1：初始化任务队列；2：如果任务队列中没有搜索向量，则结束；如果有搜索向量，则选择一个作为当前工作任务；3：从所有未赋值的约束变元中选择要赋值的约束变元；4：对...
- 曹琰魏强彭建山尹中旭
- 文献传递
- 基于并行符号执行的多源多目标逼近测试方法
- 本发明涉及一种基于并行符号执行的多源多目标逼近测试方法，首先，在面向安全分析的中间语言表示基础上，检测定位输入函数source节点和危险函数sink节点；然后，利用程序控制流图，分析source节点到sink节点的调用路...
- 曹琰魏强尹中旭彭建山武泽慧柳晓龙刘雯雯
- 文献传递
- 基于UD和DU链的释放指针误用检测技术
- 针对目前利用释放指针误用漏洞对客户端的攻击比例明显增加,危害巨大,因此对这类漏洞进行检测就变得十分必要.本文采用了基于引用-定值和定值-引用链的释放指针误用漏洞检测技术,通过对变量,释放指针误用漏洞等概念进行刻画,利用等...
- 欧阳永基尹中旭彭建山王清贤
- 关键词：客户端
- 文献传递
- 一种动静态结合的软件安全性测试方法
- 本发明涉及一种计算机软件安全性测试方法。一种动静态结合的软件安全性测试方法，首先，将可执行程序进行反汇编及中间语言转换，生成文件的函数调用图和控制流图；然后通过对函数调用图的静态分析，找到系统脆弱点，并利用动态分析方法构...
- 魏强王清贤曹琰彭建山尹中旭刘杰欧阳永基
- 文献传递
- 基于相容优化的并行约束求解方法
- 本发明涉及一种基于相容优化的并行约束求解方法，含有下列步骤：1：初始化任务队列；2：如果任务队列中没有搜索向量，则结束；如果有搜索向量，则选择一个作为当前工作任务；3：从所有未赋值的约束变元中选择要赋值的约束变元；4：对...
- 曹琰魏强彭建山尹中旭
- 文献传递
- 嵌入式系统安全中的“对抗式”综合实践探索被引量：1
- 2023年
- 针对嵌入式系统安全类课程授课模式单一、学生思维受限、难以接触一线、缺乏“正向设计+逆向分析”综合能力培养的问题,提出一种“对抗式”综合实践方法,以嵌入式系统综合演练课程为例,介绍该方法的具体实施过程,最后对该方法的考核标准及效果进行分析并给出后续建议。
- 王奕森井靖魏强尹中旭
- 关键词：对抗式嵌入式系统安全实践类课程攻防实战
- 操作系统安全验证形式化分析框架被引量：1
- 2009年
- 结合当前形式化验证方法的特点和操作系统安全模型情况,本文提出了这些方法在操作系统安全分析中的应用。结合传统定理证明方法的优势,将模型检验方法纳入形式化安全分析体系当中,并分别提出了在安全分析中的应用情况。将用定理证明用于从模型到规则的分析,模型检验从实现中抽取模型,用于从实现到规则的分析。
- 尹中旭吴灏
- 关键词：定理证明可信计算基访问控制模型
- 网络攻防演练平台的设计与实现被引量：16
- 2011年
- 针对网络攻防课程实验环境的构建问题,本文设计了作为网络攻防课程的教学和实验辅助环境的网络攻防演练平台。以通过建立课堂演示和课程相关的验证性实验攻击标靶搭建攻击测试环境为目标进行模块化的设计,同时,针对支持网络攻防对抗演练的支撑环境进行设计,对推进网络攻防课程教学和提高学生动手能力具有重要意义。
- 尹中旭朱俊虎魏强胡雪丽
- 关键词：教学演示
- 军校任职教育双网模式的混合教学被引量：1
- 2023年
- 针对传统的以理论讲授为主的课堂教学模式难以满足军校任职干部岗位能力培养需求的问题,分析军校任职培训现状,结合军队的实战需求及保密规定,提出基于双网模式的混合教学方法,阐述双网混合教学模式设计原则,介绍双网环境下的混合教学模式在任职教育电子取证专业课教学中的应用,最后通过教学效果说明该教学模式的有效性。
- 胡雪丽尹中旭奚琪
- 关键词：军校任职教育双网
- 一种使用多样本差异比对的软件故障分析方法
- 本发明涉及一种计算机技术领域的软件分析方法，特别是涉及一种使用多样本差异比对的软件故障分析方法。其步骤包括：1）将被分析程序进行反汇编和动态插桩；2）追踪和记录待分析程序的执行指令流，构建程序的以基本块为最小单位的控制流...
- 魏强彭建山尹中旭王振兴方圆张咪杨欣任栋
- 文献传递
