一种基于状态扩展的安全协议验证机制

著录项

• 来源
  《计算机应用研究》 |2010年第6期|2327-2330|共4页
• 作者

  黄卿; 王亚弟; 韩继红; 范钰丹; 黄河;

  展开▼
• 作者单位

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  中国人民解放军61983部队;

  北京;

  100840;

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

  安全协议; 自动化验证; 基本搜索; 扩展搜索;