宋岚,薛锦云,胡启敏,谢武平,江东明,游珍.无线射频RFID识别协议自动验证方法研究[J].计算机科学,2017,44(9):99-104
无线射频RFID识别协议自动验证方法研究
Research of Automatic Verification Method about Radio Frequency Identification Protocol
投稿时间:2016-08-03  修订日期:2016-11-13
DOI:10.11896/j.issn.1002-137X.2017.09.020
中文关键词:  Population Protocols,RFID,协议验证,Spin
英文关键词:Population Protocols,RFID,Protocol verification,Spin
基金项目:本文受国家自然科学基金(61272075,7,61462041,2),江西省科技厅项目(20161BBH80039)资助
作者单位
宋岚 武汉大学计算机学院软件工程国家重点实验室 武汉430072;华东交通大学信息工程学院 南昌330013;江西师范大学国家网络化支撑软件国际合作基地 南昌330022 
薛锦云 江西师范大学国家网络化支撑软件国际合作基地 南昌330022 
胡启敏 江西师范大学国家网络化支撑软件国际合作基地 南昌330022 
谢武平 武汉大学计算机学院软件工程国家重点实验室 武汉430072;江西师范大学国家网络化支撑软件国际合作基地 南昌330022 
江东明 武汉大学计算机学院软件工程国家重点实验室 武汉430072;江西师范大学国家网络化支撑软件国际合作基地 南昌330022 
游珍 江西师范大学国家网络化支撑软件国际合作基地 南昌330022 
摘要点击次数: 186
全文下载次数: 129
中文摘要:
      Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议系统模型验证框架;构建了标签与阅读器交互产生的状态变迁模型;最后用spin模型检测工具和LTL线性时序逻辑验证了弱公平条件下该模型的自稳定性,为分析与验证无线传感器网络中协议的正确性提供了一种行之有效的方法。
英文摘要:
      Population Protocols,which is a calculation model inspired by biology,was designed to represent interaction between multiple components with very limited computational capability in wireless network.It provides a theoretical framework which has the function of computation and reasoning for wireless sensor networks.This paper introduced the population protocols model into the RFID anti-collision protocol,proposed the validation framework of RFID anti-collision protocol,built the state transition model through the interaction between the tag and the reader,and verified the self-stabilizing population protocols by using the spin model checker and linear temporal logic (LTL).These work will provide us an effective method to analyze and verify the correctness of the protocol in wireless sensor networks.
查看全文  查看/发表评论  下载PDF阅读器