论文部分内容阅读
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.
安全进程代数基础
【摘 要】
：
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.
【机 构】
：
信息工程大学
【出 处】
：
信息工程大学学报
【发表日期】
：
2004年2期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
在鄂尔多斯盆地的陕北志丹地区勘探发现了长10油藏，原油密度为0．8152g／cm^3，全烃色谱图的主峰为nC13～nC15油质较轻。轻烃组分中环烷烃较为丰富，芳烃含量低，呈姥植均势（Pr／Ph为1．21～1.45），
随着信息技术的加速发展和Intemet的广泛应用,数据库管理系统的使用越来越普遍.如何防护数据库不致受破坏性攻击,信息系统数据不被侵害或窃取,已日益为人们所关注.本文建立了
文章在分析Barka和Sanhu提出的基于角色委托模型RBDM1基础上,针对它在处理委托关系方面引发的种种弊端,提出了一种改进模型.测试结果表明,改进的模型使得委托双方对委托关系
文章对目前流行的两种网格体系结构进行了概要性的介绍,并分析了各自的优缺点.介绍了Grid Service的概念和关于Grid Service创建、发现、生命周期管理、通知等接口规范.