@article{刘 晶_164, author = {[刘 晶, 伏 飞, 肖军模, 陆 阳]}, title = {一种不可否认协议形式化设计方法}, publisher = {计算机工程}, year = {2008}, journal = {计算机工程}, volume = {34}, number = {4}, eid = {164}, pages = {164-166}, keywords = {不可否认协议;形式化设计;逻辑;可信第三方 }, doi = http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2008.04.058 }