您的位置: 专家智库 > >

广西壮族自治区自然科学基金(0229051)

作品数:9 被引量:23H指数:3
相关作者:董荣胜郭云川蔡国永古天龙彭勋更多>>
相关机构:桂林电子工业学院桂林电子科技大学更多>>
发文基金:广西壮族自治区自然科学基金更多>>
相关领域:自动化与计算机技术经济管理更多>>

文献类型

  • 9篇中文期刊文章

领域

  • 9篇自动化与计算...
  • 1篇经济管理

主题

  • 2篇原子性
  • 2篇实时系统
  • 2篇分布式
  • 2篇分布式实时
  • 2篇分布式实时系...
  • 1篇单一系统映像
  • 1篇电子交易
  • 1篇电子交易系统
  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇调度
  • 1篇调度模型
  • 1篇有限状态自动...
  • 1篇支付协议
  • 1篇容错
  • 1篇商家
  • 1篇商务
  • 1篇时间PETR...
  • 1篇时间戳
  • 1篇状态自动机

机构

  • 8篇桂林电子工业...
  • 1篇桂林电子科技...

作者

  • 7篇董荣胜
  • 5篇蔡国永
  • 5篇郭云川
  • 3篇彭勋
  • 3篇古天龙
  • 2篇陈智勇
  • 2篇曹双进
  • 1篇陈大伟
  • 1篇赵岭忠

传媒

  • 4篇计算机工程与...
  • 3篇计算机科学
  • 2篇微计算机信息

年份

  • 1篇2008
  • 1篇2006
  • 3篇2005
  • 3篇2004
  • 1篇2003
9 条 记 录,以下是 1-9
排序方式:
公平非否认协议的有限状态分析被引量:7
2005年
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此对该协议进行了改进。
董荣胜陈大伟郭云川古天龙
关键词:SPIN非否认性机密性有限状态自动机非否认协议
在NetBill交易协议中引入对商家的时限责任的追究被引量:1
2004年
NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetBill交易协议能够支持对商家的时限责任的追究。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。
彭勋董荣胜郭云川蔡国永
关键词:电子交易系统商家服务器时间戳
基于对象分布式实时系统的容错模型研究被引量:2
2004年
该文在基于对象的分布式实时系统调度模型研究的基础上,对G-Net模型进行了扩展,即给出了一种基于时间约束G-Net的分布式实时系统容错模型。该模型提供了容错和模块化机制,降低了分布式实时系统设计的复杂性,提高了系统的可维护性,有助于大型复杂可靠的分布式实时系统的设计。最后,该文还给出了基于时间约束G-Net模拟器的结构。
董荣胜曹双进蔡国永赵岭忠
关键词:时间PETRI网容错
安全支付协议的设计与验证研究被引量:6
2005年
安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。
彭勋董荣胜郭云川蔡国永
关键词:安全支付协议原子性SMV
频繁现场切换条件下转移预测方案的研究
2008年
在超流水和超标量处理机中转移的误预测是性能降低的主要原因之一。目前许多基于转移历史开发的转移预测器,由于频繁的现场切换而导致了预测准确度的降低。这篇论文研究的转移预测方案同时采用了转移预测器LGshare和Skew的思想,在此基础上还使用一个用户BHR和一个内核BHR代替了两级预测方案中一个公用的全局BHR。该转移预测方案不仅很好地解决了转移内相关和转移间相关,而且在现场切换频繁时也能很好地保存和恢复各进程的转移预测信息,提高了转移预测的准确度。
陈智勇
机群全局资源管理的SSI研究被引量:1
2006年
机群的主要系统资源是处理器、内存和磁盘,为实现全局资源管理的单一系统映像,文中介绍了与之有关的关键技术:分布式存储器管理、全局磁盘管理和全局处理器管理。为实现上述功能,文中提出了采用容器技术来实现分布资源管理的策略,此技术已在Linux操作系统的内核层中实现。
陈智勇
关键词:机群资源管理单一系统映像
基于Petri网的分布式实时调度模型研究被引量:1
2003年
Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。
曹双进董荣胜古天龙蔡国永
关键词:高级PETRI网分布式实时系统调度模型
一个电子投递协议的改进
2004年
电子商务协议需要满足一定的安全特性,其中一个特性是时限性。时限性是指协议中各个主体的行为必须在规定的时间范围内完成,而对于违反了时限要求的主体行为,这类协议都应能够追究该主体的时限责任。该文分析了Kudo提出的一个安全电子投递协议中的两个缺陷,并给出了改进后协议的时限责任证明。
彭勋董荣胜郭云川蔡国永
一种电子商务协议原子性的模型检验分析方法被引量:5
2005年
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法。同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子性。最后基于该模型,用符号模型检验工具(SMV)分析了Digicash协议和Netbill协议。
董荣胜郭云川古天龙
关键词:电子商务协议原子性
共1页<1>
聚类工具0