文献[11]基于无干扰理论,提出了基于进程的无干扰可信模型(Non-interference Trusted Model , NITM),利用进程间的干扰性来研究进程运行过程的可信,并基于进程可信构建系统可信模型。
基于4个网页-相关网页
non-interference trusted model
无干扰可信模型
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动