搜索筛选:
搜索耗时0.1447秒,为你在为你在102,285,761篇论文里面共找到 23 篇相符的论文内容
发布年度:
[学位论文] 作者：范钰丹,
来源：解放军信息工程大学 年份：2007
...
[期刊论文] 作者：张任川, 张玉臣, 刘璟, 范钰丹,,
来源：计算机工程与应用 年份：2019
针对神经网络态势预测模型训练复杂度高的问题,提出了一种基于改进卷积神经网络的态势预测方法。结合深度可分离卷积与分解卷积技术的优点,提出了一种基于复合卷积结构的改进...
[期刊论文] 作者：冯毅,王亚弟,韩继红,范钰丹,,
来源：计算机工程 年份：2008
提出访问控制的逻辑描述方法,满足最小模型语义的条件（不含负逻辑）,并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型—...
[期刊论文] 作者：范钰丹,韩继红,王亚弟,赵宇,,
来源：计算机应用 年份：2006
对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。...
[期刊论文] 作者：范钰丹,韩继红,和志鸿,刘振,
来源：高等教育研究学报 年份：2012
课程建设质量决定人才培养质量，影响学员创新能力的发展，因此，积极开展课程建设改革十分重要。本文结合“装备原理”课程建设的实践经验，针对如何培养学员的创新能力，着重从课程目......
[期刊论文] 作者：韩继红,范钰丹,王亚弟,郭渊博,
来源：计算机科学 年份：2009
在分析实际网络环境中安全协议的运行特点之后，提出了安全协议建模分析的两点基本假设。在此基础上，提出了一种基于语义的安全协议形式化模型，具体包括基于角色事件的协议静态描......
[期刊论文] 作者：张玉臣,王亚弟,韩继红,范钰丹,,
来源：计算机科学 年份：2011
结合组合公钥密码体制和秘密共享思想,针对移动自组网环境,提出了一种分布式密钥管理方案。从系统初始化、管理平台构建、节点公私钥生成、私钥矩阵份额更新等4个方面进行了...
[期刊论文] 作者：赵宇,王亚弟,韩继红,范钰丹,张超,,
来源：计算机研究与发展 年份：2008
将规划理论引入到密码协议形式化分析领域,结合密码协议在实际网络环境中的运行特点和规律,提出了密码协议攻击规划理论;建立了一种对密码协议进行安全性验证的形式化模型,即...
[期刊论文] 作者：黄卿,王亚弟,韩继红,范钰丹,黄河,,
来源：计算机应用研究 年份：2010
基于模型检测验证协议的方法存在状态空间爆炸问题,其中基于目标绑定搜索状态空间的方法有效控制了状态空间,但不能完全给出协议的运行情况。针对这一问题,提出了一种基于状态扩展的安全协议自动化验证机制,首先对协议状态进行初始搜索,给出协议运行需要的事件,......
[期刊论文] 作者：朱玉娜,王亚弟,韩继红,范钰丹,,
来源：计算机应用研究 年份：2008
安全协议形式化分析方法分为两种,即符号方法和计算方法。比较两种方法,它们各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。针对该问题,对目前国际上流行的相关方法进行了分类总结,并对涉及到的技术手段进......
[期刊论文] 作者：黄卿,王亚弟,韩继红,范钰丹,李大海,
来源：计算机工程 年份：2010
在不考虑网络延迟的情况下,提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上,证明为使事件绑定时主体接收的时间戳是新的,状态转移必须满足...
[期刊论文] 作者：朱玉娜,王亚弟,韩继红,张超,范钰丹,,
来源：计算机工程 年份：2008
研究在密码协议仅使用数字签名原语时，主动攻击下符号形式化分析系统的计算可靠性。借鉴Micciancio-Warinschi方法，分别引入符号模型和计算模型中的协议运行状态集合，通过反证法...
[期刊论文] 作者：朱玉姗,韩继红,袁霖,谷文,范钰丹,
来源：电子与信息学报 年份：2016
现有基于网络报文流量信息的协议分析方法仅考虑报文载荷中的明文信息，不适用于包含大量密文信息的安全协议。为充分发掘利用未知规范安全协议的密文数据特征，针对安全协议报文......
[期刊论文] 作者：赵宇,王亚弟,韩继红,范钰丹,赵琦,,
来源：计算机应用 年份：2007
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;对密码协议安全性的定义精......
[期刊论文] 作者：朱玉娜,韩继红,袁霖,谷文,范钰丹,,
来源：电子与信息学报 年份：2016
现有基于网络报文流量信息的协议分析方法仅考虑报文载荷中的明文信息,不适用于包含大量密文信息的安全协议。为充分发掘利用未知规范安全协议的密文数据特征,针对安全协议报...
[期刊论文] 作者：朱玉娜,韩继红,袁霖,陈韩托,范钰丹,,
来源：通信学报 年份：2015
针对分布在多个相关流中的多方安全协议会话问题,提出了多方安全协议会话的3个启发式的主体行为特征——邻接主机行为、主体角色行为以及主机消息行为,给出了主体行为特征检测原理,提出了多方安全协议会话识别方法。针对3个典型的多方安全协议,分别在3种会话运......
[期刊论文] 作者：朱玉娜,韩继红,袁霖,陈韩托,范钰丹,
来源：计算机研究与发展 年份：2015
针对未知安全协议的格式解析方法是当前信息安全技术中亟待解决的关键问题.现有基于网络报文流量信息的方法仅考虑报文载荷中的明文信息,不适用于包含大量密文信息的安全协议...
[期刊论文] 作者：范钰丹,韩继红,王亚弟,赵宇,朱玉娜,,
来源：计算机应用 年份：2007
为了将密码协议的非否认性和公平性统一在一个框架之下更好地进行分析,提出了一套适用于分析非否认性和公平性的一阶逻辑语法和语义。在此基础上建立了一个用于分析非否认性和公平性的一阶逻辑模型,并以FairZG非否认协议为例进行了分析,发现了该协议的一个已知......
[期刊论文] 作者：王亚弟,韩继红,朱玉娜,张超,赵娟,范钰丹,,
来源：计算机工程 年份：2009
MW方法仅考虑使用公钥加密原语，不包含{{mk}k类型消息的双方协议。针对该问题，使用公钥加密和对称加密，建立扩展标记符号模型与扩展计算模型，论证扩展标记符号模型的计算可靠性，实......
[期刊论文] 作者：朱玉娜,张玉涛,闫少阁,范钰丹,陈韩托,,
来源：计算机应用 年份：2021
针对现有的基于统计特征的协议识别方法选择识别特征时未考虑不同协议个体之间的差异的问题,结合半监督学习和模糊子空间聚类(FSC)方法,提出了一种半监督子空间聚类协议识别方法(SSPIA)。首先,将有标签的样本流转化为成对约束信息,从而获取先验约束条件;其次,在......
相关搜索：
