Running-mode analysis 运行模式分析法
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.
在两方密码协议运行模式分析法的基础上,利用模型检测的理论结果,提出了三方密码协议运行模式分析法。
Based on knowledge management, to explore the running conditions, mode selection and strategy analysis, on the purpose of increasing the medical quality.
通过对知识管理的研究,探索其在医院业务中运用的条件、模式选择及策略分析,以达到提高医院医疗质量的目的。
The simplified SSL3 0 basic handshake protocol is analyzed by using a formal analysis method called the approach of the running-mode analysis.
主要使用运行模式法对简化的SSL3 0基本握手协议进行了形式化分析。
应用推荐