通信学报2011，Vol.32Issue(10)：78-85,8.
完整性条件下无干扰模型
Noninterference model for integrity
摘要
Abstract
The integrity noninterference model was investigated based on Rushby's work. It was shown that the view-partitioned system and the reference monitor assumption-based system defined by Rushby still satisfy noninterference in the integrity condition as they do in the confidentiality condition; the integrity-noninterference explanation of the Biba model was given; the action-equivalence relation was proposed to deal with the integrity downgrading; two automatons, named the equivalent automaton and the purified equivalent automaton, were proposed to aid the noninterference deduction.关键词
无干扰/完整性/机密性/信息安全/可信计算Key words
noninterference/ integrity/ confidentiality/ information security/ trusted computing分类
信息技术与安全科学引用本文复制引用
张帆,陈曙,桑永宣,游林..完整性条件下无干扰模型[J].通信学报,2011,32(10):78-85,8.基金项目
国家高技术研究发展计划基金资助项目("863"计划)基金资助项目(2007AA01Z85) （"863"计划）
浙江省自然科学基金杰出青年团队资助项日(R1090138) （R1090138）
