检索结果-维普期刊中文期刊服务平台

基于确定/概率性文件拥有证明的机密数据安全去重方案被引量：6: 1; 作者陈越李超零 +2 位作者兰巨龙金开春王仲辉《通信学报》 EI CSCD 北大核心 2015年第9期1-12,共12页; 为解决云存储系统中机密数据去重面临的密文重复性检测与拥有性证明、针对数据机密性的攻击等难题,提出了基于Merkle散列树的MHT-Dedup方案和基于同态MAC的h MAC-Dedup方案。两者均通过对密文文件的拥有证明进行跨用户文件级重复性检测... 展开更多; 关键词云存储机密数据去重数据拥有证明 Merkle散列树同态MAC; 在线阅读下载PDF 职称材料

符号执行中非线性归纳变量循环优化分析方法被引量：1: 2; 作者秦书锴王震宇 +1 位作者汪永红徐凯杰《信息工程大学学报》 2017年第5期630-634,共5页; 提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环。首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次... 展开更多; 关键词递推链代数循环优化符号执行; 在线阅读下载PDF 职称材料

基于大数据的APT威胁检测方法被引量：2: 3; 作者王通郭渊博 +1 位作者祝松帅严新成《信息工程大学学报》 2017年第6期719-725,共7页; 在分析APT(advanced persistent threat)攻击特点及手段的基础上提出一种基于大数据关联技术的APT检测方法。该方法通过分布式采集数据,利用各攻击阶段特征选取元素实现整个攻击链的检测。关注攻击对设备及网络功能的影响,将检测的重心... 展开更多; 关键词 APT攻击大数据攻击链元素关联分析; 在线阅读下载PDF 职称材料

一种基于DNA疫苗人工免疫理论的网络攻击检测方法被引量：3: 4; 作者陈茜月庞建民《信息工程大学学报》 2020年第2期182-188,共7页; 人工免疫理论在网络安全领域的出色表现得到众多学者的认可,尤其在网络攻击检测方法中的应用取得了显著成效。但对于网络攻击的人工免疫系统(Artificial Immune System,AIS),群体优化过程中的退化现象会造成检测器种群趋于单一、抗体亲... 展开更多; 关键词网络攻击检测入侵检测人工免疫 DNA疫苗种群优化; 在线阅读下载PDF 职称材料

