范钰丹
- 作品数：30 被引量：58H指数：4
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 基于一阶逻辑的安全协议攻击重构策略(英文)
- 针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,扩展了安全协议一阶逻辑模型,加入了攻击重构策略。最后,给出了具体的应用例子,对秘密性进行形式化验证,结果表明系统能够给出易于理解的攻击序列。
- 张超韩继红王亚弟朱玉娜赵娟范钰丹
- 关键词：安全协议
- 文献传递
- 网络安全的攻击异或项求解方法
- 本发明属于网络安全技术领域，特别涉及一种网络安全的攻击异或项求解方法，具体包含如下内容：首先依据协议规范，确定消息项类型集合，生成攻击者初始知识；然后依据状态转移规则，选择执行事件，确定公开目标；通过变量定义异或操作Tx...
- 韩继红谷文袁霖范钰丹张畅章丹林宋佳良张曦瑞
- 文献传递
- 基于主体交互行为的安全协议密文信息推断方法
- 本发明涉及基于主体交互行为的安全协议密文信息推断方法，依据特定的消息格式，对网络中的协议相关报文的步骤信息进行识别，即识别出某条数据报文属于协议运行过程中的第N个步骤，并充分利用协议规范格式、网络系统中可监测到的报文、以...
- 袁霖韩继红李福林赵俭张恒巍和志鸿范钰丹
- 基于逻辑程序的访问控制描述与推理被引量：1
- 2008年
- 提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型——Mp。使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理。
- 冯毅王亚弟韩继红范钰丹
- 关键词：逻辑程序访问控制模型不动点
- 一种基于状态扩展的安全协议验证机制被引量：1
- 2010年
- 基于模型检测验证协议的方法存在状态空间爆炸问题,其中基于目标绑定搜索状态空间的方法有效控制了状态空间,但不能完全给出协议的运行情况。针对这一问题,提出了一种基于状态扩展的安全协议自动化验证机制,首先对协议状态进行初始搜索,给出协议运行需要的事件,得到协议基本状态,然后进行扩展搜索,考虑基本状态与其他协议运行的关系,形成协议扩展状态。该机制能够有效反映出协议的运行情况,且能够同时对多种安全性质进行验证。
- 黄卿王亚弟韩继红范钰丹黄河
- 关键词：安全协议自动化验证
- 面向密码协议在线安全性的监测方法被引量：2
- 2016年
- 为解决现有方法无法在线监测协议逻辑进行的低交互型攻击的问题,提出一种密码协议在线监测方法CPOMA。首先构建面向密码协议的特征项本体框架,以统一描述不同类型的特征项,并基于该框架首次利用模糊子空间聚类方法进行特征加权,建立个体化的密码协议特征库;在此基础上给出自学习的密码协议识别与会话实例重构方法,进而在线监测协议异常会话。实验结果表明,CPOMA不仅能够较好地识别已知协议、学习未知协议、重构会话,而且能够有效在线监测协议异常会话,提高密码协议在线运行的安全性。
- 朱玉娜韩继红袁霖范钰丹陈韩托谷文
- 关键词：本体子空间聚类
- 一种基于语义的安全协议形式化模型被引量：2
- 2009年
- 在分析实际网络环境中安全协议的运行特点之后,提出了安全协议建模分析的两点基本假设。在此基础上,提出了一种基于语义的安全协议形式化模型,具体包括基于角色事件的协议静态描述模型和基于运行状态的协议动态执行模型,给出了模型的基本语法及形式语义,明确了模型推理过程中涉及到的一些关键性概念,并以简化的NSL协议为例进行了说明,为实现自动化验证打下了必要的基础。
- 韩继红范钰丹王亚弟郭渊博
- 关键词：安全协议形式化分析语义
- 自组网环境下基于组合公钥的分布式密钥管理被引量：4
- 2011年
- 结合组合公钥密码体制和秘密共享思想,针对移动自组网环境,提出了一种分布式密钥管理方案。从系统初始化、管理平台构建、节点公私钥生成、私钥矩阵份额更新等4个方面进行了详细描述,并给出了具体实施方法。分析表明,该方案具有安全性高、扩展性强、计算量小、适用性好的特点,特别适合移动自组网环境。
- 张玉臣王亚弟韩继红范钰丹
- 关键词：组合公钥门限方案
- 网络设备风险评估方法
- 本发明涉及一种网络设备风险评估方法，在二维风险矩阵的基础上，将风险可控性作为评估的第三维属性，用于描述风险控制难度；将风险重要度用于全面描述风险大小，其与概率、损失和可控性之间的函数关系用风险函数表示，并通过风险函数表达...
- 韩继红章丹林袁霖谷文范钰丹张畅宋佳良
- 文献传递
- 多节点协作的传感器网络缺失值重构方法
- 本发明涉及一种多节点协作的传感器网络缺失值重构方法，包括：根据目标节点O和邻居节点A的空间相关性，得到邻居节点A关于目标节点O缺失值的意见：目标节点O缺失值的论断为x″(O<Sub>n+1</Sub>)，意见为{b，u，...
- 周洪伟原锦辉李福林张来顺范钰丹张驰
- 文献传递
