云南高校图书馆联盟文献共享服务平台- 信息流安全

信息流安全: 作品数：27被引量：54H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：黄海军孙聪陈意云习宁秦保力更多>>; 相关机构：中国科学技术大学西安电子科技大学华中科技大学中国科学院软件研究所更多>>; 相关期刊：《技术与创新管理》《航空计算技术》《中国电子商务》《信息工程大学学报》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

概率信息流安全属性分析被引量：6: 《计算机学报》2006年第8期1447-1452,共6页赵保华陈波陆超; 国家自然科学基金重大研究计划项目(90104010);国家自然科学基金(60241004);国家"九七三"重点基础研究发展规划项目基金(2003CB314801);信息产业部242项目基金(2005C56)资助.; 以进程代数作为分析信息流安全属性的工具,将安全进程代数(SPA)扩展到概率系统,形成概率安全进程代数.使用概率安全进程代数对概率系统建模,在弱概率互拟等价的基础上,讨论了概率信息流安全属性,提出了P_PBNDC,S_PBNDC,CP_PBNDC等基于...; 关键词：信息流安全概率配置进程代数无干扰弱互拟