计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2005年
2期
159-165
,共7页
安全模型%信息流%无干扰%进程代数
安全模型%信息流%無榦擾%進程代數
안전모형%신식류%무간우%진정대수
与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质.自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型.本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明.
與基于訪問控製的形式安全模型相比,基于信息流的安全模型對于定義什麽是安全來說更為本質.自提齣信息流的無榦擾概唸以來,信息流模型成為安全研究的中心之一,併提齣瞭多種無榦擾信息流模型.本文基于進程代數框架研究這些模型,併給齣瞭一些新的結果和證明.
여기우방문공제적형식안전모형상비,기우신식류적안전모형대우정의십요시안전래설경위본질.자제출신식류적무간우개념이래,신식류모형성위안전연구적중심지일,병제출료다충무간우신식류모형.본문기우진정대수광가연구저사모형,병급출료일사신적결과화증명.
