聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 密码协议的形式分析
出处:第七届中国密码学学术会议
摘要:形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述... 显示全部
关键词: 密码协议 协议分析 形式方法 计算机通信网 分布式系统 模型检测
找到1条结果
`