里卡多·福卡迪;罗伯托·戈里埃里 安全属性的分类。一: 信息流。 (英文) Zbl 1007.68508号 Focardi,Riccardo(编辑)等人,《安全分析和设计基础》。辅导讲座。柏林:斯普林格。勒克特。注释计算。科学。2171, 331-396 (2001). 摘要:近年来,提出了许多安全属性的形式化,其中大多数基于不同的底层模型,因此很难进行比较。因此,安全属性的分类对于理解不同定义之间的关系和评估相对优点很有意义。本文在一个统一的框架中对计算机安全中提出的许多非干涉类属性进行了分类和比较。通过对计算机系统中访问控制的一些案例研究,对由此产生的分类进行了评估。该方法已机械化,导致工具CoSeC。讨论了各种扩展(例如,密码协议分析的应用)和开放问题。关于整个系列,请参见[Zbl 0974.00025号]. 引用于1审查引用于34文件 MSC公司: 68第25页 数据加密(计算机科学方面) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}和\textit{R.Gorrieri},莱克特。注释计算。科学。2171、331--396(2001年;Zbl 1007.68508) 全文: 链接