类型缺陷相关论文
在压力容器定期检验中 ,焊缝内部一般用 X射线及超声波探伤。在实际应用中 ,超声波探伤比 X射线探伤更受欢迎。射线照相在辨别体积......
在串空间理论基础上引入了标记模型，扩展了串空间理论．实现了具有类型缺陷的安全协议的分析．本文以RPC协议作为实例，证明改进后的RPC协......
通过去除Srtand空间中的强类型抽象假设，引入Strand模板的概念与一个入侵者的伪操作，进而利用认证测试方法，实现了对具有类型缺陷的认......
在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该......
