论文部分内容阅读
使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。定义了授权控制模型的访问策略,然后采用Petri网进行了表达,证明了Petri网表达授权访问策略的正确性,最后通过示例说明了Petri网表示的表达能力。
使用控制策略的Petri网描述
【摘 要】
：
使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。定义了授权控制模型的访问
【机 构】
：
南昌工程学院科研处
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年2期
【基金项目】
：
江西省自然科学基金（ the Natural Science Foundation of Jiangxi Province of China under Grant No.0511062）, 江西省教育厅科技计划项目（ No.赣教技字[2005]240） .
其他文献
传统的数据库已经不能满足仿真数据库对性能优化的要求。因此，提出了非精确计算中由反馈环节控制的实时调度算法。在这些研究的基础上对该方法提出了改进，提出了使其在各种负载
“我要一所大房子，有很大的落地窗户，阳光洒在地板上，也温暖了我的被子……一个房间一个房间，我也不知道该放些什么，告别暗淡生活……小狗在屋里奔跑，度过完美的一天。”当我在One
在移动Ad hoc网络中,由于网络的自组织性、节点的频繁移动以及节点数目的增加,网络的开销迅速增大,这就直接影响到网络的可扩展性。目前,在移动Ad Hoc网络中越来越多地引入了
基于组织目标的分解和分析,应用经典的统计过程控制（SPC）技术,建立了基于目标的软件过程性能定量评价模型（G-SP-PAM）。通过分析组织目标（Goal）、度量指标（Indictor）和软件子过程（Sub p
历史洪水调查是水文调查工作中的重要内容之一,其对于水利水电工程的建设和其他相关工程项目的开展都具有较大的影响,因此调查人员要以历史洪水的文献记录为基础,结合实地走
2018年,本刊一行曾深入延长石油(集团)有限责任公司(以下简称“延长石油集团”)总部及集团所属四川销售公司和榆林分公司等进行实地调研,并刊文呼吁企业管理者不妨借鉴该集团
随着移动互联网应用的逐渐普及,特种设备越来越多,这也使得人们对特种设备的服务和应用标准日益提升,相关工作人员需要对此提高重视程度。本文根据以往工作经验,对特种设备简