郭云川
【姓名】 郭云川
【职称】 讲师;
【研究领域】 互联网技术;计算机软件及计算机应用;电信技术;
【研究方向】 网络安全
【发表文献关键词】 时限责任,符号模型检验,原子性,电子商务协议,合同签订,符号模型,协议,子协议,时限性,时间戳,安全支付协议,形式化方法,安全协议分析,Kailar逻辑,符号模型验证,公平性,接收者,商品原子性,模型...
【工作单位】 桂林电子工业学院
【曾工作单位】 桂林电子工业学院;
【所在地域】 桂林
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/16 16 12 4 83 1631
中国期刊全文数据库    共找到16篇
[1]陈大伟;董荣胜;郭云川;古天龙;.IKEv2协议的SPIN模型检测[J]计算机工程.2006,(05)
[2]刘霞;古天龙;常亮;郭云川;.无线认证协议的模型检验分析研究[J]计算机工程与应用.2006,(21)
[3]刘霞;古天龙;郭云川;.一种移动支付协议的模型检验分析[J]计算机工程与应用.2006,(33)
[4]郭云川,古天龙,董荣胜,蔡国永.Kailar逻辑缺陷的进一步讨论[J]计算机工程与应用.2003,(17)
[5]郭云川,古天龙,董荣胜,李凤英.Kerberos协议安全性的符号模型检验分析[J]计算机工程与应用.2003,(29)
[6]郭云川,古天龙,董荣胜,蔡国永.Netbill协议原子性的符号模型检验分析[J]计算机工程与应用.2004,(02)
[7]古天龙,郭云川,董荣胜,蔡国永.Digicash协议原子性的符号模型分析[J]计算机工程与应用.2004,(09)
[8]彭勋,董荣胜,郭云川,蔡国永.一个电子投递协议的改进[J]计算机工程与应用.2004,(29)
[9]郭云川;古天龙;董荣胜;蔡国永;.电子商务协议形式化分析的一种新方法[J]计算机科学.2004,(08)
[10]彭勋;董荣胜;郭云川;蔡国永;.在NetBill交易协议中引入对商家的时限责任的追究[J]计算机科学.2004,(10)
更多