论文部分内容阅读
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。
基于安全进程代数的信息流安全模型的分析与验证
【摘 要】
：
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑
【机 构】
：
华东理工大学计算机科学与工程系,滁州学院计算机科学与技术系
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
2012年1期
【基金项目】
：
国家自然科学基金（60473055,60773094）, 上海市曙光计划（07SG32）, 安徽省高校省级自然科学研究基金项目（KJ2011Z279）, 滁州学院自然科学基金项目（2010kj008Z）
其他文献
摘要：设计了一种适用于球形机器人的光电寻迹系统，利用简化的三次样条插值法求解球形机器人的行走路径，并分别采用第1类边界条件和第2类边界条件进行球形机器人路径轨迹的拟合计
由于去块滤波运算数据量庞大的特点以及视频解码实时性的要求,近年来,去块滤波运算的硬件加速器已逐渐成为研究的热点。从兼顾系统的灵活性与性能的角度出发,设计了一种可重
考察了城市污泥与神府煤共气化过程中硫元素的挥发行为。结合X射线衍射（XRD）分析与热力学计算，讨论了含磷化合物对硫挥发行为的影响机理。实验结果表明：污泥中磷酸铝可与硬石膏发
通过研究直馏、焦化及催化柴油的含硫化合物的结构与分布、含硫量、含氮量以及芳烃含量等性质差异，采用Co—Mo和Ni—Mo—W两种柴油深度脱硫催化剂对比考察了不同柴油的深度脱
摘要：丙烯腈装置中丙烯氨的氧化反应过程及丙烯与空气配比是提高丙烯转化率和丙烯腈收率的关键，从而实现资源高效合理利用。本文对某丙烯腈厂的空气压缩机组进行蒸汽能耗分析，为
针对一类加工时间不确定的以总流经时间（TFT）为目标的置换Flow Shop调度问题,应用模糊数学的方法表示加工时间的不确定性,提出了一种改进的智能算法——异步遗传局部搜索算法（AG
以嘌呤类碱基为基本结构单元.通过酰胺化反应引入芳香环.合成出12个熔点高、相对分子质量大的嘌呤类似物。经检测发现,所得的嘌呤类似物在紫外吸收方面性能均有所提高,在光稳
由于网络本身以及网络中应用节点的不确定性,使得网络控制系统工作在一个可变负载、开放、不稳定的环境中。为保证网络控制系统在可变负载的网络环境中稳定运行,提出了一种基
研制了一台测试机械密封可以在转速、介质压力和弹簧比压等不同工况下的温升量、摩擦扭矩和泄漏量的试验装置。以聚四氟乙烯和球墨铸铁材料为密封摩擦副进行了试验研究，结果表
采用紫外光照射法在咪唑类离子液体[C12mini[Br]中一步合成了Au—[C12miniEBr]纳米复合物，将该纳米复合物固定牛血红蛋白（Hb）后修饰于玻碳（GC）电极表面构成Hb／Au—[C12zmini[Br]／GC