孙海波;林，东岱;李，李 基于理想的协议安全性分析。 （中文。英文摘要） Zbl 1108.68329号 J.软件。 16，第12期，2150-2156（2005）. 概述：Guttman等人于1998年引入了一种新的公式化方法，即串空间理论，作为描述和分析密码协议的新方法，Guttman于1999年引入了信息代数和诚实的思想来分析Otway-Ree协议的保密性。由于这种理想的性质，它可以用来表示某些协议中不同信息之间的关系。本文将这种思想应用于分析密码协议的一些安全特性，如保密性、身份验证等。 MSC公司： 68个M12 网络协议 68第25页 数据加密（计算机科学方面） 关键词：密码协议 PDF格式BibTeX公司 XML格式引用 \textit{H.Sun}等人，J.Softw。16，第12号，2150--2156（2005；Zbl 1108.68329）