计算机科学 ›› 2006, Vol. 33 ›› Issue (3): 87-88.
• • 上一篇 下一篇
出版日期:
发布日期:
Online:
Published:
摘要: Kailar在1996年发表了“电子商务协议中的可追究性”一文,使得电子商务协议的形式化分析得到了重大的发展.但是Kailar逻辑的语义一直没有人提出来过,而逻辑的语义对于逻辑的正确性是至关重要的.本文的主要工作就是给出了Kailar逻辑的串空间语义,从语义的角度证明了Kailar逻辑的规则的正确性。
关键词: 逻辑 语义 串空间 电子商务协议
Abstract: In 1996, Kailar presented a paper, namely"accountability in electronic commerce protocol", which quickly became the most widely used and widely discussed formal method for the analysis of electronic commerce protocol. The semantics of logic is very import
Key words: Logic, Semantics, Strand space, Electronic commerce protocol
. Kailar逻辑的串空间语义[J]. 计算机科学, 2006, 33(3): 87-88. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I3/87
Cited