A process algebraicapproach to the modelling of information flow security is explained.
文章在安全进程代数理论框架内讨论信息流安全模型。
2
We introduce an algebraicapproach to solving mechanical problems based on the poisson bracket formulation is obtained.
本文引进一个建立在油松括号表述上的代数方法,以求解力学问题。
3
The disadvantage of the algebraicapproach is that many lines of print are needed to express what is conveyed almost instantaneously by a single diagram.