状态搜索相关论文
随着计算机图形学和计算机辅助技术的发展,人们不断地研究各种排样算法,以求有效地解决二维优化排样问题.但排样问题因排样方式、......
状态搜索技术是分析加密协议安全属性的最流行的形式化验证方法之一 ,Mur是一种常用的能分析一般性协议的模型工具 ,它的原理简......
Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此......
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的......
寻求二维不规则图形零件在排样区域上的最优排列 ,也就是对二维不规则图形的计算机自动排样算法进行优化 ,将在工业应用中有很广阔......
