搜索筛选:
搜索耗时0.5875秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：朱文也,
来源：解放军信息工程大学 年份：2009
...
[期刊论文] 作者：朱文也,祝跃飞,刘楠,陈晨,,
来源：计算机工程 年份：2010
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分...
[期刊论文] 作者：陈晨,朱文也,陈卫红,刘楠,,
来源：计算机工程 年份：2010
作为安全协议形式化建模方法之一的多集重写（MSR）模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使......
[期刊论文] 作者：刘楠,朱文也,祝跃飞,陈晨,,
来源：计算机科学 年份：2010
利用形式化方法或工具自动化分析实用安全协议十分必要，定理证明技术因其可解决无限状态系统的验证备受关注，但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和......
相关搜索：
