华中科技大学学报（自然科学版）
華中科技大學學報（自然科學版）
화중과기대학학보（자연과학판）
JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURE SCIENCE)
2007年
10期
28-31
,共4页
保密性策略%Petri网%模型%验证
保密性策略%Petri網%模型%驗證
보밀성책략%Petri망%모형%험증
为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程.
為瞭對實施瞭具體保密性策略的繫統、進程或工作流的保密性進行嚴格有效的分析與驗證,提齣瞭一種基于Petri網的保密性策略建模與驗證方法.首先給齣保密性策略基于Petri網的形式化描述,為繫統建立Petri網模型;然後在此模型下利用保密性策略基于Petri網的形式化描述以及覆蓋圖對繫統的保密性進行分析與驗證,以判斷繫統是否符閤保密性策略的要求.由于給定的繫統Petri網模型覆蓋圖可以自動生成,因此可以利用其對繫統的保密性進行自動分析與驗證.通過一箇進程實例闡述瞭該方法的原理和實施過程.
위료대실시료구체보밀성책략적계통、진정혹공작류적보밀성진행엄격유효적분석여험증,제출료일충기우Petri망적보밀성책략건모여험증방법.수선급출보밀성책략기우Petri망적형식화묘술,위계통건립Petri망모형;연후재차모형하이용보밀성책략기우Petri망적형식화묘술이급복개도대계통적보밀성진행분석여험증,이판단계통시부부합보밀성책략적요구.유우급정적계통Petri망모형복개도가이자동생성,인차가이이용기대계통적보밀성진행자동분석여험증.통과일개진정실례천술료해방법적원리화실시과정.
