期刊文献+

古典公理系统在通信协议证明中的应用

APPLICATION OF THE CLASSIC AXIOM SYSTEM IN COMMUNICATION PROTOCOLS VERIFICATION
下载PDF
导出
摘要 本文讨论了由古典公理系统和时态逻辑运算所组成的通信协议正确性证明系统的构造和应用。借助于这种基于一阶谓词演算的系统进行协议验证,具有方便、简洁和严谨等特点。该系统已成功地用于对一些通信协议进行验证,且取得了令人满意的效果。 A system for verifying communication protocols which consists of theclassic axiom system and the temporal logic operations is discussed in this paper.Also,we have successfully used the system for verifying some communicationprotecols,and obtained satisfactory outcomes.
作者 朱泽生
出处 《计算机应用与软件》 CSCD 1991年第3期1-8,共8页 Computer Applications and Software
  • 引文网络
  • 相关文献
;
使用帮助 返回顶部