认证协议相关性分析

著录项

• 来源
  《通信学报》 |2002年第1期|103-110|共8页
• 作者

  张亚英; 梁坚; 尤晋元;

  展开▼
• 作者单位

  上海交通大学,分布计算技术中心,上海,200030;

  上海交通大学,分布计算技术中心,上海,200030;

  上海交通大学,分布计算技术中心,上海,200030;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 安全保密;
• 关键词

  认证协议; 相关性; 关联因子; 攻击模型; 模型检查;