Information Flow Models Based on Security Process Algebra

• 基于安全进程代数的信息流模型