江西省教育厅科技计划项目([2005]240)
- 作品数：3 被引量：4H指数：2
- 相关作者：李沛武更多>>
- 相关机构：南昌工程学院更多>>
- 发文基金：江西省教育厅科技计划项目江西省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 使用控制授权策略的一种形式化表示方法被引量：1
- 2007年
- 使用控制模型是一个包含传统访问控制、可信管理、数字权限管理的综合框架,是下一代数字资源使用控制模型.Petri网能够描述使用控制模型的分布、并发、同步等特征,又具有严格的数学基础以及易于理解和使用的图形表示,也有成熟的模型验证和模拟工具,是建立和研究使用控制模型的有效技术.定义了使用前和使用中授权使用控制模型及其连续性和可变性特性,然后采用有色Petri网进行了表达,并详细分析了有色Petri网模型能够表达授权使用控制模型的使用授权策略.
- 李沛武
- 关键词：PETRI网
- 使用控制策略的Petri网描述被引量：2
- 2008年
- 使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。定义了授权控制模型的访问策略,然后采用Petri网进行了表达,证明了Petri网表达授权访问策略的正确性,最后通过示例说明了Petri网表示的表达能力。
- 李沛武
- 关键词：PETRI网完整性
- 使用控制授权模型的Petri网描述被引量：2
- 2008年
- 使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和使用中授权过程的策略规则,采用Petri网进行了表达,分析了Petri网模型能够表达授权控制模型的使用授权策略,给出了使用控制授权模型的有色Petri网表示。
- 李沛武
- 关键词：PETRI网授权策略
