ETRI, 오류없는 IoT 보안 프로토콜 개발 착수
전체 맥락을 이해하기 위해서는 본문 보기를 권장합니다.
국내 연구진이 안전하고 신뢰성있는 IoT 서비스를 위한 보안 프로토콜 기술 개발에 나섰다.
한국전자통신연구원은 포항공대, 국민대학교와 함께 국내 최초로 정형기법(Formal Method) 기반의 IoT 보안 프로토콜 기술을 개발 중이라고 밝혔다.
또한 연구진은 이미 표준으로 적용, 규격화되어 있는 TLS 보안 프로토콜의 다양한 솔루션에 대해 정형검증 기법을 용이하게 적용할 수 있도록, 사용자 중심의 자동화된 검증 도구도 개발 중이다.
이 글자크기로 변경됩니다.
(예시) 가장 빠른 뉴스가 있고 다양한 정보, 쌍방향 소통이 숨쉬는 다음뉴스를 만나보세요. 다음뉴스는 국내외 주요이슈와 실시간 속보, 문화생활 및 다양한 분야의 뉴스를 입체적으로 전달하고 있습니다.
[헤럴드경제=구본혁 기자] 국내 연구진이 안전하고 신뢰성있는 IoT 서비스를 위한 보안 프로토콜 기술 개발에 나섰다.
한국전자통신연구원은 포항공대, 국민대학교와 함께 국내 최초로 정형기법(Formal Method) 기반의 IoT 보안 프로토콜 기술을 개발 중이라고 밝혔다.
정형기법을 적용한 보안성 검증(이하 정형검증)은 시스템 설계 단계에서부터 오류나 보안 취약점을 엄격하게 검증할 수 있는 기술이다.
기존 보안성 검증은 이미 개발된 SW를 대상으로 진행되는 데 반해, 정형검증은 설계 단계에서부터 보안성을 확인할 수 있어 시스템 내 오류 발생 가능성을 최소화할 수 있다.
ETRI 연구진은 정형기법을 코드 수준으로 확장, 정형검증 기반의 TLS 솔루션인 ‘HASP’를 개발 중이다.
이번에 개발 중인 HASP는 요구사항 정의와 설계 단계부터 엄격한 보안성 검증을 수반하는 모델 검증(Model-Checking)을 적용했다.
이를 통해 검증된 범위 내에서 시스템 오류와 보안 취약점이 없음을 보장할 수 있는 높은 수준의 검증 결과를 제공한다.
연구진은 정형검증의 범위를 기존 설계 단계에서 SW 개발(코드 구현) 단계까지 확장했다.
모델 기반 테스팅(Model-based Testing) 기법을 통해 설계와 구현 단계에서의 불일치 가능성을 사전에 제거하고, 구현된 코드에 대한 오류나 보안 위협이 없음을 높은 신뢰도로 보장할 수 있다.
이 기술은 기존 정형검증이 주로 설계 단계까지만 적용되던 것과 달리, 실제 동작하는 SW 단계까지 정형기법을 적용한 국내 첫 사례다.
또한 연구진은 이미 표준으로 적용, 규격화되어 있는 TLS 보안 프로토콜의 다양한 솔루션에 대해 정형검증 기법을 용이하게 적용할 수 있도록, 사용자 중심의 자동화된 검증 도구도 개발 중이다.
오는 11월까지 정형기법 기반의 자동화 검증 도구 프로토타입 개발을 완료하고, 자체 개발된 TLS v1.2 솔루션에 적용하여 높은 수준의 신뢰도를 보장하는 HASP v1.0 개발을 완료할 예정이다.
이를 수요기업인 LG U+의 5G 이동 통신망 테스트베드에 실증 적용, 기술의 상용화 가능성을 검증할 예정이다.
임재덕 ETRI 사이버보안연구본부 책임연구원은 “정형기법을 활용한 이번 연구는 IoT 서비스의 보안성과 신뢰성을 기존보다 한층 더 보장할 수 있는 중요한 기술적 토대를 제공할 것”이라며 “향후 국내 IoT 보안 시장의 경쟁력 제고와 사고 발생 시 파급효과가 큰 미션 크리티컬 서비스의 신뢰도를 높일 수 있는 토대를 마련하도록 노력하겠다”고 말했다.
nbgkoo@heraldcorp.com
Copyright © 헤럴드경제. 무단전재 및 재배포 금지.
- 뉴진스 하니, 국감 나간다…“멤버들과 버니즈 지키기 위해 결정”
- “삼성처럼 못 만들겠다” 애플, 충격 ‘포기 선언’…이 반지, 결국 못 본다?
- “얼굴이 4분의 3 됐다”… 곽튜브, 이나은 옹호 논란 이후 핼쑥해진 근황
- 지연, 이혼발표 후 올린 첫 게시물…“우리가 나눈 눈빛 영원히 간직”
- 설마했는데…“연예인까지 뛰어들었다” 실체 드러난 BJ 수입
- “이건 진짜 미쳤다” 100% 망할줄 알았는데…입소문에 ‘난리’
- "정말로 나쁜 조폭들은 문신 안 해. 오히려 숨겨"
- “무거운 짐 든 막내작가 외면했다”…‘1박2일’ 출연진 ‘비매너’ 논란에 영상 삭제
- ‘흑백요리사’ 3억 딴 셰프 “건방지게 굴었다” 결국 사과…왜?
- "지옥 같았다"…박서준·성시경도 '왕따' 피해자였다