基于扩展命题区间时序逻辑的免疫网络攻击检测模型: 5; 作者陈茜月庞建民《信息工程大学学报》 2020年第1期43-48,共6页; 在攻击建模领域,基于逻辑的建模方法具有独特的优势和研究价值,能够有效检测复杂的网络攻击。以往研究[1]在建模和逻辑描述方面存在一定局限性,许多攻击无法检测。因此,使用扩展命题间隔时间逻辑(Extended Propositional Interval Tempo... 展开更多; 关键词网入侵检测模型检测扩展命题区间时序逻辑; 在线阅读下载PDF 职称材料

题名基于确定/概率性文件拥有证明的机密数据安全去重方案被引量：6: 1; 作者陈越李超零兰巨龙金开春王仲辉; 机构解放军信息工程大学网络空间安全学院国家数学工程与先进计算重点实验室解放军国家数字交换系统工程技术研究中心; 出处《通信学报》 EI CSCD 北大核心 2015年第9期1-12,共12页; 基金国家重点基础研究发展计划("973"计划)基金资助项目(2012CB315901)~~; 文摘为解决云存储系统中机密数据去重面临的密文重复性检测与拥有性证明、针对数据机密性的攻击等难题,提出了基于Merkle散列树的MHT-Dedup方案和基于同态MAC的h MAC-Dedup方案。两者均通过对密文文件的拥有证明进行跨用户文件级重复性检测,并通过检查数据块明文的摘要进行本地数据块级重复性检测,避免了跨用户文件级客户端重复性检测中hash-as-a-proof方法存在的安全缺陷。MHT-Dedup方案通过数据块密文的标签生成的验证二叉树提供确定性的文件拥有证明,具有较低的计算和传输开销,而h MAC-Dedup方案则通过对抽样数据块密文和其标签进行同态MAC运算提供概率性的文件拥有证明,具有较低的额外存储开销。分析与比较表明,本方案在同时支持两级客户端机密数据安全去重和抵抗对数据块的暴力搜索攻击方面具有明显优势。; 关键词云存储机密数据去重数据拥有证明 Merkle散列树同态MAC; Keywords cloud storage sensitive data deduplication proofs of ownership Merkle hash tree homomorphic MAC; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名符号执行中非线性归纳变量循环优化分析方法被引量：1: 2; 作者秦书锴王震宇汪永红徐凯杰; 机构信息工程大学国家数学工程与先进计算重点实验室; 出处《信息工程大学学报》 2017年第5期630-634,共5页; 文摘提出了一种新型的循环优化分析方法,用于在符号执行中优化归纳变量为非线性的循环。首先详细分析了非线性归纳变量在符号执行中产生的问题,通过将循环内部变量转换为递推链CR基本式,推导得出的归纳变量与循环次数的依赖式,进而采用二次曲面拟合的方法对其进行化简,从而达到了循环优化的方法,实验证明文章提出的方法在一定程度上缓解了非线性归纳变量给符号执行带来的状态空间爆炸、死循环等问题。; 关键词递推链代数循环优化符号执行; Keywords chains of recurrence algebra loop optimization symbolic execution; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于大数据的APT威胁检测方法被引量：2: 3; 作者王通郭渊博祝松帅严新成; 机构信息工程大学国家数学工程与先进计算重点实验室; 出处《信息工程大学学报》 2017年第6期719-725,共7页; 文摘在分析APT(advanced persistent threat)攻击特点及手段的基础上提出一种基于大数据关联技术的APT检测方法。该方法通过分布式采集数据,利用各攻击阶段特征选取元素实现整个攻击链的检测。关注攻击对设备及网络功能的影响,将检测的重心从对攻击的检测转换到对设备及网络各种属性是否正常运作的检测上。同时参考APT攻击在现有网络中发挥作用的步骤及实施方法,构建基于攻击链扩展的多面体检测模型。; 关键词 APT攻击大数据攻击链元素关联分析; Keywords advanced persistent threat big data kill chain element relevancy; 分类号 TN918.1 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名一种基于DNA疫苗人工免疫理论的网络攻击检测方法被引量：3: 4; 作者陈茜月庞建民; 机构国家数学工程与先进计算重点实验室郑州大学; 出处《信息工程大学学报》 2020年第2期182-188,共7页; 基金国家自然科学基金资助项目(61472447)。; 文摘人工免疫理论在网络安全领域的出色表现得到众多学者的认可,尤其在网络攻击检测方法中的应用取得了显著成效。但对于网络攻击的人工免疫系统(Artificial Immune System,AIS),群体优化过程中的退化现象会造成检测器种群趋于单一、抗体亲和力逐步减弱、疫苗精度不足、种群收敛过慢、进化率低等问题。首次在面向网络攻击检测的人工免疫系统中引入基于DNA疫苗的种群优化方法,并提出基于DNA疫苗的动态克隆算法(DNA-Vaccine Dynamic CSA)和基于DNA疫苗动态人工免疫的网络攻击检测系统模型。给出具体算法实现和系统工作流程,通过对检测器群体注射裸露的DNA编码,达到网络攻击的检测器种群优化、提升网络攻击检测器种群成熟度、缩短种群收敛时间的目的。能做到精准优化网络攻击检测器群体,二次免疫中更高效地检测网络攻击行为,从而提高网络攻击检测准确度和群体质量。; 关键词网络攻击检测入侵检测人工免疫 DNA疫苗种群优化; Keywords network attack detection intrusion detection artificial immunity DNA vaccines population optimization; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于扩展命题区间时序逻辑的免疫网络攻击检测模型: 5; 作者陈茜月庞建民; 机构国家数学工程与先进计算重点实验室郑州大学; 出处《信息工程大学学报》 2020年第1期43-48,共6页; 基金国家自然科学基金资助项目(61472447)。; 文摘在攻击建模领域,基于逻辑的建模方法具有独特的优势和研究价值,能够有效检测复杂的网络攻击。以往研究[1]在建模和逻辑描述方面存在一定局限性,许多攻击无法检测。因此,使用扩展命题间隔时间逻辑(Extended Propositional Interval Temporal Logic,EPITL)来描述攻击。首先分析各类攻击的原理;其次,将每次攻击的具体细节转化为原子操作,给出原子命题集合;最后,对每个攻击行为使用EPITL描述,构建该攻击的EPITL公式,作为人工免疫攻击检测模型的输入,用于检测是否发生攻击行为。; 关键词网入侵检测模型检测扩展命题区间时序逻辑; Keywords intrusion detection model-checking extending propositional interval temporal logic; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于确定/概率性文件拥有证明的机密数据安全去重方案	陈越李超零兰巨龙金开春王仲辉	《通信学报》 EI CSCD 北大核心	2015	6	在线阅读下载PDF 职称材料
2	符号执行中非线性归纳变量循环优化分析方法	秦书锴王震宇汪永红徐凯杰	《信息工程大学学报》	2017	1	在线阅读下载PDF 职称材料
3	基于大数据的APT威胁检测方法	王通郭渊博祝松帅严新成	《信息工程大学学报》	2017	2	在线阅读下载PDF 职称材料
4	一种基于DNA疫苗人工免疫理论的网络攻击检测方法	陈茜月庞建民	《信息工程大学学报》	2020	3	在线阅读下载PDF 职称材料
5	基于扩展命题区间时序逻辑的免疫网络攻击检测模型	陈茜月庞建民	《信息工程大学学报》	2020	0	在线阅读下载PDF 职称材料