Because of the special structure of ideal, Guttman, et al, the ideal of information algebra and honesty have been introduced to the analysis of the secrecy of Otway-Rees protocol in literature.

• 由于理想结构的特殊性，使得关于消息代数上的理想以及诚实的概念被引入到分析协议的保密性。对理想在分析其他协议安全性方面作了进一步的研究。