里卡多·福卡迪(编辑);安德鲁·迈尔斯(编辑) 安全和信任原则。2015年4月11日至18日,作为欧洲软件理论和实践联席会议的一部分,第四届国际会议,POST 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卫星活动)。 (英语) Zbl 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 2006年4月 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}(编辑)和\textit{R.Gorrieri}(编),安全分析和设计基础。辅导讲座。柏林:施普林格出版社(2001;Zbl 0974.00025)