米歇尔·布格列西；斯特凡诺·卡尔扎瓦拉；里卡多·福卡尔迪 web安全的形式化方法。 （英语） Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87110-126（2017）.MSC公司：68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，J.Log。阿尔盖布。方法程序。87、110-126（2017；Zbl 1359.68021） 全文： 内政部 链接
里卡多·福卡尔迪；弗拉米尼娅·卢西奥。；格雷厄姆·斯蒂尔 安全API分析简介。 （英语） 兹比尔1344.68071 Aldini，Alessandro（编辑）等人，《安全分析和设计基础》，第六版，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学课堂讲稿6858，35-65（2011）。MSC公司：68第25页 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Lect。票据计算。科学。6858，35-65（2011年；兹bl 1344.68071） 全文： 内政部