【摘 要】
：
机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方
【机 构】
：
中国科学院信息工程研究所,国家计算机网络应急技术处理协调中心,广西可信软件重点实验室桂林电子科技大学
论文部分内容阅读
机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算（Hybrid Typed Securityπ,πHTS）.根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统
其他文献
<正>今天,我们,二十国集团(G20)的农业部长们,汇聚在西安,共同探讨G20成员如何促进全球粮食安全、营养以及可持续农业增长和农村发展,构建创新、活力、联动、包容的世界经济,
目的 探讨血清CysC、尿β2-MG、尿mAlb三项联合检测对肝癌及肝硬化继发早期肾功能损伤的诊断价值。方法 选取110例肝硬化及原发性肝癌患者(肝硬化组70例、肝癌组40例)及70例
2016年我国大豆市场整体呈震荡走强态势运行,从年初青黄不接豆价上涨,到国储放粮压制市场行情,而遭遇旱涝轮番肆虐的新豆一度低迷不振,进入四季度后有较大幅度的增长。国内来
目的 筛选肝硬化合并门静脉血栓(Portal vein thrombosis,PVT)患者的血清差异表达蛋白,对脂代谢相关差异表达蛋白进行分析。方法 收集2015年11月至2016年11月在新疆医科大学