李大海
- 作品数：4 被引量：1H指数：1
- 供职机构：解放军信息工程大学电子技术学院更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 从熵运动看人类意识系统的“新陈代谢”
- 2011年
- 通过对生命体内物质熵交换的分析,指出意识系统在人类生命过程中的绝对支配地位。结合对人类实践的深入探讨,揭示了维持意识系统基本运转的动力——信息熵的交换,以此提出了"意识系统的新陈代谢"这一概念,并给出意识系统代谢机制的假想模型——"麦氏"模型。
- 李大海王静
- 关键词：新陈代谢
- 密码协议安全性质研究
- 2010年
- 针对密码协议安全性质研究存在的问题,基于协议的运行过程——协议运行迹研究了一般秘密性、猜测攻击、强秘密性、完美前向秘密性、已知密钥攻击、新鲜性和完整性。分析了各个安全性质的具体含义,并对其进行了形式化定义,指出了为保证这些安全性质协议运行迹需满足的条件,并分析了不同秘密性之间的关系。最后实例研究结果表明,定义是正确且有效的。
- 黄卿王亚弟韩继红李大海
- 关键词：密码协议秘密性新鲜性完整性
- 一种基于模重写系统的攻击者推理方法
- 2011年
- 为了解决安全协议验证中攻击者模等式理论推理的可操作性问题,提出并设计了一种基于模重写系统的攻击者推理方法。该方法建立在一个反映两种密码原语代数特性的联合理论实例之上,由一组定向的重写规则和非定向的等式构成,前者进一步转换为项重写系统(term rewriting system,TRS),而后者则转换为有限等价类理论,通过定义项间的模重写关系,使两者构成一个可以反映攻击者针对联合理论代数项操作能力的模重写系统。实例分析表明,该模型为攻击者模等式推理规则赋予了明确的操作语义,可以使攻击者达到对安全协议代数项规约、推理的目的。
- 李大海韩继红王亚弟王静
- 关键词：安全协议
- 基于事件顺序的时间戳协议处理被引量：1
- 2010年
- 在不考虑网络延迟的情况下,提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上,证明为使事件绑定时主体接收的时间戳是新的,状态转移必须满足时间戳关系无环性,并基于事件顺序给出时间戳关系无环性的验证算法。实例表明,该方法易于实现,且具有一定适用性。
- 黄卿王亚弟韩继红范钰丹李大海
- 关键词：时间戳
