计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
33期
96-100
,共5页
使用控制%形式化分析%有色Petri网%扩展使用控制策略模型
使用控製%形式化分析%有色Petri網%擴展使用控製策略模型
사용공제%형식화분석%유색Petri망%확전사용공제책략모형
为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作提供基础.
為解決目前UCON模型和策略規範存在繫統應用功能與安全策略集成性差、缺少事後義務和無併髮性控製問題,通過定義行為、安全和併髮規則,提齣瞭一種擴展的使用控製策略,採用有色Petri網技術,達到形式化定義、分析的目的,為將來的研究工作提供基礎.
위해결목전UCON모형화책략규범존재계통응용공능여안전책략집성성차、결소사후의무화무병발성공제문제,통과정의행위、안전화병발규칙,제출료일충확전적사용공제책략,채용유색Petri망기술,체도형식화정의、분석적목적,위장래적연구공작제공기출.
