国家自然科学基金(60473021)

作品数：28被引量：45H指数：4
导出分析报告
相关作者：祝跃飞陈莉刘楠柴争义张浩军更多>>
相关机构：解放军信息工程大学中国人民解放军信息工程大学河南工业大学河南财经学院更多>>
相关期刊：《微电子学与计算机》《Journal of Electronics(China)》《计算机学报》《计算机工程与设计》更多>>
相关主题：原子性安全协议访问控制文件过滤驱动数据保护更多>>
相关领域：自动化与计算机技术电子电信理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
满足多种安全属性的复合型支付协议及其逻辑分析被引量：5
《计算机应用研究》2012年第7期2672-2677,共6页陈莉 袁开银 
国家"863"计划基金资助项目(2007AA01Z471);国家自然科学基金资助项目(60473021);河南省重点科技攻关项目(112102210015;072102210029);河南省基础与前沿技术研究计划项目(122300410175)
针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令...
关键词：复合型支付协议 密钥新鲜性 密钥秘密性 原子性 
一种新的安全协议验证逻辑及其串空间语义被引量：1
《计算机工程》2011年第1期145-148,共4页陈莉 
国家"863"计划基金资助项目(2007AA01Z471);国家自然科学基金资助项目(60473021);河南省科技攻关计划基金资助重点项目(072102210029);河南省科技攻关计划基金资助项目(0624260017)
针对典型的安全协议验证逻辑存在的问题,如安全属性验证存在局限性、对混合密码原语的处理能力不强等,提出一种新的验证逻辑,新逻辑能够验证安全协议的认证性、密钥保密性、非否认性、可追究性、公平性及原子性。现有多数验证逻辑缺乏...
关键词：安全属性 串空间 逻辑语义 混合密码原语 
一种分析电子商务安全协议的新逻辑被引量：1
《计算机科学》2010年第10期110-115,共6页陈莉 
国家高技术研究发展计划(863计划)(2007AA01Z471);国家自然科学基金项目(60473021);河南省重点科技攻关项目(072102210029);河南省科技攻关项目(0624260017)资助
针对典型电子商务安全协议逻辑分析方法存在的问题,如安全属性分析存在局限性、缺乏形式化语义、对混合密码原语的处理能力不强等,提出了一种新的逻辑分析方法。新逻辑能够分析电子商务安全协议的认证性、密钥保密性、非否认性、可追究...
关键词：逻辑分析方法 安全属性 密钥保密性 原子性 混合密码原语 逻辑构件 
优化的匿名电子现金支付协议及其形式化验证
《计算机应用研究》2010年第8期3053-3057,共5页陈莉 刘军 
国家"863"计划资助项目(2007AA01Z471);国家自然科学基金资助项目(60473021);河南省重点科技攻关项目(072102210029);河南省科技攻关项目(0624260017);河南省教育厅自然科学研究计划项目(2010A520004)
针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据...
关键词：安全属性 形式化验证 密钥保密性 非否认性 公平性 原子性 
RSA的类循环攻击被引量：1
《华中科技大学学报（自然科学版）》2009年第12期56-58,共3页郑永辉 祝跃飞 徐洪 
国家自然科学基金资助项目(60473021);国家高技术研究发展计划资助项目(2007AA01Z471)
给出了RSA密码算法的一种类循环攻击算法.记RSA算法的公钥为(e,N),私钥为d.若存在正整数k,使得整数ek和整数dkmod(N)都较小,则基于一些已有的低解密指数攻击方法,可将RSA模数N的分解问题转化为RSA的公私钥方程的小根问题,从而可在多...
关键词：密码学 公钥密码学 算法 循环攻击 RSA 低解密指数攻击 
异常入侵检测系统虚警率问题研究被引量：4
《计算机科学》2009年第11期68-70,共3页柴争义 汪宏海 
国家自然科学基金(60473021);河南省自然科学基金项目(082400440260;2008A180041)资助
入侵检测系统的虚警率影响检测结果的可信性。通过分析入侵检测系统的可信问题及异常入侵检测系统的虚警率问题,提出了降低虚警率的方法:基于进程检测行为的入侵检测方法、多检测系统协作工作模式。重点描述了基于人工免疫思想,动态构...
关键词：异常入侵检测 虚警率 人工免疫 进程行为 
一种IDS报警可信性增强方案被引量：2
《计算机应用研究》2009年第9期3496-3498,共3页柴争义 林琳 王建文 齐传辉 
国家自然科学基金资助项目(60473021);河南省自然科学基金资助项目(082400440260;2008A180041)
提高IDS(入侵检测系统)报警的可信性是IDS的根本目标。从理论上分析了可信问题产生的原因,给出了其形式化描述,提出了一种多IDS协同工作提高检测可信度的方法,并证明了该方法可以应用于各种不同IDS的协同工作中(基于误用、异常及异常与...
关键词：入侵检测系统 可信性 推进Bayesian方法 
基于椭圆曲线的前向安全签密方案被引量：3
《计算机工程与设计》2008年第22期5732-5734,共3页潘恒 郑秋生 王滨 涂松 
国家自然科学基金项目(60473021);河南省自然科学基金项目(511010900)
签密可在同一逻辑步中同时完成签名和加密两项功能,其代价远小于"先签名后加密"的传统实现方式,是构造信息安全系统的有效工具。研究了IEEEP1363标准定义的椭圆曲线签名体制,指出了该体制存在的两个安全缺陷:不能为签名提供保密服务、...
关键词：椭圆曲线密码 前向安全 签密 密钥管理 加密 
基于状态转移系统的安全协议形式模型被引量：1
《计算机工程》2008年第13期149-151,共3页毛中全 刘楠 顾纯祥 祝跃飞 
国家自然科学基金资助项目(60473021)
提出一种基于状态转移系统的安全协议模型,以Dolev-Yao攻击者模型为前提假设,以状态转移系统为框架,用语义编码的方式定义消息和事件,用重写关系定义协议规则,用事件的集合来描述协议的安全属性,并给出安全属性的检验策略。该模型能够...
关键词：安全协议 形式模型 状态转移系统 重写关系 Dolev-Yao攻击者模型 
一种快速安全认证协议及其形式化分析被引量：1
《微计算机信息》2008年第27期68-70,共3页王惠斌 祝跃飞 
国家自然科学基金委(60473021)项目名称:<可证安全理论与椭圆曲线密码体制设计>基金申请人:祝跃飞
介绍了现有的常用身份认证方法,分析了其安全性和不足之处,针对安全性和效率问题,提出了一种可实现快速安全认证的一种新协议,并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率,结果证明该协议既具有基于证书的公钥密码体...
关键词：认证协议 效率 形式化分析 PCL 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部