计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2008年
2期
509-511,515
,共4页
中国墙策略%有色Petri网%模型%安全%验证
中國牆策略%有色Petri網%模型%安全%驗證
중국장책략%유색Petri망%모형%안전%험증
提出了一种基于有色Petri网的建模方法,在系统的Petri网模型中可以对中国墙策略进行分析和验证.给出了基于有色Petri网的混合安全策略的形式化定义;并通过一个系统实例阐述了如何利用该方法对系统的混合安全性进行分析和验证.无论是在系统的设计阶段还是实现阶段,该方法都能够有效地提升系统的混合安全性.
提齣瞭一種基于有色Petri網的建模方法,在繫統的Petri網模型中可以對中國牆策略進行分析和驗證.給齣瞭基于有色Petri網的混閤安全策略的形式化定義;併通過一箇繫統實例闡述瞭如何利用該方法對繫統的混閤安全性進行分析和驗證.無論是在繫統的設計階段還是實現階段,該方法都能夠有效地提升繫統的混閤安全性.
제출료일충기우유색Petri망적건모방법,재계통적Petri망모형중가이대중국장책략진행분석화험증.급출료기우유색Petri망적혼합안전책략적형식화정의;병통과일개계통실례천술료여하이용해방법대계통적혼합안전성진행분석화험증.무론시재계통적설계계단환시실현계단,해방법도능구유효지제승계통적혼합안전성.
