凯瑟琳·梅多斯 在计算声音上移动条形图。 （英语） Zbl 1499.94048号 Bertino，Elisa（编辑）等人，《计算机安全–ESORICS 2021》。第26届欧洲计算机安全研究研讨会，德国达姆施塔特，2021年10月4日至8日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12973, 275-295 (2021).MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Meadows}，莱克特。注释计算。科学。12973、275——295（2021年；Zbl 1499.94048） 全文： 内政部
戴维·巴恩斯;Cremers，卡斯;凯瑟琳·梅多斯 模型检查安全协议。 （英语） 兹比尔1392.68228 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。727-762 (2018).MSC公司：60年第68季度 68个M12 94A60 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人，in：模型检查手册。查姆：斯普林格。727--762（2018；Zbl 1392.68228） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 用不等量约束模方程理论进行符号协议分析。 （英语） Zbl 1437.94060号 Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 238-261 (2015).MSC公司：94A60 68纳米30 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。9465，238--261（2015；Zbl 1437.94060） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅 Maude-NRL协议分析器中的状态空间缩减。 （英语） Zbl 1360.94307号 Inf.计算。 238, 157-186 (2014).MSC公司：94A60 68个M12 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，《信息计算》。238157--186（2014年；Zbl 1360.94307） 全文： 内政部 链接
巴甫洛维奇，杜斯科;凯瑟琳·梅多斯 贝叶斯认证：量化Hancke-Kuhn协议的安全性。 （英语） Zbl 1343.94077号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，97-122（2010）。MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit｛D.Pavlovic｝和\textit｛C.Meadows｝，电子。注释Theor。计算。科学。26597--122（2010年；Zbl 1343.94077） 全文： 内政部 OA许可证
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 Maude NPA：密码协议分析的模等式性质。 （英语） Zbl 1252.94061号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林：施普林格出版社（ISBN 978-3-642-03828-0/pbk）。计算机科学课程讲稿5705，1-50（2009）。MSC公司：94A60 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Lect。注释计算。科学。5705，1-50（2009年；Zbl 1252.94061） 全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔 NRL协议分析器及其元逻辑属性的基于重写的推理系统。 （英语） Zbl 1153.94375号 理论。计算。科学。 367，第1-2号，162-202（2006）.MSC公司：94A60 94A62型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人，Theor。计算。科学。367，编号1--2，162-202（2006；Zbl 1153.94375） 全文： 内政部
保罗·西弗森;凯瑟琳·梅多斯 密码协议要求的一种形式化语言。 （英语） Zbl 0843.94010号 设计。代码加密 7，第1-2、27-59号（1996年）.MSC公司：94A60 65年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Syverson}和\textit{C.Meadows}，德斯。密码术7，No.1--2，27-59（1996；Zbl 0843.94010） 全文： 内政部
R·凯默勒。;密苏里州梅多斯。;J·米伦。 密码协议分析的三个系统。 （英语） Zbl 0814.94011号 J.密码学 第7期，第2期，79-130页（1994年）.MSC公司：94A60 68第25页 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{R.Kemmerer}等人，J.Cryptology 7，No.2，79--130（1994；Zbl 0814.94011） 全文： 内政部