期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
有色Petri网的扩展使用控制策略模型设计
被引量：
1
1
作者
李沛武
雷金娥
《计算机工程与应用》
CSCD
2012年第33期96-100,共5页
为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作...
为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作提供基础。
展开更多
关键词
使用控制
形式化分析
有色PETRI网
扩展使用控制策略模型
在线阅读
下载PDF
职称材料
题名
有色Petri网的扩展使用控制策略模型设计
被引量：
1
1
作者
李沛武
雷金娥
机构
南昌工程学院科研处
南昌工程学院信息工程学院
出处
《计算机工程与应用》
CSCD
2012年第33期96-100,共5页
基金
江西省自然科学基金(No.2009GZS0082
No.2011ZBAB201005)
江西省工业支撑计划(No.2011ZBBE50030)
文摘
为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作提供基础。
关键词
使用控制
形式化分析
有色PETRI网
扩展使用控制策略模型
Keywords
usage
control
formal analyze
colored Petri nets
extended usage control strategy mode（leucsm）
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
有色Petri网的扩展使用控制策略模型设计
李沛武
雷金娥
《计算机工程与应用》
CSCD
2012
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
