| ITS专用短程通信的协议验证 |
| |
| 引用本文： | 屠宇,徐建闽,钟慧玲.ITS专用短程通信的协议验证[J].华南理工大学学报(自然科学版),2005,33(3):63-68. |
| |
| 作者姓名： | 屠宇 徐建闽 钟慧玲 |
| |
| 作者单位： | 华南理工大学,交通学院,广东,广州,510640;华南理工大学,交通学院,广东,广州,510640;华南理工大学,交通学院,广东,广州,510640 |
| |
| 基金项目： | “十五”国家科技攻关项目(2002BA404A23A)~~ |
| |
| 摘 要： | 针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点，采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化，并采用SDL对DSRC协议进行形式化描述，在此基础上提出了DSRC协议验证的步骤和实现方法，并对所开发的协议SDL模型进行验证，结果表明了协议的逻辑正确性．
|
| 关 键 词： | 智能交通系统 专用短程通信 协议验证 |
Protocol Verification of ITS Dedicated Short-Range Communication |
| |
| Tu Yu,Xu Jian-min,Zhong Hui-ling.Protocol Verification of ITS Dedicated Short-Range Communication[J].Journal of South China University of Technology(Natural Science Edition),2005,33(3):63-68. |
| |
| Authors: | Tu Yu Xu Jian-min Zhong Hui-ling |
| |
| Abstract: | |
| |
| Keywords: | Intelligent Traffic System Dedicated Short-Range Communication protocol verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
