【摘 要】
：
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出
【机 构】
：
中国科学院计算技术研究所信息安全研究中心,中国科学院研究生院
论文部分内容阅读
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上,讨论概率时间信息流安全属性,提出TBSPNI,PTBNDC,SPTBNDC属性,分析属性的包含性,证明提出的属性在表达能力上强于原有属性,最后给出一个实例,对IMP机制在概率时间配置下进行了建模分析,分析结果表明ptSPA对捕获概率时间隐蔽通道的有效性.
其他文献
国库集中支付制度的推行，对行政单位财务管理提出了更高要求。本文以完善行政单位财务管理模式的现实必要性为出发点，探讨国库集中支付背景下行政单位财务管理模式存在的问题，并
随着我国政府对房地产行业的调控力度逐渐加大，怎样实现最大的经济效益、增强房地产企业的市场竞争力成为了当前经济环境下房地产企业重点关注的问题。纳税筹划作为一种不违反
现代社会在迅速发展的同时也以前所未有的速度破坏着人类赖以生存的环境，实施可持续发展战略、推行绿色财务管理是当前和未来企业经营管理的必然趋势。本文通过传统财务管理模
会计税务筹划在企业内部税费管理中的地位举足轻重，合理优化会计税务筹划策略，对企业合理纳税获取效益最大化有特殊意义。文章先介绍会计税务筹划的建议，然后就企业资本结构财务
在国有企业财务管理研究中，财务的管理环境和财务关系是其中的主要组成。在本文中，将把目光深入于国有企业财务主体的层面，把财务管理的环境分成一般环境和具体环境来进行研究和
根据财税体制改革的深入进行和发展的需要，营业税向增值税转变势在必行。目前营业税改征增值税的工作正在全国范围和行业内逐步试点推广。营业税改征增值税目的是减轻企业的纳
针对变速恒频风电系统,采用双频环优化控制结构研究多目标优化控制策略.低频环采用风能转换效率作为稳态优化指标,通过最佳叶尖速比法求解优化控制律；以转矩脉动作为控制变量
在当前我国竞争激烈的医疗市场中，完善医院的成本控制方法，加强医院财务管理是提升医院竞争水平，提高医院管理水平与医疗水平的好方法，不仅可以实现医院在社会上的效益，还可以壮大
农业的基本建设项目的投资是未来农业发展过程中的一个重要基础，尤其是对于农业生产过程中的抗灾能力提升来说，有着极其重要的作用。本篇文章主要针对农业基本建设项目的财务管
采用凝胶渗透色谱法(GPC),通过对二次催化溶胶-凝胶法制备硅胶微球原料硅酸乙酯40(TES40)、中间产物聚硅酸乙酯(PES)分子量的在线测定,实现了对反应过程的监控。采用Shodex K