文 献[11] 提出了概率无干扰(PNI, probabilistic non-interference)的概念。文献[12,13]采用进程代 数来描述和判定概率干扰系统,指出了不满足 BSPNI(bi-s...
基于1个网页-相关网页
probabilistic non-interference
概率不干涉
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动