一种挂号电子邮件协议的设计及其形式化分析

著录项

• 来源
  《计算机应用》 |2008年第8期|1928-19301935|共4页
• 作者

  高悦翔; 彭代渊;

  展开▼
• 作者单位

  西南交通大学;

  信息科学与技术学院;

  成都;

  610031;

  四川师范大学;

  计算机科学学院;

  成都;

  610068;

  西南交通大学;

  信息科学与技术学院;

  成都;

  610031;

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

  挂号电子邮件协议; 不可否认性; 公平性; 形式化分析; Kailar逻辑;