马修·波德特;维罗尼克·科尔蒂尔;史蒂夫·克莱默 在计算上实现对抗被动对手的方程式理论。 (英语) Zbl 1170.68016号 Inf.计算。 207,第4期,496-520(2009).MSC公司:68第25页 94A60 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人,《信息计算》。207,第4号,496--520(2009;Zbl 1170.68016) 全文: 内政部
马丁·阿巴迪;维罗尼克·科尔蒂尔 在等式理论下确定安全协议中的知识。 (英语) Zbl 1153.94339号 理论。计算。科学。 367,第1-2、2-32号(2006).MSC公司:94A60 94A62型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{V.Cortier},Theor。计算。科学。367,编号1--2,2--32(2006;Zbl 1153.94339) 全文: 内政部