利用有限状态机分析TCP协议握手过程的安全问题

著录项

• 来源
  《计算机工程与科学》 |2002年第4期|21-23|共3页
• 作者

  刘湘辉; 殷建平; 张玲; 许江;

  展开▼
• 作者单位

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

  湖南;

  长沙;

  410073;

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

  湖南;

  长沙;

  410073;

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

  湖南;

  长沙;

  410073;

  天一银河信息产业有限公司;

  湖南;

  长沙;

  410013;

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

  有限状态机; 模型检测; 安全; TCP协议;