聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 密码协议的形式分析
出处:第七届中国密码学学术会议
摘要:形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述... 显示全部
关键词: 密码协议 协议分析 形式方法 计算机通信网 分布式系统 模型检测
会议论文 基于SPIN的协议分析技术研究
出处:广西计算机学会2008年年会
摘要:随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计... 显示全部
关键词: 模型检测 网络规模 网络协议 协议分析
找到2条结果
`