马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 YAPA:计算入侵者知识的通用工具。 (英语) Zbl 1353.68019号 ACM事务处理。计算。日志。 第14号第1条第4条第32页(2013年).MSC公司:68个M12 2012年第68季度 第68季度第60季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人,ACM Trans。计算。日志。14,第1号,第4条,32页(2013;Zbl 1353.68019) 全文: 内政部
瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 在收敛方程理论下计算安全协议知识。 (英语) Zbl 1242.68098号 J.汽车。推理 第219-262号第48页(2012年).MSC公司:68第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,J.Autom。推理48,No.2,219--262(2012;Zbl 1242.68098) 全文: 内政部
史蒂夫·克莱默;安托万·梅西耶;拉尔夫·特里宁 简化方程理论以确定静态等效性。 (英语) Zbl 1242.68104号 J.汽车。推理 48,第2期,197-217(2012).MSC公司:68第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kremer}等人,J.Autom。推理48,No.2,197--217(2012;Zbl 1242.68104) 全文: 内政部 链接
穆赫贝丁·贝里玛;纳杰斯·本·拉杰布;维罗尼克·科尔蒂尔 根据一些电子投票理论确定安全协议中的知识。 (英语) Zbl 1223.68016号 西奥·雷罗。通知。申请。 45,第3期,269-299(2011).MSC公司:68个M12 94A60型 94A62型 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{M.Berrima}等人,RAIRO,Theor。通知。申请。45,第3号,269--299(2011;Zbl 1223.68016) 全文: 内政部 欧洲DML 链接
亚尼克·骑士;米歇尔·鲁西诺维奇 编译和保护加密协议。 (英语) Zbl 1209.68211号 信息处理。莱特。 110,第3期,116-122(2010).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Inf.过程。莱特。110,编号3,116-122(2010年;兹bl 1209.68211) 全文: 内政部 arXiv公司