阿斯兰·阿斯卡洛夫；安德鲁·迈尔斯 攻击者对机密性和完整性的控制和影响。 （英语） Zbl 1237.68055号 日志。方法计算。科学。 7，第3号，第17号论文，33页（2011年）.MSC公司：68号30 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Askarov}和\textit{A.Myers}，日志。方法计算。科学。7，第3号，第17号论文，33页（2011年；Zbl 1237.68055） 全文： 内政部 arXiv公司
阿斯兰·阿斯卡洛夫；迈尔斯，安德鲁 解密和背书的语义框架。 （英语） Zbl 1260.68049号 Andrew D.Gordon（编辑），《编程语言和系统》。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。计算机科学课堂讲稿601264-84（2010）。MSC公司：68甲15 68号30 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Askarov}和\textit{A.Myers}，莱克特。票据计算。科学。6012，64-84（2010年；兹比尔1260.68049） 全文： 内政部