国家高技术研究发展计划(2006AA706103)
- 作品数：10 被引量：41H指数：4
- 相关作者：庄毅王建东任勇军王箭徐大专更多>>
- 相关机构：南京航空航天大学南京信息工程大学解放军汽车管理学院更多>>
- 发文基金：国家高技术研究发展计划中央级公益性科研院所基本科研业务费专项航天支撑技术基金更多>>
- 相关领域：自动化与计算机技术理学建筑科学航空宇航科学技术更多>>
- 基于平滑K-时间窗统计模型的网络IDS建模
- 2009年
- 分析了入侵检测系统中削弱统计分析引擎检测能力的关键因素,在半衰期时间窗模型、多层时间窗模型的基础上,提出了一种新的平滑K-时间窗统计模型,对用户行为进行短期与长期的刻画、追踪。实验结果表明相对传统统计分析方法,采用该模型能够明显减少检测过程中的虚警率和漏警率,并且能够检测到袭击者通过渐变方式隐藏其行为的复杂攻击。
- 田明庄毅
- 关键词：入侵检测统计分析
- 一种基于XML的可变粒度冲突避免策略被引量：1
- 2008年
- 针对协同设计过程中的数据一致性问题,分析了已有的并发冲突避免策略,结合CATIA的特殊性提出了一套可变粒度锁的冲突避免策略,设计了总体框架及核心算法.以节点间关联性作为判断依据进行节点仲裁选择,并提出节点关联集的维护算法.在协同设计平台中,利用XML实现并发控制机制,对提出的算法进行了实验,验证了用户可互斥地访问对象,并保证一致性.
- 史昊庄毅王凯
- 关键词：协同设计锁机制
- 迭代动力缩聚法的收敛性分析被引量：3
- 2008年
- 利用Lyapunov矩阵方程和Riccati矩阵方程解的理论,对迭代动力缩聚法的收敛性进行了分析证明,并给出了迭代收敛的充分条件。揭示了动力缩聚法与经典的子空间迭代法的内在关系,阐明了各自的优缺点。迭代动力缩聚法实质上是子空间迭代法的变形,它需要人为选择主辅自由度,而子空间迭代法需要人为选定初始迭代向量。从理论上讲,只有主辅自由度选择满足收敛的充分条件要求,才能保证迭代结果收敛到理论上的精确解。给出了一个数值算例,对几种算法进行了对比,并验证了本文的论点。
- 汪晓虹曹立娟刘慧陈怀海
- 关键词：迭代法矩阵方程有限元法
- 标准模型下基于身份的认证密钥协商协议被引量：14
- 2010年
- 由于在现实世界中无法实现随机预言模型,标准模型下可证安全的高效密码协议成为近年来的研究热点.现有的标准模型下可证安全的基于身份的认证密钥协商协议,要么以未经安全性证明的基于身份的加密方案为基础设计密钥协商协议,无法保证所提出密钥协商协议的安全性;要么在弱的安全模型中设计密钥协商协议,导致协议的安全性差.采用MTI协议族的思想,基于判定性q-ABDHE假设和判定性BDH假设,设计了一个新的基于身份的认证密钥协商协议IBAKA,并第1次在标准模型下证明该协议是eCK安全的.与现有的标准模型下基于身份的密钥协商协议相比,IBAKA协议的计算效率、通信效率等方面性能优越.
- 任勇军王建东王箭徐大专庄毅
- 关键词：密钥协商可证安全双线性对
- 模态综合的直接变换法被引量：6
- 2009年
- 基于固定界面模态综合的Craig-Bampton方法,提出了模态综合的直接变换方法,该法在形式上更简洁,适用于大规模动力学系统的模态分析和动力学模型减缩。对采用直接变换法模态综合过程的计算误差做了分析,给出了计算误差界,阐明了模态综合后总体结构的固有频率与子结构保留主模态个数之间的关系。针对子结构界面自由度太大的情况,提出了直接变换法的分部算法,不需组集系统总刚度、总质量矩阵,仅在子结构的基础上完成系统的减缩。计算实例表明该算法的有效性及计算的稳定性。
- 汪晓虹安方曹立娟陈怀海
- 关键词：模态综合法有限元法特征值误差界子空间迭代法
- 标准模型下基于身份的两方认证密钥协商协议被引量：2
- 2010年
- 采用MTI协议族的思想,设计了一个新的标准模型下基于身份的两方认证密钥协商协议IBAKE,并形式化证明了该协议的安全性.与现有的标准模型下基于身份的密钥协商协议相比,IBAKE协议在计算效率、通信效率等方面性能更加优越.
- 任勇军王建东庄毅王箭徐大专
- 关键词：认证密钥协商
- 基于属性的认证密钥协商协议被引量：2
- 2010年
- 提出了一个通用的基于属生的抗选择密文安全的密钥封装方案,并根据密钥抽取函数的不同功能,将标准模型下密钥抽取细化为随机提取和密钥抽取两个步骤.再以此为基础,设计了一个新的基于属性的认证密钥协商协议,定义了基于属性的可证安全密钥协商模型,并在标准模型下证明了该协议的安全性.
- 任勇军王建东庄毅谭沧海方黎明
- 关键词：认证密钥协商协议可证安全
- 自认证公钥的无线传感器网络密钥协商协议被引量：7
- 2012年
- 自认证公钥密码不需要证书管理,不存在密钥托管问题,非常适用于资源受限的无线传感器网络.但现有的自认证公钥传感网密钥协商协议存在安全性低和能量消耗大的缺点.首先分析并指出Yoon等人提出的协议不能抵抗密钥泄漏伪装攻击;然后采用MTI协议族的"隐式认证"的思想,基于椭圆曲线Diffie-Hellman假设,设计了一个新的基于自认证公钥体制的认证密钥协商协议WSN-AKA.该协议是第1个可证明安全的传感器网络自认证公钥体制密钥协商协议.与现有协议相比,该协议不仅安全性更高,而且因其密钥协商只需两次消息传递,其通信效率也最高而能耗最少.
- 任勇军王建东徐大专庄毅王箭
- 关键词：传感器网络自认证公钥椭圆曲线密码可证安全认证密钥协商
- 标准模型下增强的基于身份的认证密钥协商协议被引量：6
- 2009年
- 密钥抽取是密钥协商协议的一个重要环节,该文指出2007年王圣宝等人提出的标准模型下基于身份的认证密钥协商协议在该环节存在重要缺陷;并根据密钥抽取函数的不同功能,将标准模型下密钥抽取细化为随机提取和密钥抽取两个步骤,并基于Kiltz等人提出的基于身份的加密方案,设计了一个新的认证密钥协商协议IBAKE,其安全性证明规约更严谨,协议执行效率更高。
- 任勇军王建东庄毅
- 关键词：认证密钥协商
- 基于伪爬行器的主题式元搜索引擎研究与设计
- 2008年
- 为提高搜索的查准率和查全率,设计一个主题式的元搜索引擎和一个类似于爬行器的伪爬行器,通过调用通用搜索引擎采集信息,查全率高于通用搜索引擎。利用反馈机制,参考用户查询历史记录,搜索结果更加接近用户的要求。通过采用主题式策略,改进文档相似度算法,提高分类的正确率和搜索引擎的查准率与搜索范围,同时减少系统响应时间,降低对服务器性能的要求。
- 马奕平庄敏叶延风张霞
- 关键词：元搜索主题式搜索引擎
