谢尔曼,艾伦·T。;埃琳·拉努斯;摩西·利斯科夫;爱德华·齐格勒;理查德·张;埃尼斯·戈拉斯泽夫斯基;瑞安·Wnuk-Fink;Cyrus J.博尼亚迪。;马里奥·雅克塞提格;伊恩·布鲁门菲尔德 安全远程密码协议的形式化方法分析。 (英语) Zbl 07370023号 Nigam,Vivek(编辑)等人,《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。12300, 103-126 (2020).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.T.Sherman}等人,Lect。注释计算。科学。12300,103-126(2020;Zbl 07370023) 全文: 内政部 arXiv公司
兰·卡内蒂;张玲;迪尔森·卡纳尔;摩西·利斯科夫;南希·林奇;奥利维埃·佩雷拉;罗伯特·塞加拉 任务结构的概率I/O自动机。 (英语) Zbl 1390.68382号 J.计算。系统。科学。 94, 63-97 (2018).MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Canetti}等人,《计算杂志》。系统。科学。94、63-97(2018;Zbl 1390.68382) 全文: 内政部