不干涉模型相关硕士博士期刊学术论文

本文的主要工作是利用可移动进程的形式化模型л演算为工具，考虑系统的移动性（Mobility），将系统安全属性的刻画归结为特定系统进程等价......