一种不可否认协议形式化设计方法

检索

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

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

一种不可否认协议形式化设计方法

刘晶;伏飞;肖军模;陆阳

Formal Design Method for Non-repudiation Protocols

LIU Jing; FU Fei ; XIAO Jun-mo; LU Yang

计算机工程 . 2008, (4): 164 -166 . DOI: 10.3969/j.issn.1000-3428.2008.04.058