通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2011年
10期
78-85
,共8页
张帆%陈曙%桑永宣%游林
張帆%陳曙%桑永宣%遊林
장범%진서%상영선%유림
无干扰%完整性%机密性%信息安全%可信计算
無榦擾%完整性%機密性%信息安全%可信計算
무간우%완정성%궤밀성%신식안전%가신계산
以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样,都是满足无干扰的；给出了Biba模型的无干扰解释；提出了动作等价关系,并利用动作等价关系研究了完整性条件下的信息流释放问题；提出了等价自动机和纯化等价自动机的观点,并说明了如何利用这2个图形化的工具帮助进行完整性无干扰推演.
以Rushby的無榦擾工作為基礎,對完整性條件下的無榦擾模型進行瞭研究:指齣瞭Rushby所定義的視圖劃分繫統和基于引用鑑視器假設的繫統在完整性條件下和機密性條件下一樣,都是滿足無榦擾的；給齣瞭Biba模型的無榦擾解釋；提齣瞭動作等價關繫,併利用動作等價關繫研究瞭完整性條件下的信息流釋放問題；提齣瞭等價自動機和純化等價自動機的觀點,併說明瞭如何利用這2箇圖形化的工具幫助進行完整性無榦擾推縯.
이Rushby적무간우공작위기출,대완정성조건하적무간우모형진행료연구:지출료Rushby소정의적시도화분계통화기우인용감시기가설적계통재완정성조건하화궤밀성조건하일양,도시만족무간우적；급출료Biba모형적무간우해석；제출료동작등개관계,병이용동작등개관계연구료완정성조건하적신식류석방문제；제출료등개자동궤화순화등개자동궤적관점,병설명료여하이용저2개도형화적공구방조진행완정성무간우추연.
