互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

动态环境中的概率信息流安全


□ 赵保华 陈 波 陆 超

  摘要:在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害。同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P_PBNDC。使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P_PBNDC是概率系统在动态环境中合适的信息流安全性质,该性质能够揭露出概率互拟复合不可演绎性质(PBNDC)所不能暴露的潜在的安全隐患.最后,证明了P—PBNDC和SBSPNI性质的一致性,在限制算子和前缀算子下的P_PBNDC具有复合性质,而在并行算子下不具有复合性质。
  关键词:信息流安全;进程代数;动态环境
  中图分类号:TP311 文献标识码:A 文章编号:0253—987X(2006)08—0874—04

 未安装PDF浏览器用户请先下载安装
原版页码:874,875,876,877原版全文......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《西安交通大学学报》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017