克莉莎·萨巴尼 协议验证的算法技术。 (英语) 兹比尔0657.68021 IEEE传输。Commun公司。 36,第8期,924-931(1988).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Sabnani},IEEE传输。Commun公司。36,第8号,924--931(1988;Zbl 0657.68021) 全文: 内政部
穆罕默德·古达。 关于“证明不成立的简单协议”:状态机方法。 (英语) Zbl 0569.94002号 IEEE传输。Commun公司。 33, 380-382 (1985).MSC公司:94A05型 68平方米 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.古达},IEEE Trans。Commun公司。33380-382(1985年;Zbl 0569.94002) 全文: 内政部
布伦特·海尔佩恩 一个简单的协议,其证明并非如此。 (英语) Zbl 0569.94001号 IEEE传输。Commun公司。 33, 330-337 (1985).MSC公司:94A05型 68平方米 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Hailpern},IEEE Trans。Commun公司。33330-337(1985年;Zbl 0569.94001) 全文: 内政部