作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
基于iP-可观测属性的动态非传递无干扰模型
迮恺,陈丹,庄毅
Dynamic Intransitive Noninterference Model Based on iP-observability Attribute
ZE Kai,CHEN Dan,ZHUANG Yi
计算机工程 . 2018, (12): 173 -177,183 .  DOI: 10.19678/j.issn.1000-3428.0048204