通信学报2018，Vol.39Issue(3)：63-75,13.DOI:10.11959/j.issn.1000-436x.2018042
基于时间自动机的物联网网关安全系统的建模及验证
Modeling and verifying based on timed automata of Internet of things gateway security system
摘要
Abstract
The Internet of things (IoT) is a multiple heterogeneous network, and its perception layer is often faced with various security threats. As the bridge between the perception layer and the network layer, the IoT gateway should have the security management function to prevent the security issue from spreading to the upper layer. According to the current security deficiencies in IoT gateway, a universal IoT gateway security system was proposed based on the IoT gateway middleware technology. Various security protocols or algorithms can be embedded in IoT gateway secu-rity system, and the modeling and analysis can help the design and implementation of IoT gateway. The formal mod-eling and verification of the IoT gateway security system was performed by timed automata. The results show that the IoT gateway security system satisfies the security properties of confidentiality, availability, authenticity, robustness, integrity and freshness.关键词
物联网网关/安全系统/中间件/时间自动机/模型检测Key words
IoT gateway/security system/middleware/timed automata/model checking分类
信息技术与安全科学引用本文复制引用
王国卿,庄雷,王瑞民,宋玉,张坤丽..基于时间自动机的物联网网关安全系统的建模及验证[J].通信学报,2018,39(3):63-75,13.基金项目
国家自然科学基金资助项目(No.61379079) （No.61379079）
河南省科技攻关计划基金资助项目(No.172102210478) （No.172102210478）
河南省国际科技合作计划基金资助项目(No.152102410021)The National Natural Science Foundation of China (No.61379079), The Science and Technology Key Project of Henan Province (No.172102210478), The International Cooperation Program of Henan Province (No.152102410021) （No.152102410021）
