方燕萍；张晓芳；张光泉 基于串空间模型的认证测试改进。 （中文。英文摘要） Zbl 1171.68354号 J.计算。申请。 28，第12号，3205-3207（2008）. 摘要：身份验证测试是基于串空间模型对安全协议进行验证的一种形式化方法。然而，由于它的密码学原语很差，它几乎不分析一些复杂的安全协议。通过扩展消息项、长期关系和渗透者模型，扩展了串空间模型的理论和相应的认证测试。利用该方法对SSL3.0握手协议进行了分析，验证了其认证性能。 MSC公司： 68个M12 网络协议 68M10个 计算机系统中的网络设计和通信 关键词：串空间模型；身份验证测试；SSL3.0握手协议；身份验证属性；密码原语 PDF格式BibTeX公司 XML格式引用 \textit{Y.-p.Fang}等人，J.Compute。申请。28，第12号，3205--3207（2008；Zbl 1171.68354） 全文： 内政部