江西省教育厅科技计划项目([2005]240)

作品数：3被引量：3H指数：1
导出分析报告
相关作者：李沛武更多>>
相关机构：南昌工程学院更多>>
相关期刊：《计算机工程与应用》《南昌工程学院学报》《计算机工程》更多>>
相关主题：PETRI网授权策略控制策略完整性形式化更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
使用控制授权模型的Petri网描述被引量：1
《计算机工程》2008年第3期196-198,共3页李沛武 
江西省自然科学基金资助项目(0511062);江西省教育厅科技计划基金资助项目(赣教技字[2005]240)
使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和使用中授权过程的策略规则,采用Petri网进行了表达,分析了Pe...
关键词：使用控制 PETRI网 授权策略 控制规则 
使用控制策略的Petri网描述被引量：2
《计算机工程与应用》2008年第2期60-62,共3页李沛武 
江西省自然科学基金( the Natural Science Foundation of Jiangxi Province of China under Grant No.0511062);江西省教育厅科技计划项目( No.赣教技字[2005]240) 。
使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。定义了授权控制模型的访问策略,然后采用Petri网进行了表达,证明了Petri网表达授权访问...
关键词：使用控制 PETRI网 访问策略 合理性 完整性 
使用控制授权策略的一种形式化表示方法被引量：1
《南昌工程学院学报》2007年第3期35-40,共6页李沛武 
江西省自然科学基金资助项目(0511062);江西省教育厅科技计划资助项目(赣教技字[2005]240号)
使用控制模型是一个包含传统访问控制、可信管理、数字权限管理的综合框架,是下一代数字资源使用控制模型.Petri网能够描述使用控制模型的分布、并发、同步等特征,又具有严格的数学基础以及易于理解和使用的图形表示,也有成熟的模型验...
关键词：使用控制 PETRI网 授权的连续性 属性的可变性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部