陈建熊
- 作品数：12 被引量：28H指数：3
- 供职机构：电子工程学院更多>>
- 发文基金：国家自然科学基金军内科研计划重点项目更多>>
- 相关领域：自动化与计算机技术自然科学总论电子电信更多>>
- 基于遗传算法的黑箱测试用例自动生成模型被引量：5
- 2008年
- 介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插装,降低对程序源代码的要求,扩展了基于遗传算法的测试用例自动生成技术的应用范围。
- 潘祖烈孙乐昌蔡铭陈建熊
- 关键词：黑箱测试遗传算法测试例
- 数据加密技术及其应用被引量：1
- 2004年
- 随着计算机的发展,网络中的安全问题也日趋严重。在TCP/IP协议中,传输的数据都是以明 文进行传输的,所以存在固有安全缺陷,解决这一问题的重要手段就是数据加密,在现代网络通信中,人们 的安全意识越来越强烈,密码学的应用也越来越广泛。本文主要介绍数据加密技术的相关技术及其应用。
- 陈建熊刘克胜
- 关键词：数据加密技术TCP/IP协议明文网络通信密码学
- 串空间理论的扩展和应用被引量：1
- 2009年
- 根据安全协议分析的需要,阐述经扩展后的串空间理论,在该理论中加入Diffie-Hellman密钥交换等操作,在此基础上扩展理想和诚实的概念,使用扩展的串空间理论分析SIGMA-R协议的核心安全特性——保密性和认证特性,并通过数学方法加以验证。
- 陈建熊孙乐昌潘祖烈蔡铭
- 关键词：串空间DIFFIE-HELLMAN密钥交换数字签名
- 一个端对端安全协议的缺陷分析
- 2009年
- 针对串空间理论的不足,在相关研究的基础上,加入了Diffie-Hellman操作的密码原语,扩展了理想和诚实的概念,拓展了串空间理论的分析范围。分析了一个端对端安全协议的核心安全特性,即保密性和认证特性,使用扩展的串空间理论分析得出该协议不能满足认证性,给出该协议的一个攻击和改进方法。
- 陈建熊孙乐昌束妮娜
- 关键词：串空间DIFFIE-HELLMAN密钥交换数字签名
- 认证测试理论的扩展和应用被引量：2
- 2009年
- 通过在串空间中加入新的密码原语,重新定义认证测试的前提条件、扩展认证测试理论,使其能够分析有签名运算的密码协议。通过对基于Diffie-Hellman密钥交换的安全协议进行合理的假设,使其参数项具有现时值的性质,从而可以直接使用扩展的认证测试理论进行分析。使用扩展后的认证测试分析一个包含签名和Diffie-Hellman密钥交换的密码协议,得出该协议满足认证特性。
- 陈建熊孙乐昌
- 关键词：串空间数字签名
- 认证测试对分析重放攻击的缺陷被引量：6
- 2009年
- 分析了重放攻击的内因和阻止重放攻击的对策,使用认证测试方法分析了一个更改了的安全协议,分析得出该协议是正确的,但是通过认证测试的前提假设的分析得出该协议存在重放攻击;另外可以通过认证测试方法的缺陷来定位协议的重放攻击。
- 陈建熊孙乐昌
- 关键词：安全协议串空间重放攻击
- 一种安全协议分析算法研究
- 2009年
- 研究分析了Athena自动协议形式化分析算法的原理。该算法能够分析协议的各种安全属性,它基于扩展了的串空间模型,利用了消息间的因果关系,并且结合了定理证明和模型检测方法,能有效地分析安全协议的各种安全属性。在此基础上,完整地分析了ISO/IEC DIS11770-3中提出的Helsinki协议的认证属性,分析得出该协议是有安全缺陷的。
- 陈建熊孙乐昌揭摄
- 关键词：安全协议串空间
- 云计算中虚拟化技术的安全威胁被引量：10
- 2012年
- 围绕云计算中的虚拟化技术,介绍虚拟化技术的原理和分类,指出虚拟化技术实现过程中潜在的脆弱点和攻击路径.针对虚拟化技术的特点,详尽地剖析了多种基于不同存储描述表进行虚拟机探测的方法,并给出了3种典型的基于硬件虚拟化的恶意攻击实例.以VMware vSphere云操作系统为目标,实施了DoS(拒绝服务)攻击实验,实验表明:DoS攻击将会影响vSphere系统的稳定性,甚至出现宕机.
- 王怀习陈建熊王晨刘克胜
- 关键词：云计算虚拟化
- Win32 PE病毒研究被引量：3
- 2006年
- 计算机病毒在近年来发展很快,从早期的DOS病毒到现在的W in32病毒,它成为直接威胁计算机信息安全主要因素.W in32 PE文件格式是W indows操作系统主要的可执行文件格式.主要介绍Win32 PE文件病毒的机理、关键技术及其传染的过程,以期对其的破解和控制有助.
- 李响陈建熊
- 关键词：计算机病毒PE文件格式API函数
- 基于认证测试方法的Helsinki协议分析
- 陈建熊孙乐昌
