Modeling and verifying based on timed automata of Internet of things gateway security system
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 spre...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2018-03-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018042/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539458067857408 |
|---|---|
| author | Guoqing WANG Lei ZHUANG Ruimin WANG Yu SONG Kunli ZHANG |
| author_facet | Guoqing WANG Lei ZHUANG Ruimin WANG Yu SONG Kunli ZHANG |
| author_sort | Guoqing WANG |
| collection | DOAJ |
| description | 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 security system,and the modeling and analysis can help the design and implementation of IoT gateway.The formal modeling 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. |
| format | Article |
| id | doaj-art-c775c54954ae4211b2277b6c0d509b1c |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2018-03-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-c775c54954ae4211b2277b6c0d509b1c2025-01-14T07:14:22ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2018-03-0139637559716877Modeling and verifying based on timed automata of Internet of things gateway security systemGuoqing WANGLei ZHUANGRuimin WANGYu SONGKunli ZHANGThe 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 security system,and the modeling and analysis can help the design and implementation of IoT gateway.The formal modeling 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.http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018042/IoT gatewaysecurity systemmiddlewaretimed automatamodel checking |
| spellingShingle | Guoqing WANG Lei ZHUANG Ruimin WANG Yu SONG Kunli ZHANG Modeling and verifying based on timed automata of Internet of things gateway security system Tongxin xuebao IoT gateway security system middleware timed automata model checking |
| title | Modeling and verifying based on timed automata of Internet of things gateway security system |
| title_full | Modeling and verifying based on timed automata of Internet of things gateway security system |
| title_fullStr | Modeling and verifying based on timed automata of Internet of things gateway security system |
| title_full_unstemmed | Modeling and verifying based on timed automata of Internet of things gateway security system |
| title_short | Modeling and verifying based on timed automata of Internet of things gateway security system |
| title_sort | modeling and verifying based on timed automata of internet of things gateway security system |
| topic | IoT gateway security system middleware timed automata model checking |
| url | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2018042/ |
| work_keys_str_mv | AT guoqingwang modelingandverifyingbasedontimedautomataofinternetofthingsgatewaysecuritysystem AT leizhuang modelingandverifyingbasedontimedautomataofinternetofthingsgatewaysecuritysystem AT ruiminwang modelingandverifyingbasedontimedautomataofinternetofthingsgatewaysecuritysystem AT yusong modelingandverifyingbasedontimedautomataofinternetofthingsgatewaysecuritysystem AT kunlizhang modelingandverifyingbasedontimedautomataofinternetofthingsgatewaysecuritysystem |