Hoang,T.S.公司。;A.K.McIver。;梅尼克,L。;摩根,C。;A.斯隆。;苏萨托,E。 无干扰安全的抽象:概率与可能性。 (英语) 兹比尔1323.68212 正式Asp。计算。 26,第1期,169-194(2014).MSC公司:68号30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人,正式Asp。计算。26,第1号,169--194(2014;Zbl 1323.68212) 全文: 内政部
阿尔弗雷多·皮隆蒂;里卡多·西斯托 正式安全协议模型中数据编码的安全抽象。 (英语) Zbl 1322.68070号 正式Asp。计算。 26,第1期,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) 全文: 内政部 链接