弱互拟相关论文
以进程代数作为分析信息流安全属性的工具，将安全进程代数（SPA）扩展到概率系统，形成概率安全进程代数．使用概率安全进程代数对概率系统......
为了实现概率信息的安全降密和信道控制等重要安全策略，将可信域的概念引人概率安全进程代数，并以此为工具将非传递无干扰信息流安全......
