A process algebraic approach to the modelling of information flow security is explained.

• 文章在安全进程代数理论框架内讨论信息流安全模型。