Visible to the public On service security analysis for event log of IoT system based on data Petri net

TitleOn service security analysis for event log of IoT system based on data Petri net
Publication TypeConference Paper
Year of Publication2017
AuthorsAhmadon, M. A. B., Yamaguchi, S., Saon, S., Mahamad, A. K.
Conference Name2017 IEEE International Symposium on Consumer Electronics (ISCE)
ISBN Number978-1-5386-2189-9
KeywordsArtificial neural networks, Collaboration, cyber physical systems, Cyber-physical systems, Data models, data tracking, Internet of Things, IoT service security analysis, IoT system event log, malicious operation detection, Manganese, Metrics, neural networks security, Petri net data, Petri nets, policy, policy-based governance, Policy-Governed Secure Collaboration, pubcrawl, resilience, Resiliency, security, security of data
Abstract

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.

URLhttps://ieeexplore.ieee.org/document/8355531/
DOI10.1109/ISCE.2017.8355531
Citation Keyahmadon_service_2017