里卡多·西斯托;皮耶吉乌塞佩·贝塔萨·科佩特;阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂 使用JavaSPI正式实现安全协议。 (英语) Zbl 1382.68027号 正式Asp。计算。 30,第2号,279-317(2018).MSC公司:68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Sisto}等人,正式Asp。计算。30,第2号,279--317(2018;Zbl 1382.68027) 全文: 内政部 链接
李永坚;庞、军 在Isabelle/HOL中规范可证明的匿名性。 (英语) Zbl 1331.68202号 正式Asp。计算。 27,第2期,255-282(2015).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{J.Pang},正式Asp。计算。27,第2号,255--282(2015;Zbl 1331.68202) 全文: 内政部 链接
阿尔弗雷多·皮隆蒂;里卡多·西斯托 正式安全协议模型中数据编码的安全抽象。 (英语) Zbl 1322.68070号 正式Asp。计算。 第1期第26页,第125-167页(2014年).MSC公司:68第25页 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{A.Pironti}和\textit{R.Sisto},正式Asp。计算。26,第1号,125--167(2014;Zbl 1322.68070) 全文: 内政部 链接
穆罕默德·萨利赫;穆拉德·德巴比 密码协议规范和验证的游戏理论框架。 (英语) Zbl 1211.68254号 正式Asp。计算。 22,第5期,585-609(2010).MSC公司:60年第68季度 91A80型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Saleh}和\textit{M.Debbabi},正式Asp。计算。22,第5号,585--609(2010;Zbl 1211.68254) 全文: 内政部