【摘 要】
：
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出
【机 构】
：
中国科学院计算技术研究所信息安全研究中心,中国科学院研究生院
论文部分内容阅读
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上,讨论概率时间信息流安全属性,提出TBSPNI,PTBNDC,SPTBNDC属性,分析属性的包含性,证明提出的属性在表达能力上强于原有属性,最后给出一个实例,对IMP机制在概率时间配置下进行了建模分析,分析结果表明ptSPA对捕获概率时间隐蔽通道的有效性.
其他文献
坚持棉花良种繁育 促进棉花生产发展陈义和（滁州南谯区腰铺乡农技站，滁州２３９０００）滁州市南谯区腰铺乡，自１９８９年起被评定为（原滁州市）优质棉──中棉１２号良种繁殖基地乡。全乡２５４３０亩耕地。多年来，始终
在当今便携式电子产品设计中最的因素之一就是降低系统功率消耗.
１材料和方法１．１试验树试验树设在本场１４队１８园小梨园，该园土壤属黄河故道冲积的潮土类的泡沙土，果园管理水平一般，供试树为７年生砀山早酥（砀山县果树所１９８１年由砀山酥梨与伏茄梨杂交育成）树势中
双晚软盘旱育“三壳”覆盖的技术及其效果仲心华，吴学忠，袁焕进（芜湖县农业技术推广中心．２４１１００）软盘旱育抛殃．近几年在我县随着试验、示范、推广的逐步深入．广大农民对此项技术经历了由陌
基于ＮＯ２＾－，ＮＯ３＾－和Ｆｅ（Ⅲ）对甲基橙光化学褪色反应的催化作用，利用自制流通式光化学反应应器，建立了流动注射光化学反应同时测定ＮＯ２＾－和ＮＯ３＾－以及测定Ｆｅ（Ⅲ）的新方法。测定ＮＯ２＾－和ＮＯ３＾－的线性范围都是０．１－３．２ｍｇ／Ｌ，每小时可测３０－４０个样品。
科学技术是推动人类社会前进的革命力量。目前，我国正面临着新技术浪潮的伟大变革，面临着新世纪信息文明的挑战，这变革与挑战无疑预示着生产力的迅猛发展。作为保卫和促进生产力
持续数据保护(continuous data protection，CDP)是一种在不影响主要业务系统运行的前提下，可以实现持续捕捉或跟踪目标系统所发生的任何改变，并且能够恢复到此前任意时间点
随着经济的发展和社会进步，家用电器设备越来越多，越来越普及，如电饭煲、微波炉、电视机、影碟机、抽油烟机、电热水器、空调器、冰箱、电脑，甚至有的家庭安装了烘烤箱等等，使得家
合州市场位于合阳城中心区，市场总投资2600万元，建筑面积2.5万m^2。