Computer Science ›› 2005, Vol. 32 ›› Issue (8): 83-86.
Previous Articles Next Articles
Dong RongSheng;Chen DaWei;Guo YunChuan;Gu TianLong
Online:
Published:
Abstract: A model based on finite state automaton is proposed for a fair non-repudiation protocol. The Zhou-Gollmann fair non-repudiation protocol is analyzed with using model checker SPIN. The results show that the protocol isn＇t satisfied with fairness and confid
Key words: Model checking, SPIN, Nonrepudiation, Fairness, Confidentiality
Dong RongSheng;Chen DaWei;Guo YunChuan;Gu TianLong. [J].Computer Science, 2005, 32(8): 83-86.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2005/V32/I8/83
Cited
Home