| 1 |
1
페트리 넷 모델링을 이용한 산업용 사물 인터넷(Industrial Internet of Things, IIoT) 시스템에 구비되는 드론의 검증방법에 있어서,상기 산업용 사물 인터넷 시스템을 계층형 페트리 넷으로 모델링하는 모델링단계; 및계층형 페트리 넷 모델에 기초하여 상기 드론의 보안 취약성 존재여부를 검증하는 검증단계를 포함하고,상기 검증단계는,상기 계층형 페트리 넷 모델에 플레이스(place)로 구비되는 복수의 판단인자 중 적어도 하나가 상기 드론의 작동을 비정상으로 판단하는 경우, 상기 드론에 보안 취약성이 있는 것으로 판단하는 드론의 검증방법
|
| 2 |
2
제1항에 있어서,복수의 상기 판단인자는,상기 드론이 외부로부터 통신 또는 작동을 방해받는지 여부를 판단하는 제1플레이스;상기 드론이 설정된 이동경로 상의 경유지점이 변경되었는지 여부를 판단하는 제2플레이스;복수의 상기 드론이 설정되지 않은 강제군집을 이루는지 여부를 판단하는 제3플레이스;상기 드론이 포획되었는지 여부를 판단하는 제4플레이스;상기 드론에 대한 액세스 제어가 가능한지 여부를 판단하는 제5플레이스; 및상기 드론이 상기 산업용 사물 인터넷 시스템에 의해 인가되었는지 여부를 판단하는 제6플레이스로 구비되는 것을 특징으로 하는 드론의 검증방법
|
| 3 |
3
제2항에 있어서,복수의 상기 판단인자는,상기 드론이 외부로부터 통신 또는 작동을 방해받는 경우, 상기 드론이 설정된 이동경로 상의 경유지점이 변경되는 경우, 복수의 상기 드론이 설정되지 않은 강제군집을 이루는 경우, 상기 드론이 포획된 경우, 상기 드론에 대한 액세스 제어가 불가능한 경우 및 상기 드론이 상기 산업용 사물 인터넷 시스템에 의해 인가되지 않은 경우 중 적어도 하나인 경우,상기 드론의 작동을 비정상으로 판단하는 것을 특징으로 하는 드론의 검증방법
|
| 4 |
4
제3항에 있어서,상기 산업용 사물 인터넷 시스템은,사용자를 지원하는 사용자단말;상기 사용자단말과 연결되는 제1액세스포인트;상기 제1액세스포인트와 연결되고, 사용자 및 사물인터넷장치를 서로 연결하는 코어;상기 코어와 통신가능하도록 연결되고, 복수로 구비되는 드론;상기 드론과 연결되는 제2액세스포인트;상기 제2액세스포인트와 연결되고, 사용자와 양방향 통신이 가능하도록 구비되는 제1사물인터넷장치; 및상기 제1사물인터넷장치와 연결되는 제2사물인터넷장치를 포함하고,상기 계층형 페트리 넷 모델은,상기 사용자단말을 모델링한 페트리 넷으로 구비되는 제1층;상기 제1액세스포인트를 모델링한 페트리 넷으로 구비되는 제2층;상기 코어를 모델링한 페트리 넷으로 구비되는 제3층;상기 드론을 모델링한 페트리 넷으로 구비되는 제4층;상기 제2액세스포인트를 모델링한 페트리 넷으로 구비되는 제5층;상기 제1사물인터넷장치를 모델링한 페트리 넷으로 구비되는 제6층; 및상기 제2사물인터넷장치를 모델링한 페트리 넷으로 구비되는 제7층을 포함하는 것을 특징으로 하는 드론의 검증방법
|
| 5 |
5
제4항에 있어서,상기 제1층 내지 상기 제7층은,서로 인접한 계층들이 적어도 하나의 트랜지션(transition)에 의해 상호 연결되는 것을 특징으로 하는 드론의 검증방법
|
| 6 |
6
제4항에 있어서,상기 제1층 내지 상기 제7층을 구성하는 각각의 페트리 넷은,서로 인접한 상기 페트리 넷 사이에 적어도 하나의 트랜지션을 기준으로 양방향으로 연결되는 것을 특징으로 하는 드론의 검증방법
|
