A process algebraic approach to the modelling of information flow security is explained.
文章在安全进程代数理论框架内讨论信息流安全模型。
youdao
应用推荐
模块上移
模块下移
不移动