论文部分内容阅读
本文从静态分析的角度讨论了一种增强分布式系统安全特性的研究方法。建立了分布式系统环境下信息流的格模型,并引入信任关系模型进行安全特性分析,给出了增强分布式系统机密性和完整性的安全断言和静态安全约束条件。
基于信息流控制的分布式系统安全研究
【摘 要】
：
本文从静态分析的角度讨论了一种增强分布式系统安全特性的研究方法。建立了分布式系统环境下信息流的格模型,并引入信任关系模型进行安全特性分析,给出了增强分布式系统机密
【机 构】
：
解放军信息工程大学电子技术学院 郑州 450004
【出 处】
：
2007年全国高性能计算学术年会
【发表日期】
：
2007年期
其他文献
针对锅炉管屏(膜式壁)焊缝检测而开发的管屏 DR(Digital Radiography)系统具有高效率、低成本、节能、环保等特点.本文通过对比的方法对不同图像处理方式、焦点尺寸大小、曝
套管工件外管对接环焊缝采用射线检测,对透照布置、透照次数、灵敏度选取等进行分析,采用合适的透照工艺参数,通过工艺验证获得灵敏度、黑度均满足标准要求的射线底片.
本文主要讨论将网格系统移植到IPv6网络上实验和方法。首先,列举IPv6的新特性对于网格的更好的支持,然后通过实验,将GlobusToolkit4和UNICORE移植到IPv6网络上,最后总结出将
在采用γ放射源192 Ir探伤时,为了提高现场探伤的检测工作效率,减少废片,将理论公式与实践相结合,推导出经验公式.随着智能手机APP的普遍应用,开发出只需要输入工件的公称尺
新兴的片上网络(Network. on. Chip, NoC)通常采用虫孔交换技术,并且提出了严格的缓冲资源约束。分析了虫孔交换网络中链路调度的特点,指出了锚点轮转(Anchored Round-Robin,
会议
冀有虎提出的交错群网络AN是一类Cayley图网络,在保留了经典的星图网络的一些优良性质的基础上,,呈现出许多网络拓扑结构设计者追求的结构特征。陈宝兴在[2]中给出了该结构任
针对相控阵检测技术现场应用,依据ASME标准要求,对超声相控阵仪器的校准、探头校准以及校准试块和认证试块的制作要求作了进一步的规范.对今后超声相控阵检验技术现场应用起
介绍了现场射线检测复杂异常环境下,透照参数的确定,以确保射线检测一次成功率,降低检测成本、提高经济效益。
This paper introduces the determination of transilluminat
Internet应用需要高性能的网络服务器体系结构。本文提出MEANS结构,这是一种针对Internet应用的网络服务器软件体系结构.通过引入一种新的线程抽象,微线程,MEANS向上层的程序
会议