概率信息流安全属性分析

来源 :计算机学报 | 被引量 : 0次 | 上传用户：yuantao22222

【摘要】

：

以进程代数作为分析信息流安全属性的工具，将安全进程代数（SPA）扩展到概率系统，形成概率安全进程代数．使用概率安全进程代数对概率系统建模，在弱概率互拟等价的基础上，讨论了概率信

【作者】

：

赵保华陈波陆超

【机构】

：

中国科学技术大学计算机科学与技术系

【出处】

：

计算机学报

【发表日期】

：

2006年8期

【关键词】

：

信息流安全概率配置进程代数无干扰弱互拟 information flow security probabilistic settings process

【基金项目】

：

本课题得到国家自然科学基金重大研究计划项目（90104010）、国家自然科学基金（60241004）、国家“九七三”重点基础研究发展规划项目基金（2003CB314801）、信息产业部242项目基金（2005C56）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

以进程代数作为分析信息流安全属性的工具，将安全进程代数（SPA）扩展到概率系统，形成概率安全进程代数．使用概率安全进程代数对概率系统建模，在弱概率互拟等价的基础上，讨论了概率信息流安全属性，提出了P_PBNDC，S_PBNDC，CP_PBNDC等基于复合的不可演绎的属性，分析了这些安全属性之间的关系，并给出了一个实际的概率系统的例子．

其他文献

川西看山

<正>~~

期刊

全面承接“一特四大”战略是推进湖北电网科学发展的必然选择

【正】电网是能源产业链的重要环节,是电力输送的载体,具备优化能源资源配置方式,提高配置效率的基本功能。电网企业贯彻落实科学发展观,必须立足当前、着眼长远,把加快电网

期刊

湖北电网电力输送能源生产特高压电网国家电网公司湖北省电力公司资源配置企业科学发展总发

基于BIM5D的工程智能建造管理应用分析

受到科学技术日益进步的影响,我国建筑工程领域开始重视运用BIM技术,使其在工程建设当中发挥出至关重要的作用。对比从前的数据信息管理,基于BIM5D技术下的工程施工管理与其

期刊

BIM5D智能建造管理应用策略

一类半正定多项式的平方和分解及其表达式的自动生成

建立了一个把半正定稀疏多项式表为多项式平方和的算法.这一算法依赖于Hilbert第17问题的一系列经典研究结果以及实闭域上量词消去的柱形代数剖分算法.该算法的机器实现为一

期刊

平方和分解柱形代数剖分Gram矩阵方法HILBERT17问题sum of squares decomposition cylindrical alge

一次财务管理的革新——省电力公司财务集约化管理推进纪实

【正】1958年,苏联经济学家第一次引用了"集约"一词。"集约"是相对粗放而言,"集约化经营"是以社会效益和经济效益为根本,对经营诸要素进行重组,以最小的成本获得最大的投资回

期刊

集约化管理财务管理公司财务湖北省电力公司供电公司国家电网公司公司本部杨桂荣共享服务中

三角域上的调和B-B曲面

利用方向导数研究了三角域上的调和B-B曲面的性质,给出了三角域上的B-B曲面为调和曲面的充要条件,并且证明了任何一个三角域上的调和B-B曲面的控制网格均由它的第1层和第2层控制顶点完全决定.最后对极小曲面在建筑设计中的应用进行了初步探讨.

期刊

极小曲面调和曲面三角域上的调和B—B曲面控制网格建筑设计minimal surface harmonic surface harmonic B-B s

概率信息流安全属性分析

其他学术论文