On service security analysis for event log of IoT system based on data Petri net
MAB Ahmadon, S Yamaguchi… - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
2017 IEEE International Symposium on Consumer Electronics (ISCE), 2017•ieeexplore.ieee.org
The Internet of Things (IoT) has bridged our physical world to the cyber world which allows
us to achieve our desired lifestyle. However, service security is an essential part to ensure
that the designed service is not compromised. In this paper, we proposed a security analysis
for IoT services. We focus on the context of detecting malicious operation from an event log
of the designed IoT services. We utilized Petri nets with data to model IoT service which is
logically correct. Then, we check the trace from an event log by tracking the captured …
us to achieve our desired lifestyle. However, service security is an essential part to ensure
that the designed service is not compromised. In this paper, we proposed a security analysis
for IoT services. We focus on the context of detecting malicious operation from an event log
of the designed IoT services. We utilized Petri nets with data to model IoT service which is
logically correct. Then, we check the trace from an event log by tracking the captured …
The Internet of Things (IoT) has bridged our physical world to the cyber world which allows us to achieve our desired lifestyle. However, service security is an essential part to ensure that the designed service is not compromised. In this paper, we proposed a security analysis for IoT services. We focus on the context of detecting malicious operation from an event log of the designed IoT services. We utilized Petri nets with data to model IoT service which is logically correct. Then, we check the trace from an event log by tracking the captured process and data. Finally, we illustrated the approach with a smart home service and showed the effectiveness of our approach.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果