一种时间相关安全协议的自动验证工具

著录项

• 来源
  《计算机应用》 |2009年第6期|1654-1658|共5页
• 作者

  黎兴华; 雷新锋; 刘军;

  展开▼
• 作者单位

  解放军理工大学;

  通信工程学院;

  南京;

  210007;

  解放军理工大学;

  通信工程学院;

  南京;

  210007;

  解放军理工大学;

  通信工程学院;

  南京;

  210007;

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

  分层逻辑树; 时间相关; 安全协议; 自动验证;