计算机工程与科学 ›› 2009, Vol. 31 ›› Issue (9): 13-16.
• • 上一篇 下一篇
杨 捷 ,毋 国庆 ， 左保 河 ，齐德昱
出版日期:
发布日期:
Online:
Published:
杨 捷 , 毋 国庆 , 左保 河 , 齐德昱. 一种增强电子商务协议安全性的形式化分析方法[J]. 计算机工程与科学, 2009, 31(9): 13-16.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2009/V31/I9/13
