马修·鲍尔。；罗希特·查达；马赫什·维斯瓦纳坦 在存在随机性的情况下对协议等价性进行模块化验证。 （英语） Zbl 1496.68058号 Foley，Simon N.（编辑）等人，《计算机安全–ESORICS 2017》。第22届欧洲计算机安全研究研讨会，挪威奥斯陆，2017年9月11-15日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10492, 187-205 (2017).MSC公司：68平方米25 68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Bauer}等人，莱克特。注释计算。科学。10492、187--205（2017；Zbl 1496.68058） 全文： 内政部 链接
罗希特·查达；文森特·雪瓦尔；瑟·特凡·乔巴赫；史蒂夫·克莱默 密码协议等价属性的自动验证。 （英语） Zbl 1367.68184号 ACM事务处理。计算。日志。 17号第4条第23条第32页（2016年）.MSC公司：60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人，ACM Trans。计算。日志。17，第4号，第23条，32页（2016年；Zbl 1367.68184） 全文： 内政部