您的位置： 专家智库 > >

贾若宇

作品数：2 被引量：8H指数：1
供职机构：中国科学技术大学信息科学技术学院更多>>
发文基金：中国科学院院长基金国家教育部博士点基金安徽省自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇电子电信
  • 2篇自动化与计算...

主题

  • 2篇形式化
  • 2篇形式化描述
  • 2篇CSP
  • 1篇形式化描述技...
  • 1篇通信
  • 1篇通信协议
  • 1篇网络
  • 1篇网络协议
  • 1篇协议形式化
  • 1篇协议形式化描...
  • 1篇计算机
  • 1篇计算机网
  • 1篇计算机网络
  • 1篇RSL

机构

  • 2篇中国科学技术...

作者

  • 2篇贾若宇
  • 1篇屈玉贵
  • 1篇顾翔
  • 1篇赵保华

传媒

  • 1篇计算机应用

年份

  • 2篇2003
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种基于CSP的协议模型技术的研究
该文对通信顺序进程CSP做了深入的研究,对它进行了扩充,在协议建模和协议验证等各个方面进行研究,以拓展对这一领域的探索,推动协议形式化理论的发展.该论文的主要工作包括:1.研究和分析比较了目前常用的协议形式化描述技术的特...
贾若宇
关键词：形式化描述技术CSP
文献传递
CSP和RSL应用于协议形式化描述的研究被引量：8
2003年
文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适用性。
贾若宇赵保华屈玉贵顾翔
关键词：CSPRSL协议形式化描述网络协议通信协议计算机网络
全选 清除 导出
共1页<1>
聚类工具0