FDT：形式化描述技术

英文缩写词FDT的例句

1. 通过 对 现有 入侵 检测 方法 和 攻击 分类 方法 的 分析 和 研究 ， 提出 了 一 种 面向 检测 的 网络 攻击 分类 方法 &ESTQ 方法 ， 并 对 其 进行 了 形式 化 描述 和 分析 。
2. Adetection-orientednetworkattackclassificationapproach&ESTQisintroducedandanalyzedusingformaldescriptiontechnique.
3. 第 三 章 和 第 四 章 主要 介绍 了 ESTELLE 为 代表 的 形式 化 描述 技术 。 针对 ESTELLE 描述 通道 的 局限 性 ， 给出 了 一 个 描述 广播 通道 的 扩展 ；
4. Second,ESTELLE,oneofformaldescriptiontechnique,isextendedtobroadcastchannelfordescriptionpower.
5. ESTELLE 是 一 种 由 ISO 提出 的 用于 描述 计算机 通信 协议 的 形式 化 描述 技术 ， 并 已 成为 国际 标准 。
6. ESTELLEisanewformaldescriptiontechniquedevelopedbytheISOforthedescriptionofcomputercommunicationprotocols.
7. 文章 首先 从 系统 整体 安全 的 角度 提出 了 新颖 的 信息 安全 系统 的 参考 模型 ， 并 用 形式 化 方法 描述 了 模型 中 的 一些 关键 技术 。
8. Thispaperfirstpresentsanovelinformationsecuritysystemreferencemodelbasedonthewholesystem.Somekeytechnologiesconcerningthemodelareintroducedandanalyzedusingformaldescriptiontechnique.
9. 形式 化 方法 在 分布式 测控 系统 协议 设计 中 的 应用
10. ApplicationofFormalDescriptionTechniqueforProtocolDesigninginDistributedMeasuringandControllingSystem