亚历山德罗·阿尔迪尼（编辑）；哈维尔·洛佩兹（编辑）；法比奥·马蒂内利（编辑） 安全分析与设计基础VII。FOSAD 2012/2013辅导讲座。 （英语） Zbl 1312.68003号 计算机科学课堂讲稿8604.柏林：施普林格出版社（ISBN 978-3-319-10081-4/pbk）。viii，第283页。(2014). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。FOSAD VI见[Zbl 1222.68004号].索引文章：花束、织物；法比安·佩鲁克斯（Fabien Peureux）；法布里斯·安伯特，功能和安全测试生成的基于模型的测试，1-33[Zbl 1448.68186号]贝格尔，延斯；Jürjens，Jan；托马斯·鲁罗斯（Thomas Ruhroth）；Gärtner，Stefan；库尔特·施耐德，《基于模型的安全工程：安全知识和软件模型的托管共同进化》，34-53[Zbl 1448.68187号]布鲁诺·布兰切特，符号模型中安全协议的自动验证：验证器ProVerif，54-87[Zbl 1448.68185号]吉尔·巴特；法国杜普斯托尔；本杰明·格雷戈里；塞萨尔·库茨；施密特，贝内迪克特；Pierre-Yves支柱，EasyCrypt:教程，146-166[Zbl 1448.68184号]大卫·伯恩哈德；沃林斯基，博格丹，加密投票–温和介绍，167-211[Zbl 1448.94188号]维梅尔卡蒂首都，萨布丽娜；罗伯特·F·埃尔巴赫。；萨拉·弗莱斯蒂；苏希尔·贾乔迪亚；乔瓦尼·利夫拉加；皮安吉拉·萨马拉蒂、加密和碎片化以确保云中的数据机密性，212-243[Zbl 1448.68232号]里奥斯，鲁本；哈维尔·洛佩兹；豪尔赫·库勒，WSN中的位置隐私：解决方案、挑战和未来趋势，244-282[Zbl 1448.68235号] 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68第25页 数据加密（计算机科学方面） 94A60型 密码学 00B15号机组 杂项特定利益物品的收集 引文：Zbl 1222.68004号 PDF格式BibTeX公司 XML格式引用 \textit{A.Aldini}（编辑）等，《安全分析和设计基础》VII。FOSAD 2012/2013辅导讲座。柏林：施普林格出版社（2014；Zbl 1312.68003） 全文： 内政部