2) symbol approach
符号方法
1.
The formal methods of security protocol was categorized as two classes: the symbol approach,and the computatio￣nal approach.
安全协议形式化分析方法分为两种,即符号方法和计算方法。
2.
The symbol approach and the computational approach are two different approaches in security protocols formal analysis, but the former is quite alien to the latter.
在安全协议的形式化分析中,有两种完全不同的观点:符号方法和计算方法,两者各有优缺点。
4) semiotic analysis method
符号学分析方法
5) symbolic-numeric approach
符号一数值方法
6) the method of symbolic vector
符号矢量方法
1.
In this paper,the method of symbolic vector established by professor Tai C.
教授创建的符号矢量方法。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条