분산 소프트웨어 정의 네트워크(Distributed Software-defined Network)의 제어 평면(control plane)의 보안을 위한 프로토콜 상태 퍼징 방법에 있어서, 분산된 NOS의 앰버셔(Ambusher)에서 프로토콜 메시지의 추상 기호인 입력 알파벳(Input Alphabets)을 수신하여 프로토콜 메시지로 변환하며, 상기 프로토콜 메시지를 클러스터에 전송하는 제1 단계;상기 클러스터에서 상기 분산된 NOS에서 인스턴스(instance) 간의 상호 통신을 모니터링하는 제2 단계; 및상기 클러스터에서 실행 가능한 시퀀스 집합을 선택하며, 시퀀스 실행으로 클러스터 로그에서 출력을 검색하여 공격 결과(Attack Result)를 생성하는 제3 단계를 포함하되,상기 제1 단계는상기 입력 알파벳을 수신하는 단계;쿼리(query)를 생성하여 프록시(proxy)로 전달하고, 상기 쿼리를 프로토콜 메시지로 변환하여 클러스터 내부에서 생성된 더미 아비터(Dummy Arbiter)에 의해 대상 클러스터로 전송하는 단계; 및상기 프록시에 의한 응답 메시지 검색 시, 일치하는 메시지 출력을 위해 학습자에게 전송하는 단계를 포함하고,상기 제2 단계는 추론된 상태 머신(state machine)을 생성할 때까지 상기 제1 단계의 루프를 반복하며,상기 제3 단계는공격 컨덕터(attack conductor)를 통해 시퀀스 실행으로 클러스터 로그에서 출력을 검색하는 것을 특징으로 하는, 프로토콜 상태 퍼징 방법.

삭제

제1항에 있어서,상기 수신하는 단계는 프로토콜 메시지의 추상 기호를 나타내는 상기 입력 알파벳을 수신하여 학습 내 시스템(System Under Learning; SUL)으로 전송하며, 상기 학습 내 시스템에서 상기 입력 알파벳에 대한 출력 알파벳을 관찰하는, 프로토콜 상태 퍼징 방법.

제1항에 있어서,상기 프록시에서 상기 입력 알파벳을 상기 프로토콜 메시지로 변환하며, 프로토콜 구현을 위해 사용자 정의 프로토콜을 사용하는 것을 특징으로 하는, 프로토콜 상태 퍼징 방법.

삭제

제1항에 있어서,상기 제3 단계는상기 상태 머신을 사용하여 테스트 사례를 체계적으로 생성하는 것을 특징으로 하는, 프로토콜 상태 퍼징 방법.

제6항에 있어서,상기 제3 단계는상기 상태 머신을 탐색하여 클러스터 환경에서 실행 가능한 상기 시퀀스 집합을 선택하고, 상기 상태 머신에서 상태 전환에 영향을 미치지 않는 알파벳을 삭제하여 상기 상태 머신에서 생성 가능한 메시지 시퀀스를 실행하며, 상기 클러스터 로그에서 출력을 검색하여 상기 공격 결과를 생성하는, 프로토콜 상태 퍼징 방법.

제7항에 있어서,상기 제3 단계는상기 대상 클러스터가 가능한 많은 상태로 전환되도록 클러스터 메시지 시퀀스 집합을 생성하는 것을 특징으로 하는, 프로토콜 상태 퍼징 방법.

제8항에 있어서,상기 제3 단계는메시지 시퀀스를 추출하는 상태 그래프 깊이 우선 탐색 알고리즘(State Depth-First Search; SDFS)을 사용하는 것을 특징으로 하는, 프로토콜 상태 퍼징 방법.

분산 소프트웨어 정의 네트워크(Distributed Software-defined Network)의 제어 평면(control plane)의 보안을 위한 프로토콜 상태 퍼징 방법에 있어서, 분산된 NOS의 앰버셔(Ambusher)에서 프로토콜 메시지의 추상 기호인 입력 알파벳(Input Alphabets)을 수신하는 단계;프록시(proxy)에서 상기 입력 알파벳을 프로토콜 메시지로 변환하여 클러스터 내부에서 생성된 더미 아비터(Dummy Arbiter)에 의해 대상 클러스터로 전송하는 단계;상기 프록시에 의한 응답 메시지 검색 시, 일치하는 메시지 출력을 위해 학습자에게 전송하는 단계;상기 수신하는 단계, 상기 대상 클러스터로 전송하는 단계 및 상기 학습자에게 전송하는 단계의 루프를 반복하여 추론된 상태 머신(state machine)을 생성하는 단계;상기 상태 머신을 탐색하여 클러스터 환경에서 실행 가능한 시퀀스 집합을 선택하고, 상기 상태 머신에서 상태 전환에 영향을 미치지 않는 알파벳을 삭제하여 상기 상태 머신에서 생성 가능한 메시지 시퀀스를 실행하는 단계; 및공격 컨덕터(attack conductor)를 통해 시퀀스 실행으로 클러스터 로그에서 출력을 검색하여 공격 결과(Attack Result)를 생성하는 단계를 포함하는 프로토콜 상태 퍼징 방법.

