论文部分内容阅读
在概率安全进程代数的基础上，研究了概率系统在动态环境中的信息流安全，以解决可动态配置的恶意进程对系统带来的危害．同时，提出了动态环境中的概率互拟复合不可演绎性质，即持久P_PBNDC．使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P_PBNDC是概率系统在动态环境中合适的信息流安全性质，该性质能够揭露出概率互拟复合不可演绎性质（PBNDC）所不能暴露的潜在的安全隐患．最后，证明了PPBNDC和SBSPNI性质的一致性，在限制算子和前缀算子下的P_PBNDC具有复合性质，而在并行算子下不具有复合性质．