|国家科技期刊平台
| 注册
首页|期刊导航|国防科技大学学报|基于扩展标记变迁模型的时钟同步协议正确性验证

基于扩展标记变迁模型的时钟同步协议正确性验证

曲国远 徐晓飞 刘威廷 王沁煜 贺飞

国防科技大学学报2019，Vol.41Issue(3)：42-49,8.
✕
国防科技大学学报2019，Vol.41Issue(3)：42-49,8.DOI:10.11887/j.cn.201903008

基于扩展标记变迁模型的时钟同步协议正确性验证

Correctness verification of clock synchronization protocol via extended labeled transition system models

曲国远 1徐晓飞 1刘威廷 2王沁煜 3贺飞4

作者信息

  • 1. 中国航空无线电电子研究所,上海 200233
  • 2. 清华大学 软件学院,北京 100084
  • 3. 北京信息科学与技术国家研究中心,北京 100084
  • 4. 信息系统安全教育部重点实验室,北京 100084
  • 折叠

摘要

关键词

形式化方法/协议验证/模型检测

分类

信息技术与安全科学

引用本文复制引用

曲国远,徐晓飞,刘威廷,王沁煜,贺飞..基于扩展标记变迁模型的时钟同步协议正确性验证[J].国防科技大学学报,2019,41(3):42-49,8.

基金项目

航空科学基金资助项目(2015ZC15001) （2015ZC15001）

国家部委基金资助项目(3030603) （3030603）

国家自然科学基金资助项目(61672310, 61272001,91218302) （61672310, 61272001,91218302）

国防科技大学学报

OA北大核心CSCDCSTPCD

1001-2486

访问量0
|
下载量0
段落导航相关论文