您的位置： 专家智库 > >

赵静峰

作品数：1 被引量：1H指数：1
供职机构：北京航空航天大学计算机学院更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化研究
  • 1篇SDL
  • 1篇SDL语言
  • 1篇SIP协议

机构

  • 1篇北京航空航天...

作者

  • 1篇赵静峰
  • 1篇张力军

传媒

  • 1篇计算机与数字...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于SDL语言的SIP协议的形式化研究被引量：1
2006年
会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型。介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL给出了SIP协议的形式化描述,为进一步的协议实现和验证奠定了基础。
赵静峰张力军
关键词：SIP协议SDL形式化
全选 清除 导出
共1页<1>
聚类工具0