可检索词： （英文）题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明： [&]代表"并且"；[|]代表"或者"；[!]代表"不包含" (运算符两边不需要空格)
检索范例： 范例一：(k=科技[|]k=技术)[&]t=范并思 范例二：t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位：
出版地：
ISSN：
主编：
邮发代号：
中图分类号： 选择
中文会议： 第七届中国密码学学术会议论文集
会议日期： 2002-08-01
会议地点： 威海
主办单位： 中国数学会
作 者： ; ; ;
机构地区： 清华大学信息科学技术学院信息网络工程研究中心
出 处： 《第七届中国密码学学术会议》
摘 要： 形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述,并指出了这个领域的主要研究思路和线索.
关 键 词： 密码协议 协议分析 形式方法 计算机通信网 分布式系统 模型检测
领 域： [电子电信]
