高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于ATL的公平电子商务协议形式化分析

文静华 李祥 张焕国 梁敏 张梅

文静华, 李祥, 张焕国, 梁敏, 张梅. 基于ATL的公平电子商务协议形式化分析[J]. 电子与信息学报, 2007, 29(4): 901-905. doi: 10.3724/SP.J.1146.2005.01088
引用本文: 文静华, 李祥, 张焕国, 梁敏, 张梅. 基于ATL的公平电子商务协议形式化分析[J]. 电子与信息学报, 2007, 29(4): 901-905. doi: 10.3724/SP.J.1146.2005.01088
Wen Jing-Hua, Li Xiang, Zhang Huan-guo, Liang Min, Zhang Mei. Formal Analysis of Fair E-Commerce Protocols Based on ATL[J]. Journal of Electronics and Information Technology, 2007, 29(4): 901-905. doi: 10.3724/SP.J.1146.2005.01088
Citation: Wen Jing-Hua, Li Xiang, Zhang Huan-guo, Liang Min, Zhang Mei. Formal Analysis of Fair E-Commerce Protocols Based on ATL[J]. Journal of Electronics and Information Technology, 2007, 29(4): 901-905. doi: 10.3724/SP.J.1146.2005.01088

基于ATL的公平电子商务协议形式化分析

doi: 10.3724/SP.J.1146.2005.01088
基金项目: 

国家自然科学基金(40261009)和贵州省科学技术基金(20052111)资助课题

Formal Analysis of Fair E-Commerce Protocols Based on ATL

  • 计量
    • 文章访问数:  2796
    • HTML全文浏览量:  33
    • PDF下载量:  1125
    • 被引次数: 0
    出版历程
    • 收稿日期:  2005-08-30
    • 修回日期:  2006-01-11
    • 刊出日期:  2007-04-19

    目录

      /

      返回文章
      返回

      官方微信,欢迎关注