黄卿

作品数：5被引量：2H指数：1
导出分析报告
供职机构：解放军信息工程大学电子技术学院更多>>
发文主题：形式化分析安全协议自动化验证时间戳IKEV2协议更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机应用研究》《计算机工程与设计》《计算机工程》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
密码协议安全性质研究
《计算机工程与设计》2010年第16期3604-3607,共4页黄卿 王亚弟 韩继红 李大海 
针对密码协议安全性质研究存在的问题,基于协议的运行过程——协议运行迹研究了一般秘密性、猜测攻击、强秘密性、完美前向秘密性、已知密钥攻击、新鲜性和完整性。分析了各个安全性质的具体含义,并对其进行了形式化定义,指出了为保证...
关键词：密码协议 猜测攻击 秘密性 新鲜性 完整性 
基于事件顺序的时间戳协议处理被引量：1
《计算机工程》2010年第23期124-126,129,共4页黄卿 王亚弟 韩继红 范钰丹 李大海 
在不考虑网络延迟的情况下,提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上,证明为使事件绑定时主体接收的时间戳是新的,状态转移必须满足时间戳关系无环性,并基于事件顺序给出时间戳关系无环性的验证...
关键词：协议处理 事件顺序 时间戳 
一种基于状态扩展的安全协议验证机制被引量：1
《计算机应用研究》2010年第6期2327-2330,共4页黄卿 王亚弟 韩继红 范钰丹 黄河 
基于模型检测验证协议的方法存在状态空间爆炸问题,其中基于目标绑定搜索状态空间的方法有效控制了状态空间,但不能完全给出协议的运行情况。针对这一问题,提出了一种基于状态扩展的安全协议自动化验证机制,首先对协议状态进行初始搜索...
关键词：安全协议 自动化验证 基本搜索 扩展搜索 
一种复合协议验证逻辑模型
《计算机应用研究》2010年第1期274-277,共4页赵娟 韩继红 王亚弟 黄卿 朱玉娜 
针对协议复合时需要解决的问题,研究提出一种复合协议验证逻辑模型,给出了协议描述、逻辑语法、逻辑语义和相应的证明系统,对协议的秘密性和认证性进行建模,将协议复合分为并行复合和顺序复合,并提出相应的协议复合定理。最后以IKEv2协...
关键词：复合协议 形式化分析 逻辑模型 并行复合 顺序复合 IKEV2协议 
大型复杂协议的形式化分析方法研究
《计算机工程与设计》2009年第18期4207-4210,共4页赵娟 韩继红 王亚弟 黄卿 
大型复杂协议的形式化分析是目前研究的一个热点和难点。根据所采用技术的特点,将大型复杂协议的形式化分析方法分为基于逻辑推理的方法、基于模型检测的方法、基于定理证明的方法和基于进程代数的方法,并简要介绍了各类方法的代表性方...
关键词：大型复杂协议 形式化方法 逻辑推理 模型检测 定理证明 进程代数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部