乐观合同签订协议的模型检测分析

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

乐观合同签订协议的模型检测分析

周立青, 杨晋吉

Model Checking Analysis of Optimistic Contract Signing Protocol

ZHOU Li-Jing, YANG Jin-Ji

计算机工程 . 2011, (7): 142 -144,147 . DOI: 10.3969/j.issn.1000-3428.2011.07.047