NS协议的形式化分析与改进

著录项

• 来源
  《计算机工程与科学》 |2004年第2期|1-3|共3页
• 作者

  李之棠; 石曙东; 解云峰;

  展开▼
• 作者单位

  华中科技大学计算机学院;

  湖北;

  武汉;

  430074;

  华中科技大学计算机学院;

  湖北;

  武汉;

  430074;

  湖北师范学院计算机科学系;

  湖北;

  黄石;

  435002;

  华中科技大学计算机学院;

  湖北;

  武汉;

  430074;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 TP393.08;
• 关键词

  安全协议; BAN逻辑; Needham-Schroeder协议;