Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
FSP是一类描述并发程序形式化规约的进程代数记法。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
应用推荐