常用短語(yǔ)

formal analysis method形式化分析

formal analysis methods形式化分析方法

Formal Concept Analysis形式概念分析

protocol formal analysis method協(xié)議形式化分析

mixed formal analysis technology混合分析技術(shù)

formal analysis and virtual analysis形式與實(shí)質(zhì)分析

formal analysis of security protocol安全協(xié)議形式化分析

formal analysis of security protocols安全協(xié)議形式化分析

formal analysis of cryptographic protocol形式化分析密碼協(xié)議