Title:
METHOD FOR VERIFYING DRONE INCLUDED IN INDUSTRIAL INTERNET OF THINGS SYSTEM, BY USING PETRI-NET MODELING
Document Type and Number:
WIPO Patent Application WO/2020/005048
Kind Code:
A1
Abstract:
In one embodiment of the present invention, a method for verifying a drone included in an industrial Internet of Things (IIoT) system, by using petri-net modeling, according to one embodiment, comprises: a modeling step of modeling the IIoT system as a hierarchical petri-net; and a verification step of verifying whether the drone has security vulnerability on the basis of the hierarchical petri-net model, wherein the verification step can determine that the drone has security vulnerability when at least one of a plurality of determination factors provided as places to the hierarchical petri-net model determines that the drone is operating abnormally.
Inventors:
YOU IL SUN (KR)
SHARMA VISHAL (KR)
CHOUDHARY GAURAV (KR)
KO YONG HO (KR)
SHARMA VISHAL (KR)
CHOUDHARY GAURAV (KR)
KO YONG HO (KR)
Application Number:
PCT/KR2019/095005
Publication Date:
January 02, 2020
Filing Date:
May 09, 2019
Export Citation:
Assignee:
UNIV SOONCHUNHYANG IND ACAD COOP FOUND (KR)
International Classes:
B64F5/60; H04L29/06; H04L29/08
Foreign References:
| KR20170110796A | 2017-10-12 | |||
| KR20100098141A | 2010-09-06 | |||
| KR20040087206A | 2004-10-13 |
Other References:
XU ET AL.: "Threat-driven modeling and verification of secure software using aspect-oriented Petri nets", IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 32, no. 4, April 2006 (2006-04-01), pages 265 - 278, XP055666728
SHARMA ET AL.: "Secure and Efficient Context-Aware Localization of Drones in Urban Scenarios", IEEE COMMUNICATIONS MAGAZINE, vol. 56, no. 4, April 2018 (2018-04-01), pages 120 - 128, XP055480563, DOI: 10.1109/MCOM.2018.1700434
SHARMA ET AL.: "Secure and Efficient Context-Aware Localization of Drones in Urban Scenarios", IEEE COMMUNICATIONS MAGAZINE, vol. 56, no. 4, April 2018 (2018-04-01), pages 120 - 128, XP055480563, DOI: 10.1109/MCOM.2018.1700434
Attorney, Agent or Firm:
KIM, Tae Sun (KR)
Download PDF: