J·黑尔。;Chandia，R。;坎贝尔，C。;爸爸，M。;谢诺伊，S。 可编程安全性的语言扩展。 （英语） Zbl 0997.68045号 Thurasingham，Bhavani（编辑）等人，《数据和应用程序安全》。发展和方向。IFIP TC11/WG11.3第十四届数据库安全年度工作会议，2000年8月21日至23日，荷兰绍尔。波士顿：Kluwer学术出版社。IFIP，国际联邦信息流程。73, 221-232 (2001).MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Hale}等人，IFIP，国际联邦信息处理。73、221--232（2001年；Zbl 0997.68045）
爸爸，M。;O·布雷默。;马吉尔，S。;J·黑尔。;谢诺伊，S。 密码协议的模拟和分析。 （英语） Zbl 0997.68043号 Thurasingham，Bhavani（编辑）等人，《数据和应用程序安全》。发展和方向。IFIP TC11/WG11.3第十四届数据库安全年度工作会议，2000年8月21日至23日，荷兰绍尔。波士顿：Kluwer学术出版社。IFIP，国际联邦信息流程。73, 89-100 (2001).MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Papa}等人，IFIP，国际联邦信息处理。73、89--100（2001年；Zbl 0997.68043）