陈熹

作品数:6被引量:17H指数:3
导出分析报告
供职机构:解放军信息工程大学更多>>
发文主题:标量乘算法三进制JACOBIAN脆弱性BOOTKIT更多>>
发文领域:自动化与计算机技术电子电信文化科学更多>>
发文期刊:《创新教育研究》《计算机工程》《信息工程大学学报》《计算机科学》更多>>
所获基金:河南省科技创新杰出青年基金国家自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-6
视图:
排序:
基于模型学习的网络安全协议脆弱性分析系统被引量:3
《信息工程大学学报》2019年第1期111-115,共5页申莹珠 顾纯祥 陈熹 
河南省科技创新杰出青年基金(134100510002)
针对网络协议中日益凸显的安全问题,基于自动机理论中的模型学习技术,利用协议状态模糊测试方法对网络协议进行黑盒测试,提出并实现了网络安全协议脆弱性分析检测系统。该系统能够自动化推演出目标协议具体实现的状态机模型,将系统用于O...
关键词:模型学习 协议状态模糊测试 状态机推断 脆弱性分析系统 
基于选择明文攻击的WPA2-Enterprise协议安全性分析
《信息工程大学学报》2017年第4期448-453,共6页张协力 顾纯祥 陈熹 
河南省科技创新杰出青年基金资助项目(134100510002)
描述一种针对PEAP认证突破的新思路,在满足一定网络配置条件下,将已有LEAP协议破解思路结合选择明文攻击方法应用到PEAP协议的认证突破中。实验表明,在采用PEAP认证的无线网络满足一些设置条件时,攻击者可以在几分钟内获取合法用户认证...
关键词:PEAP协议 LEAP协议 AP欺骗 中间人攻击 选择明文攻击 
基于计算树逻辑的LSB替换隐写软件检测被引量:1
《信息工程大学学报》2017年第1期66-72,共7页李兆雨 耿红梅 陈熹 赵正 
国家自然科学基金资助项目(61379151;61274189;61302159;61401512)
针对LSB替换隐写的取证问题,从软件检测的角度出发,提出一种基于计算树逻辑的隐写软件检测方法。该方法采用计算树逻辑描述LSB替换隐写行为,并通过模型检测识别隐写软件。实验表明该方法能够有效检测出已知和未知的LSB替换隐写软件。
关键词:隐写软件 LSB替换 计算树逻辑 模型检测 
网络工程专业计算机网络实践课程教学改革的探索被引量:2
《创新教育研究》2015年第4期122-127,共6页费金龙 陈熹 王益伟 武东英 
本文针对计算机网络实验课程存在的实验内容相对陈旧、验证型实验过重、课程实施灵活性差等问题,从实验科目更新、创新能力培养、柔性模块化实验科目设计等方面入手,拟构建多种阶梯型实验类型,充分考虑到不同培养对象的个性化需求,对计...
关键词:计算机网络 实践课程教学 创新能力 实验环境构建 
一种高效安全的椭圆曲线标量乘算法被引量:8
《计算机工程》2012年第18期103-106,共4页陈熹 祝跃飞 
郑州市科技创新团队基金资助项目(10CXTD150)
基于点验证和基于一致性检测的椭圆曲线标量乘安全算法一般运算效率低下。为此,通过对错误探测方法进行改进,提出一种基于三进制的椭圆曲线标量乘算法,给出算法的正确性证明,并在仿射坐标和Jacobian坐标下对其进行分析,结果表明,在保证...
关键词:点验证 一致性检测 椭圆曲线标量乘 错误分析攻击 三进制表示 仿射坐标 Jacobian坐标 
UEFI Bootkit模型与分析被引量:3
《计算机科学》2012年第10期308-312,共5页唐文彬 陈熹 陈嘉勇 祝跃飞 
郑州市科技创新团队(10CXTD150)资助
分析了UEFI Bootkit的工作原理和关键技术;在Harold木马模型的基础上,给出了UEFI Bootkit的形式化描述;分析了UEFI Bootkit和木马在隐蔽技术方面的差异,建立了UEFI Bootkit协同隐藏的形式化模型;给出了模型的一个应用实例,理论证明了在...
关键词:UEFI 形式化 BOOTKIT 隐蔽技术 可信计算 检测系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部