On Service Security Analysis for Event Log of IoT System Based on Data Petri Net

被引：0

作者：

Bin Ahmadon, Mohd Anuaruddin ^{[1
]}

Yamaguchi, Shingo ^{[1
]}

Saon, Sharifah ^{[2
]}

Mahamad, Abd Kadir ^{[2
]}

机构：

[1] Yamaguchi Univ, Grad Sch Sci & Technol Innovat, 2-16-1 Tokiwadai, Ube, Yamaguchi 7558611, Japan

[2] Univ Tun Hussein Onn Malaysia, Fac Elect & Elect Engn, Batu Pahat 86400, Johor, Malaysia

来源：

2017 IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE) | 2017年

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

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.

引用

页码：4 / 8

页数：5

共 50 条

[1] A Petri net-based Approach to Service Composition and Monitoring in the IOT
Yang, Rong
Li, Bing
Cheng, Can
[J]. 2014 ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC), 2014, : 16 - 22
[2] An Analysis of passenger Security Process Based on Petri Net
Wu, Haoran
[J]. PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, INFORMATION AND MECHANICAL ENGINEERING (EMIM 2017), 2017, 76 : 883 - 887
[3] Event log analysis service
Inokuma, Hayato
[J]. 2006 SICE-ICASE International Joint Conference, Vols 1-13, 2006, : 3296 - 3299
[4] Research on the Security of IPv6 Communication Based on Petri Net under IoT
Han, Yu
Zhang, Liumei
Wang, Yichuan
Deng, Xi
Gu, Zhendong
Zhang, Xiaohui
[J]. SENSORS, 2023, 23 (11)
[5] Research on Modeling and Simulating of Discrete Event System Based on Petri Net
Pan, Xinglong
He, Guo
Zhang, Chaojie
Ming, Tingfeng
Wang, Xiaochuan
[J]. SMART TECHNOLOGIES FOR COMMUNICATION, 2012, 4 : 80 - 85
[6] CPS Information Security Risk Evaluation System Based on Petri Net
Fu, Yonggui
Zhu, Jianming
Gao, Sheng
[J]. 2017 IEEE SECOND INTERNATIONAL CONFERENCE ON DATA SCIENCE IN CYBERSPACE (DSC), 2017, : 541 - 548
[7] The study of data analysis based petri net in DVE
Zhao, XJ
[J]. System Simulation and Scientific Computing, Vols 1 and 2, Proceedings, 2005, : 8 - 12
[8] An Analysis System of IoT Services Based on Agent-Oriented Petri Net PN2
Yamaguchi, Shingo
Tsugawa, Shoki
Nakahori, Kazuya
[J]. 2016 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS-TAIWAN (ICCE-TW), 2016, : 287 - 288
[9] Event Log Privacy Based on Differential Petri Nets
Kan, Daoyu
Fang, Xianwen
Gong, Ziyou
[J]. APPLIED ARTIFICIAL INTELLIGENCE, 2023, 37 (01)
[10] Design and evaluation of the mod service system based on Petri net theory
Koriem, SM
Al-Hefdhi, JA
[J]. ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2004, 29 (2B) : 213 - 236

← 1 2 3 4 5 →