里卡多·福卡尔迪(编辑);罗伯托·戈里埃里(编辑) 安全分析和设计的基础。辅导讲座。 (英语) Zbl 0974.00025号 计算机科学课堂讲稿. 2171. 柏林:斯普林格。vii,397页(2001年)。 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。索引文章:Peter Y.A.Ryan。,计算机安全的数学模型,1-62[Zbl 1007.68129号]保罗·西弗森;伊利亚诺·塞尔维萨托,身份验证协议的逻辑,63-136[Zbl 1007.68510号]Pierangela Samarati;萨布丽娜·德·卡皮塔尼·迪·维梅尔卡蒂,访问控制:策略、模型和机制,137-196[Zbl 1010.68698号]约书亚·D·古特曼。,安全目标:数据包轨迹和链空间,197-261[Zbl 1007.68509号]安德鲁·戈登。,关于安全性和机动性标称计算的注释,262-330[Zbl 1007.68507号]福卡迪、里卡多;罗伯托·戈里埃里、安全属性的分类。一: 信息流,331-396[Zbl 1007.68508号] 引用于1文件 MSC公司: 00B15号机组 杂项特定利益物品的收集 68-06 与计算机科学有关的会议记录、会议、收藏等 94-06 与信息和传播理论有关的会议记录、会议、收藏等 关键词:安全性分析;设计;讲座 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}(编辑)和\textit{R.Gorrieri}(编),安全分析和设计基础。辅导讲座。柏林:施普林格出版社(2001;Zbl 0974.00025)