您的位置： 专家智库 > >

南通大学自然科学基金(05Z057)

作品数：2 被引量：3H指数：1
相关作者：严燕顾翔邱建林王宽亮更多>>
相关机构：南通大学更多>>
发文基金：江苏省“青蓝工程”基金资助项目南通大学自然科学基金南通市应用研究计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇代理
  • 1篇电子交易
  • 1篇形式化
  • 1篇形式化描述
  • 1篇移动代理
  • 1篇协议形式化
  • 1篇协议形式化描...
  • 1篇规范语言
  • 1篇RAISE规...
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...

机构

  • 2篇南通大学

作者

  • 2篇顾翔
  • 2篇严燕
  • 1篇邱建林
  • 1篇王宽亮

传媒

  • 1篇计算机应用
  • 1篇计算机与信息...

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于移动代理的电子商务交易模型安全机制的研究被引量：1
2007年
移动代理应用于电子商务给电子商务的发展带来的新的契机,它使得电子商务中费时的工作自动化。本文介绍了一个基于移动代理的电子商务安全交易模型,这个模型由用户主机、代理工厂、认证中心以及商家等组成,详细阐述了交易流程,同时也分析了此模型中使用的代理创建机制、ID机制、认证机制、合同机制等相应的安全机制。
严燕顾翔王宽亮
关键词：移动代理电子交易
基于输入/输出动作的协议形式化描述和测试用例生成方法被引量：2
2008年
通信协议的形式化描述及在其基础之上的协议测试用例生成,一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述:首先探讨了一种基于输入/输出动作模型的协议形式化描述方法;随后对基于RSL描述的协议测试技术展开了讨论,提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法,并对使用该方法生成的测试用例的性质进行了讨论。
顾翔邱建林严燕
关键词：形式化描述RAISE规范语言
全选 清除 导出
共1页<1>
聚类工具0