搜索筛选:
搜索耗时0.0432秒,为你在为你在61,042,058篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：Qing Sihan,LI Gaicheng,
来源：中国科学F辑（英文版） 年份：2004
Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unre...
[期刊论文] 作者：QING Sihan,LI Gaicheng,
来源：中国科学F辑（英文版） 年份：2004
Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise,...
相关搜索：