분산 소프트웨어 정의 네트워크(Distributed Software-defined Network)의 제어 평면(control plane)의 보안을 위한 프로토콜 상태 퍼징 시스템에 있어서, 분산된 NOS의 앰버셔(Ambusher)에서 프로토콜 메시지의 추상 기호인 입력 알파벳(Input Alphabets)을 수신하여 프로토콜 메시지로 변환하며, 상기 프로토콜 메시지를 클러스터에 전송하는 처리부;상기 클러스터에서 상기 분산된 NOS에서 인스턴스(instance) 간의 상호 통신을 모니터링하는 관리부; 및상기 클러스터에서 실행 가능한 시퀀스 집합을 선택하며, 시퀀스 실행으로 클러스터 로그에서 출력을 검색하여 공격 결과(Attack Result)를 생성하는 결과 출력부를 포함하되,상기 처리부는상기 입력 알파벳을 수신하는 수신부; 및쿼리(query)를 생성하여 프록시(proxy)로 전달하고, 상기 쿼리를 프로토콜 메시지로 변환하여 클러스터 내부에서 생성된 더미 아비터(Dummy Arbiter)에 의해 대상 클러스터로 전송하는 전송부를 포함하며,상기 전송부는상기 프록시에 의한 응답 메시지 검색 시, 일치하는 메시지 출력을 위해 학습자에게 전송하고, 상기 관리부는추론된 상태 머신(state machine)을 생성할 때까지 상기 처리부의 루프를 반복하며,상기 결과 출력부는 공격 컨덕터(attack conductor)를 통해 시퀀스 실행으로 클러스터 로그에서 출력을 검색하는 것을 특징으로 하는, 프로토콜 상태 퍼징 시스템.

삭제

제11항에 있어서,상기 수신부는프로토콜 메시지의 추상 기호를 나타내는 상기 입력 알파벳을 수신하여 학습 내 시스템(System Under Learning; SUL)으로 전송하며, 상기 학습 내 시스템에서 상기 입력 알파벳에 대한 출력 알파벳을 관찰하는, 프로토콜 상태 퍼징 시스템.

제11항에 있어서,상기 전송부는상기 프록시에서 상기 입력 알파벳을 상기 프로토콜 메시지로 변환하며, 프로토콜 구현을 위해 사용자 정의 프로토콜을 사용하는 것을 특징으로 하는, 프로토콜 상태 퍼징 시스템.

삭제

제11항에 있어서,상기 결과 출력부는상기 상태 머신을 탐색하여 클러스터 환경에서 실행 가능한 상기 시퀀스 집합을 선택하고, 상기 상태 머신에서 상태 전환에 영향을 미치지 않는 알파벳을 삭제하여 상기 상태 머신에서 생성 가능한 메시지 시퀀스를 실행하며, 상기 클러스터 로그에서 출력을 검색하여 상기 공격 결과를 생성하는, 프로토콜 상태 퍼징 시스템.

제16항에 있어서,상기 결과 출력부는상기 대상 클러스터가 가능한 많은 상태로 전환되도록 클러스터 메시지 시퀀스 집합을 생성하는 것을 특징으로 하는, 프로토콜 상태 퍼징 시스템.

제17항에 있어서,상기 결과 출력부는메시지 시퀀스를 추출하는 상태 그래프 깊이 우선 탐색 알고리즘(State Depth-First Search; SDFS)을 사용하는 것을 특징으로 하는, 프로토콜 상태 퍼징 시스템.

분산 소프트웨어 정의 네트워크(Distributed Software-defined Network)의 제어 평면(control plane)의 보안을 위한 프로토콜 상태 퍼징 시스템에 있어서, 분산된 NOS(Distributed Network Operating Systems)에서 프로토콜 메시지의 추상 기호인 입력 알파벳(Input Alphabets)을 수신하여 프로토콜 메시지로 변환하며, 클러스터 내부에서 생성된 더미 아비터(Dummy Arbiter)에 의해 대상 클러스터로 전송하고, 추론된 상태 머신(state machine)을 생성하는 상태 머신 빌더(State Machine Builder); 상기 상태 머신을 탐색하여 클러스터 환경에서 실행 가능한 시퀀스 집합을 선택하고, 상기 상태 머신에서 상태 전환에 영향을 미치지 않는 알파벳을 삭제하여 상기 상태 머신에서 생성 가능한 메시지 시퀀스를 실행하며, 공격 컨덕터(attack conductor)를 통해 시퀀스 실행으로 클러스터 로그에서 출력을 검색하여 공격 결과(Attack Result)를 생성하는 상태 머신 퍼저(State Machine Fuzzer); 및클러스터를 관리하는 클러스터 환경 관리자(Cluster Environment Manager)를 포함하는 프로토콜 상태 퍼징 시스템.