董荣胜
【姓名】 董荣胜
【职称】 教授;
【研究领域】 互联网技术;计算机软件及计算机应用;计算机硬件技术;
【研究方向】 主要为形式化技术、分布式实时调度、计算机科学与技术方法论
【发表文献关键词】 时限责任,原子性,符号模型检验,电子商务协议,安全支付协议,时间戳,协议,形式化方法,时限性,安全协议分析,符号模型,符号模型验证,μC/OSⅡ,Kailar逻辑,服务器,实时操作系统,接收者,发送消...
【工作单位】 桂林电子工业学院
【曾工作单位】 桂林电子工业学院;
【所在地域】 广西桂林
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/34 25 30 11 297 4307
中国期刊全文数据库    共找到34篇
[1]陈大伟;董荣胜;郭云川;古天龙;.IKEv2协议的SPIN模型检测[J]计算机工程.2006,(05)
[2]郭云川,古天龙,董荣胜,蔡国永.Kailar逻辑缺陷的进一步讨论[J]计算机工程与应用.2003,(17)
[3]郭云川,古天龙,董荣胜,李凤英.Kerberos协议安全性的符号模型检验分析[J]计算机工程与应用.2003,(29)
[4]曹双进,董荣胜,古天龙,蔡国永.基于Petri网的分布式实时调度模型研究[J]计算机工程与应用.2003,(30)
[5]赵新有;古天龙;董荣胜;李凤英;.异构网络协议转换器构造技术研究[J]计算机科学.2003,(08)
[6]赵新有;古天龙;蔡国永;董荣胜;.基于功能匹配分解的协议转换器构造技术研究[J]计算机科学.2003,(10)
[7]郭云川,古天龙,董荣胜,蔡国永.Netbill协议原子性的符号模型检验分析[J]计算机工程与应用.2004,(02)
[8]董荣胜,曹双进,蔡国永,赵岭忠.基于对象分布式实时系统的容错模型研究[J]计算机工程与应用.2004,(07)
[9]古天龙,郭云川,董荣胜,蔡国永.Digicash协议原子性的符号模型分析[J]计算机工程与应用.2004,(09)
[10]彭勋,董荣胜,郭云川,蔡国永.一个电子投递协议的改进[J]计算机工程与应用.2004,(29)
更多