李大海

作品数：4被引量：1H指数：1
导出分析报告
供职机构：解放军信息工程大学电子技术学院更多>>
发文主题：时间戳安全协议攻击者新鲜性密码协议更多>>
发文领域：自动化与计算机技术自然科学总论更多>>
发文期刊：《计算机工程与设计》《计算机应用研究》《计算机工程》《系统科学学报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
从熵运动看人类意识系统的“新陈代谢”
《系统科学学报》2011年第4期91-96,共6页李大海 王静 
通过对生命体内物质熵交换的分析,指出意识系统在人类生命过程中的绝对支配地位。结合对人类实践的深入探讨,揭示了维持意识系统基本运转的动力——信息熵的交换,以此提出了"意识系统的新陈代谢"这一概念,并给出意识系统代谢机制的假想...
关键词：熵 实践 意识系统 新陈代谢 
一种基于模重写系统的攻击者推理方法
《计算机应用研究》2011年第5期1918-1921,1936,共5页李大海 韩继红 王亚弟 王静 
为了解决安全协议验证中攻击者模等式理论推理的可操作性问题,提出并设计了一种基于模重写系统的攻击者推理方法。该方法建立在一个反映两种密码原语代数特性的联合理论实例之上,由一组定向的重写规则和非定向的等式构成,前者进一步转...
关键词：安全协议 等式理论 代数特性 模重写系统 
密码协议安全性质研究
《计算机工程与设计》2010年第16期3604-3607,共4页黄卿 王亚弟 韩继红 李大海 
针对密码协议安全性质研究存在的问题,基于协议的运行过程——协议运行迹研究了一般秘密性、猜测攻击、强秘密性、完美前向秘密性、已知密钥攻击、新鲜性和完整性。分析了各个安全性质的具体含义,并对其进行了形式化定义,指出了为保证...
关键词：密码协议 猜测攻击 秘密性 新鲜性 完整性 
基于事件顺序的时间戳协议处理被引量：1
《计算机工程》2010年第23期124-126,129,共4页黄卿 王亚弟 韩继红 范钰丹 李大海 
在不考虑网络延迟的情况下,提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上,证明为使事件绑定时主体接收的时间戳是新的,状态转移必须满足时间戳关系无环性,并基于事件顺序给出时间戳关系无环性的验证...
关键词：协议处理 事件顺序 时间戳 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部