时间敏感的安全协议建模与验证:研究综述

著录项

• 来源
  《计算机科学》 |2009年第8期|3-748|共6页
• 作者

  周倜; 李舟军; 王志勇; 王巾盈;

  展开▼
• 作者单位

  国防科技大学计算机学院;

  长沙;

  410073;

  北京航空航天大学计算机学院;

  北京100083;

  空军雷达学院基础部;

  北京跟踪与通信技术研究所;

  北京;

  100094;

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

  安全协议; 形式化验证; 时间模型; 时间戳;