彭勋
【姓名】 彭勋
【职称】
【研究领域】 互联网技术;计算机软件及计算机应用;贸易经济;
【研究方向】 网络安全
【发表文献关键词】 时限责任,安全支付协议,符号模型验证,时间戳,形式化方法,时限性,安全协议分析,协议,原子性,Kailar逻辑,服务器,接收者,发送消息,分析框架,投递,申请者,参与者,规则描述,验证研究,收据,逻辑...
【工作单位】 桂林电子工业学院
【曾工作单位】 桂林电子工业学院;
【所在地域】 桂林
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 4 4 3 9 245
中国期刊全文数据库    共找到4篇
[1]彭勋,董荣胜,郭云川,蔡国永.一个电子投递协议的改进[J]计算机工程与应用.2004,(29)
[2]彭勋;董荣胜;郭云川;蔡国永;.在NetBill交易协议中引入对商家的时限责任的追究[J]计算机科学.2004,(10)
[3]董荣胜;彭勋;郭云川;古天龙;.具有时限约束的安全协议分析技术研究[J]计算机科学.2005,(01)
[4]彭勋,董荣胜,郭云川,蔡国永.安全支付协议的设计与验证研究[J]计算机工程与应用.2005,(06)
更多