On service security analysis for event log of IoT system based on data Petri net
Title | On service security analysis for event log of IoT system based on data Petri net |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Ahmadon, M. A. B., Yamaguchi, S., Saon, S., Mahamad, A. K. |
Conference Name | 2017 IEEE International Symposium on Consumer Electronics (ISCE) |
ISBN Number | 978-1-5386-2189-9 |
Keywords | Artificial 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. |
URL | https://ieeexplore.ieee.org/document/8355531/ |
DOI | 10.1109/ISCE.2017.8355531 |
Citation Key | ahmadon_service_2017 |
- Metrics
- security of data
- security
- Resiliency
- resilience
- pubcrawl
- Policy-Governed Secure Collaboration
- policy-based governance
- Policy
- Petri nets
- Petri net data
- neural networks security
- Artificial Neural Networks
- Manganese
- malicious operation detection
- IoT system event log
- IoT service security analysis
- Internet of Things
- data tracking
- Data models
- cyber-physical systems
- cyber physical systems
- collaboration