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 条

[31] Data decision diagrams for Petri net analysis
Couvreur, JM
Encrenaz, E
Paviot-Adet, E
Poitrenaud, D
Wacrenier, PA
[J]. APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 101 - 120
[32] Provenance Cloud Security Auditing System Based on Log Analysis
Chen, Haoyu
Tu, Shanshan
Zhao, Chunye
Huang, Yongfeng
[J]. 2016 IEEE INTERNATIONAL CONFERENCE OF ONLINE ANALYSIS AND COMPUTING SCIENCE (ICOACS), 2016, : 155 - 159
[33] Petri-net based attack time analysis in the context of chemical process security
Zhou, Jianfeng
Reniers, Genserik
Zhang, Laobing
[J]. COMPUTERS & CHEMICAL ENGINEERING, 2019, 130
[34] Software development and design of network security system based on log data
Shi, Lin
Ma, Yang
Lv, Yan
Chen, Liquan
[J]. JOURNAL OF ELECTRONIC IMAGING, 2023, 32 (01)
[35] Petri net-based Context-aware Service System Modelling: An Overview
Wang Wusheng
Li Weiping
Wu Zhonghai
Zhang Zhichao
[J]. PROCEEDINGS 2014 INTERNATIONAL CONFERENCE ON SERVICE SCIENCES (ICSS 2014), 2014, : 60 - 65
[36] Diagnosability for discrete event systems based on Petri net language
Xue, F
Zheng, DZ
[J]. 2004 8TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1-3, 2004, : 2111 - 2116
[37] Petri net based fault diagnosis of discrete event systems
Alcaraz-Mejía, M
López-Mellado, E
Ramírez-Treviño, A
Rivera-Rangel, I
[J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 4730 - 4735
[38] Integrated Construction of Service Function Chain and Business System Based on Colored Petri Net
Ai, Yintan
Cui, Yajun
Liu, Zhenyu
Zhang, Xiaomin
Li, Hua
Wang, Xianrong
[J]. 2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022), 2022, : 56 - 61
[39] Ontology-Supported Verification Method for Implementation of IoT Service Design with Petri Net
Bin Ahmadon, Mohd Anuaruddin
Yamaguchi, Shingo
[J]. 2018 IEEE 8TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS - BERLIN (ICCE-BERLIN), 2018,
[40] Diagnosability of discrete event systems -: A Petri Net based approach
Ramírez-Treviño, A
Ruiz-Beltrán, E
Rivera-Rangel, I
López-Mellado, E
[J]. 2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 541 - 546

← 1 2 3 4 5 →