里卡多·福卡尔迪（编辑）;迈尔斯，安德鲁（编辑） 安全和信任原则。2015年4月11日至18日在英国伦敦举行的第四届国际会议（POST 2015），是欧洲软件理论与实践联合会议（ETAPS 2015）的一部分。诉讼程序。 （英语） Zbl 1333.68010号 计算机科学课堂讲稿9036.柏林：施普林格出版社（ISBN 978-3-662-46665-0/pbk；978-3-562-46666-7/电子书）。xii，365页。（2015年）。MSC公司：68-06 68第25页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}（编辑）和\textit{A.Myers}（主编），安全与信任原则。2015年4月11日至18日，作为欧洲软件理论和实践联席会议的一部分，第四届国际会议，POST 2015，在英国伦敦举行。诉讼程序。柏林：施普林格出版社（2015；Zbl 1333.68010） 全文： 内政部
里卡多·福卡尔迪（编辑）;罗伯托·戈里埃里（编辑） 安全分析与设计基础2。FOSAD 2001/2002辅导讲座。 （英语） Zbl 1031.68062号 计算机科学课堂讲稿. 2946. 柏林：斯普林格。vii，267页（2004年）。MSC公司：68第25页 68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}（编辑）和textit{R.Gorrieri}（编），安全分析和设计基础II。FOSAD 2001/2002辅导讲座。柏林：施普林格出版社（2004；Zbl 1031.68062） 全文： 内政部 链接
里卡多·福卡尔迪（编辑）;罗伯托·戈里埃里（编辑） 安全分析和设计基础。辅导讲座。 （英语） Zbl 0974.00025号 计算机科学课堂讲稿. 2171. 柏林：斯普林格。vii，397页（2001年）。MSC公司：00B15号机组 68-06 94-06 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}（编辑）和\textit{R.Gorrieri}（编），安全分析和设计基础。辅导讲座。柏林：施普林格出版社（2001；Zbl 0974.00025）