罗伯特·兰德;史蒂夫·兹丹塞维奇 VPHL:概率程序的验证部分正确性逻辑。 (英语) 兹比尔1351.68080 Dan Ghica(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,351-367,仅电子版(2015)。MSC公司:68号30 03B70号 68甲19 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rand}和\textit{S.Zdancewic},电子。注释Theor。计算。科学。319351-367(2015;Zbl 1351.68080) 全文: DOI程序
凯瑟琳·梅多斯 密码协议分析中正式方法的新问题和趋势:十二年后。 (英语) Zbl 1322.94089号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学9200、475-492课堂讲稿(2015)。MSC公司:94A60型 68个M12 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows},莱克特。注释计算。科学。9200、475--492(2015年;Zbl 1322.94089) 全文: DOI程序
大卫·诺瓦克;张瑜 形式化的安全证明:工作中的隐式计算复杂性。 (英语) Zbl 1310.94164号 Inf.计算。 241, 96-113 (2015).MSC公司:94A60型 03B40型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Nowak}和\textit{Y.Zhang},Inf.Compute。24196-113(2015年;Zbl 1310.94164) 全文: DOI程序