安全协议的进程代数规约到逻辑程序的自动转换

著录项

• 来源
  《计算机工程与科学》 |2006年第1期|22-2427|共4页
• 作者

  周倜; 李梦君; 刘万伟; 李舟军;

  展开▼
• 作者单位

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

  湖南;

  长沙;

  410073;

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

  湖南;

  长沙;

  410073;

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

  湖南;

  长沙;

  410073;

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

  湖南;

  长沙;

  410073;

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

  安全协议; 进程代数; 形式化验证; 认证性; Objective; Caml;