里卡多·福卡迪（编辑）;安德鲁·迈尔斯（编辑） 安全和信任原则。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），是欧洲软件理论与实践联合会议（ETAPS 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） 全文： 内政部 链接
里卡多·福卡迪（编辑）;吉安路易吉·扎瓦塔罗（编辑） FGC'03。全球计算基础。2003年6月28日至29日，荷兰埃因霍温，第二届EATCS研讨会会议记录（ICALP 2003卫星活动）。 （英文） 兹比尔1271.68037 理论计算机科学电子笔记85号，第1条。阿姆斯特丹：爱思唯尔。80页。，仅限电子版（2003年）。MSC公司：68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}（编辑）和textit{G.Zavataro}（主编），FGC’03。全球计算基础。2003年6月28日至29日，荷兰埃因霍温，第二届EATCS研讨会会议记录（ICALP 2003卫星活动）。阿姆斯特丹：Elsevier（2003；Zbl 1271.68037） 全文： 链接
里卡多·福卡迪（编辑）;罗伯托·戈里埃里（编辑） 安全分析和设计基础。辅导讲座。 （英文） 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）