extended Horn logic model的意思|示意
美 / /
英 / /
扩展Horn 逻辑模型
extended Horn logic model的网络常见释义
扩展Horn逻辑模型 中国最大的综合性文献数据库 -维普资讯 关键词: 安全协议 扩展Horn逻辑模型 形式化验证[gap=966]Key words: security protocol; extended Horn logic model; formal verification