【摘 要】
：
使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数TCSP#建立了每个UCON核模型的形式化规约,以
【基金项目】
：
国家自然科学基金资助项目（No.61300228）~~
论文部分内容阅读
使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数TCSP#建立了每个UCON核模型的形式化规约,以及针对一般化UCON的组合规约机制。其次,提出了各种基于单会话的进程组合机制,实现了复杂并发会话、时间控制与非确定性的形式化规范,从而使组合进程的可达空间即为所求空间。最后,提出了基于可达空间的UCON安全性分析方法,以及基于进程代数等价的控制规则冲突性分析方法。所有的工作都已在PAT上实现,表明所提方法是切实可行的,同时也为UCON
其他文献
将数字取证服务外包给云有利于满足公众和各类机构的鉴别服务需求,也是数字取证技术发展的必然。然而这也带来了隐私泄露的风险。在已有的相关领域的研究基础上,给出了具有隐
2009年8月10日，由作物遗传改良国家重点实验室与黑龙江大学共同建立的东北开放合作基地挂牌成立。
自2008年四季度以来，国内食用菌产销形势一片红火，尤其是2009年以来，更是前所未有的高价格、大销量。业内人士预测，这种旺盛的市场需求将会继续保持下去，2010年下半年的食用菌市场
针对现有的文件保险箱缺乏文件管理机制和在线身份认证的问题,设计并实现了基于认证授权的文件安全保险箱系统。系统首先对文件保险箱的用户进行在线身份认证,避免非法用户登
据农业部农情调度显示，截至2010年10月14日，全国已播冬小麦1．89亿亩，这为今后一段时间小麦价格运行在一个平稳的宏观环境中奠定基础。
<正> 俗话说:'有人识得路边草,致富之路走定了。'此话一点不假,一个人只要掌握一技之长,何愁不能致富。伐木后的如栗树类、栎树类、柳树、杨树、榆树、构树、桑树等
1．堆垛贮藏法。留种数量较多的品种可用麻袋包装，按品种堆垛贮藏，每堆下面应有垫板，以利通风。堆垛高度一般不宜超过6袋，细小种子不宜超过3袋，隔一段时间要翻动一下。否则，底层种子