一种复合协议验证逻辑模型

著录项

• 来源
  《计算机应用研究》 |2010年第1期|274-277|共4页
• 作者

  赵娟; 韩继红; 王亚弟; 黄卿; 朱玉娜;

  展开▼
• 作者单位

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  解放军信息工程大学;

  电子技术学院;

  郑州;

  450004;

  91033部队;

  山东;

  青岛;

  266101;

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

  复合协议; 形式化分析; 逻辑模型; 并行复合; 顺序复合; IKEv2协议;