본 이전기술은 정형기법 기반의 보안 프로토콜 자동화 검증 도구 중 “정형기법 기반 보안 프로토콜 자동화 검증 도구 사용자 인터페이스 기술”에 대한 것으로, 정형기법 기반의 검증이 높은 신뢰를 보장할 수 있지만, 수학적 모델과 논리적 추론을 사용함에 따라 관련 지식과 전문성이 없을 경우 적용하기 어려운 점을 감안하여, 정형기법 및 정형기법 기반 검증에 대한 지식이 없어도 용이하게 정형기법에 기반하여 구현된 보안 프로토콜에 대한 표준 규격 정합성과 Dolev-Yao 공격 모델에 대응하는 보안성을 검증하고 검증 결과를 직관적으로 확인할 수 있는 사용자 인터페이스를 제공하는 기술임.
본 이전기술은 IoT를 포함하는 다양한 네트워크 보호를 위해 사용되는 표준 규격 보안 프로토콜(RFC 5246, TLSv1.2) 구현물(SW)에 대해 높은 수준의 신뢰도를 보장하는 보안 프로토콜 규격 검증(Conformance Test) 및 보안성 검증(Attack Testing)을 제공하는 '정형기법 기반의 보안 프로토콜 자동화 검증 도구'를 구성하는 두 개의 기술 중 하나에 해당하며, 도구로써 온전한 기능을 위해 나머지 하나의 기술인 포스텍에서 공동 개발한 정형기법 기반 검증 모듈이 연동되어야 함.
높은 수준의 신뢰성을 보장하는 표준 규격의 보안 프로토콜 개발에 기여함으로써, 보안사고 발생 시 국가 및 사회에 재앙 수준의 피해가 예상되는 미션 크리티컬 분야의 IoT/IIoT 서비스 활성화에 기여하고자 함
- 본 이전기술인 “정형기법 기반 보안 프로토콜 자동화 검증 도구 사용자 인터페이스 기술”에서 표준 규격 기반 네트워크 보안 프로토콜 SW 검증에 적용한 정형기법은 시스템의 설계, 개발(구현), 검증에 수학적 모델과 논리적 추론을 사용하여 오류와 결함을 체계적으로 검증하는 기법으로 검증 범위 내에서 오류가 없음을 보장할 수 있어 기존 테스팅 기법과 달리 높은 신뢰도를 제공하며, 본 이전기술은 정형기법에 대한 전문 지식이 없어도 네트워크 보안 프로토콜 SW의 표준 규격 정합성과 보안성 시험/검증을 높은 수준의 신뢰성을 제공하면서 수행할 수 있는 웹 기반의 인터페이스를 제공함
- 본 이전기술은 정형기법 기반의 검증의 범위가 대부분 설계 수준인 것을 SW 수준까지 확장한 모델 기반 테스팅 기법을 수행할 수 있는 웹 기반 자동화 인터페이스로서, 특히 모델 기반 테스팅에 대한 지식 없이도 검증하고자 하는 시험항목의 선택만으로 네트워크 보안 프로토콜 SW에 대한 표준 규격 정합성 및 보안성을 시험/검증할 수 있음
- 본 기술은 검증하려는 대상의 상태 및 검증 결과에 대한 직관적인 피드백을 위해 검증 결과를 분석하고 시각화하여 제공하는 기능을 제공함
- 본 기술은 정형기법 기반 보안 프로토콜 자동화 검증 기술(포스텍)과 연동되어 완성된 도구로써 정상적인 기능을 수행하며, 본 기술이전 시 포스텍 기술도 같이 기술이전될 수 있도록 협의가 되어 있음
- 본 이전기술은 표준 규격(RFC 5246) 기반 보안 프로토콜(TLS v1.2)에 대해 구현 정합성과 네트워크 환경에서 발생할 수 있는 다양한 공격 모델(Dolev-Yao)에 대응하는 보안성 검증을 정형기법에 대한 전문 지식 없이도 정형기법 기반의 검증을 용이하게 수행할 수 있도록 하는 “정형기법 기반 보안 프토콜 자동화 검증 도구 사용자 인터페이스 기술”임
- 본 이전기술은 사용자(시험자) 관점에서 정형기법 기반 검증 수행과 결과 확인을 용이하게 하기 위해 웹기반 시각화 인터페이스로 제공되며, 다음과 같은 기능을 제공함
-> 사용자(시험자) 중심 웹 기반 시각화 인터페이스
-> 정형기법 기반 RFC 5246(TLS v1.2) 규격 및 보안성 검증 설정 인터페이스
-> 정형기법 기반 RFC 5246(TLS v1.2) 규격 정합성 검증(Conformance Testing) 항목별 검증 결과 데이터 분석 및 시각화 (22종)
-> 정형기법 기반 Dolev-Yao 공격 모델에 대한 보안성 검증(Attack Testing) 시각화 (20종)
● Buffer Overflow & Dos 공격 항목 대응 검증 결과 분석 및 시각화(14종)
● Impersonation 공격 항목 대응 검증 결과 분석 및 시각화 (6종)
-> 정형기법 기반 검증 결과 통합 로그 관리
- 프로그램(소스코드)
- 요구사항 및 요구사항 시험문서
- 사용자 매뉴얼
- 스마트교통, 스마트시티, 스마트팩토리 등 다양한 IoT 서비스 특히, 사고 시 파급력이 큰 미션크리티컬 분야에서 적용하려는 네트워크 보안 프로토콜의 규격 정합성 및 보안성 검증 도구로 활용
- 시험/평가 업체 및 기관에서 높은 수준의 신뢰성을 제공하는 네트워크 보안 프로토콜 시험/평가 자동화 도구로 활용
- 검증 범위 내에서 오류가 없다는 것을 보장할 수 있는 유일한 기법인 정형기법 기반의 검증을 SW를 대상으로 손쉽게 활용할 수 있는 사용자 중심의 도구를 제공함으로써, 진입 장벽이 높은 정형기법 기반 검증 기술을 보편화할 수 있