里卡多·福卡尔迪;卢西奥，弗拉米尼亚L。 在串空间中保护密钥管理策略。 （英语） Zbl 1498.94060号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13066, 175-197 (2021).MSC公司：94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}和\textit{F.L.Luccio}，莱克特。票据计算。科学。13066，175--197（2021；Zbl 1498.94060） 全文： 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程序