IoT용 고신뢰 보장 네트워크 보안프로토콜(HASP) 기술

기술개요

• 본 기술은 IoT 서비스의 네트워크 보안을 위해 사용되는 표준 규격 보안 프로토콜(RFC 5246(TLS v1.2), RFC 8446(TLS v1.3)) 구현 기술로, 높은 수준의 신뢰도를 요구하는 미션 크리티컬 서비스에 활용할 수 있도록 정형기법 기반의 보안 프로토콜 규격 검증(Conformance Test) 및 보안성 검증(Attack Testing)을 적용한 “IoT용 고신뢰 보장 네트워크 보안프로토콜(HASP) 기술”임

기술개발 목적 및 필요성

• • 기존의 코드 커버리지, 퍼징 등의 SW 검증 방식은 테스트 가능한 모든 경우에 대한 테스트가 불가능하여 SW에 오류가 없다는 보장이 불가능하고, 이로 인해 의도하지(설계되지) 않은 행위로 인한 잠재적 취약점을 완전히 제거할 수 없음 

  
  

  • IoT 기반 미션 크리티컬 서비스에서는 의도되지 않은 오동작이나 보안 사고가 발생할 경우 사회 혼란 및 인명 피해 등의 막대 한 파급효과로 이러지기 때문에, 오동작이나 보안취약점에 강인한 높은 수준의 신뢰성을 보장하는 기술 적용이 필요함

  
  

  • 논리 혹은 수학적 방식을 활용하는 정형기법(Formal Method) 기반 검증은 검증범위에 대해 오류가 없음을 보증할 수 있는 유일한 해결책이지만, 높은 전문지식이 요구될 뿐만 아니라 주로 모델(설계) 수준에서 적용되고 있어, 실제 동작하는 SW(코드) 수준까지 적용된 사례가 적어, 실질적인 산업 현장에서는 거의 도입하지 못하고 있는 실정임

  
  

  • 미션 크리티컬 IoT 서비스가 사회 전반으로 확장하고 있는 현실에서 오동작 및 보안취약점으로 인한 보안사고에 안전한 운영을 보장하는 정형기법 기반 검증을 수행한 고신뢰 보장 네트워크 보안프로토콜(TLS) 기술 및 솔루션이 필요함

기술의 특징 및 장점

• • 수학적 모델 및 논리적 추론 기반의 정형기법을 활용한 시스템 설계 및 개발(구현) 검증 수행

  - 검증 범위 내 오동작 및 보안취약점 없음 보장 가능

  
  

  • 상태 모델 기반 시스템 설계를 통한 정형 기법 기반 설계 검증 수행(Designed by Security 지원)

  
  

  • 설계 검증 과정에서 생성된 테스트케이스 기반 네트워크 보안프로토콜(TLS) 구현(SW) 검증 수행