程序信息流安全是信息安全的一个重要研究方向。
Ensuring information flow security of programs is an important research direction of information security.
安全进程代数可以作为信息流安全的基础理论框架。
Security Process Algebra forms a basis for secure information flow theory.
文章在安全进程代数理论框架内讨论信息流安全模型。
A process algebraic approach to the modelling of information flow security is explained.
应用推荐