塞尔吉·布尔苏克;克里斯蒂安·约翰森;徐世伟 自动验证信任协议的动态根。 （英语） Zbl 1444.68037号 Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10204, 95-116 (2017).MSC公司：68平方米25 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bursuc}等人，Lect。注释计算。科学。10204，95-116（2017；Zbl 1444.68037） 全文： 内政部 arXiv公司
凯瑟琳·梅多斯 密码协议分析中形式化方法的新问题和趋势：十二年后。 （英语） 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） 全文： 内政部