使用控制授权策略的一种形式化表示方法

• 作者: 李沛武
• 来源期刊: 南昌工程学院学报
• 学科: 工学
• 关键词: 使用控制 Petri网 授权的连续性 属性的可变性
• 年，卷（期）: 2007,（3）
• 页码范围: 35-40
• 页数: 6页
• 分类号: TP309.2
• 字数: 4123字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-4869.2007.03.008

摘要

使用控制模型是一个包含传统访问控制、可信管理、数字权限管理的综合框架,是下一代数字资源使用控制模型.Petri网能够描述使用控制模型的分布、并发、同步等特征,又具有严格的数学基础以及易于理解和使用的图形表示,也有成熟的模型验证和模拟工具,是建立和研究使用控制模型的有效技术.定义了使用前和使用中授权使用控制模型及其连续性和可变性特性,然后采用有色Petri网进行了表达,并详细分析了有色Petri网模型能够表达授权使用控制模型的使用授权策略.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李沛武	南昌工程学院科研处	26	133	5.0	10.0