中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 会议论文
Subject: Computer Science ; Engineering
Title:
formal verification on distributed spectrum sensing protocol
Author: Liu Jin-Bo ; Liao Ming-Xue ; Hu Xiao-Hui ; He Xiao-Xin
Source: Proceedings of 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011
Conference Name: 2011 International Conference on Computer Science and Network Technology, ICCSNT 2011
Conference Date: December 24, 2011 - December 26, 2011
Issued Date: 2011
Conference Place: Harbin, China
Keyword: Computer science ; Global system for mobile communications ; Quality of service ; Wireless networks ; Wireless telecommunication systems
Indexed Type: EI ; ISTP
ISBN: 9781457715846
Department: (1) National Key Laboratory of Science and Technology on Integrated Information System Technology Institute of Software Chinese Academy of Sciences Beijing China
Sponsorship: IEEE
Abstract: Wireless networks will provide much more convenience for mobile users via heterogeneous wireless architectures and dynamic spectrum access techniques. However, wireless networks also impose challenges on developers due to unknowing global electromagnetic environment information in each node, as well as diverse QoS requirements of various applications. Therefore, both correctness and reliability of communication protocol become extremely difficult. In years, model checking has been advertised as a way to ensure the correctness of complex protocols. In this paper, we present a formal approach of formalizing and verifying a distributed wireless communication protocol used for cooperative spectrum sensing. Lots of well-defined properties are then verified for the protocol model. By using the model checker SPIN, we have discovered some vulnerabilities in the protocol, which can make some nodes trapped into either false liveness or zombie status. © 2011 IEEE.
English Abstract: Wireless networks will provide much more convenience for mobile users via heterogeneous wireless architectures and dynamic spectrum access techniques. However, wireless networks also impose challenges on developers due to unknowing global electromagnetic environment information in each node, as well as diverse QoS requirements of various applications. Therefore, both correctness and reliability of communication protocol become extremely difficult. In years, model checking has been advertised as a way to ensure the correctness of complex protocols. In this paper, we present a formal approach of formalizing and verifying a distributed wireless communication protocol used for cooperative spectrum sensing. Lots of well-defined properties are then verified for the protocol model. By using the model checker SPIN, we have discovered some vulnerabilities in the protocol, which can make some nodes trapped into either false liveness or zombie status. © 2011 IEEE.
Language: 英语
Content Type: 会议论文
URI: http://ir.iscas.ac.cn/handle/311060/16288
Appears in Collections:软件所图书馆_会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Liu Jin-Bo,Liao Ming-Xue,Hu Xiao-Hui,et al. formal verification on distributed spectrum sensing protocol[C]. 见:2011 International Conference on Computer Science and Network Technology, ICCSNT 2011. Harbin, China. December 24, 2011 - December 26, 2011.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Liu Jin-Bo]'s Articles
[Liao Ming-Xue]'s Articles
[Hu Xiao-Hui]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Liu Jin-Bo]‘s Articles
[Liao Ming-Xue]‘s Articles
[Hu Xiao-Hui]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace