搜索筛选:
搜索耗时0.0873秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：毛晨晓,罗文坚,王煦法,,
来源：小型微型计算机系统 年份：2006
安全协议未采用适当的密码系统来实现，会使最终的安全协议存在密码系统相关缺陷．对该类缺陷进行形式化分析时，不能使用完善的密码系统假设，这是安全协议形式化分析研究中的一个难......
[期刊论文] 作者：毛晨晓,罗文坚,王煦法,,
来源：计算机学报 年份：2007
以CKT5逻辑为基础,对其进行了多方面重要的扩展;在原有对称密钥机制的基础上,增加了公开密钥机制和Vernam加密机制以增强其描述协议的能力;打破完善加密假设,给出了一组定义...
[期刊论文] 作者：毛晨晓,罗文坚,曹先彬,王煦法,,
来源：系统工程与电子技术 年份：2006
提出了一种公钥密码体制安全协议的生成方法，用进化策略来生成公钥协议，并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性，对于不同的需求，可以生成不同的安全协议......
[期刊论文] 作者：王新苏,罗文坚,毛晨晓,王煦法,
来源：计算机工程与应用 年份：2005
形式化方法是软件开发过程中用于保证软件系统具有高度正确性和可靠性的一个重要手段。但形式化软件规范不直观，不容易被开发人员所接受。该文将较为直观地统一软件过程和VDM＋＋......
[会议论文] 作者：毛晨晓,罗文坚,钱海,曹先彬,王煦法,
来源：2005年中国模糊逻辑与计算智能联合学术会议 年份：2005
本文针对现有安全协议生成方法存在的生成效率低、收敛速度慢的问题,提出了一种基于协同进化的安全协议生成算法.该算法中的进化个体由安全协议种群与安全目标种群组成,两个...
相关搜索：
