Based on the model checking theory, we derive the running mode analysis method of three party cryptographic protocols from the running mode analysis method of two party cryptographic protocols.
在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。
SVO is actually a derivation of the base - generated SOV, motivated by Checking Theory.
受特征核查的驱动，英汉语中的SVO是在SOV基础上的推导。
SVO is actually a derivation of the base - generated SOV, motivated by Checking Theory.
受特征核查的驱动，英汉语中的SVO是在SOV基础上的推导。
应用推荐