一种面向电子邮件的不可否认协议及其形式化分析.pdfVIP

计算机研究与发展 !# $%%%$’()!*# $$$+++!,- （ ）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 A( $$ $)$A$)$) ’%%B 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 一种面向电子邮件的不可否认协议及其形式化分析 $ ’ ’ $ $ 彭红艳 李肖坚 夏春和 邓剑锋 周小发 $ （广西师范大学网络中心 桂林 ） CA$%%A ’ （北京航空航天大学计算机学院北京市网络技术重点实验室 北京 ） $%%%E( （