【와티비커뮤니티-WATVcommunity】 보증업체놀이터추천홍보 : 프로그램제작판매제작의뢰 : 스포츠분석 : 무료스포츠중계tv : 섹시bj움짤 : 스포츠뉴스 : 안구정화 놀이터홍보 놀이터후기공유 피해사례공유

로그인

채팅

글쓰기

[IT뉴스]안전하고 오류 없는 사물인터넷 보안 기술 개발 나선다

온카뱅크관리자

2024-10-10 10:56:12

<div id="layerTranslateNotice" style="display:none;"></div>  
        <div class="article_view" data-translation-body="true" data-tiara-layer="article_body" data-tiara-action-name="본문이미지확대_클릭"> 
         <section dmcf-sid="VONw3idzGE">
          <figure class="figure_frm origin_fig" dmcf-pid="fFTZPIsd5k" dmcf-ptype="figure">
           <p class="link_figure"><img alt="ETRI 연구팀이 정형기법 기반의 고신뢰 IoT 보안 프로토콜 기술 검증을 테스트하고 있다. ETRI 제공" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202410/10/dongascience/20241010105618102dfyp.jpg" data-org-width="680" dmcf-mid="9lvDFJe7Hw" dmcf-mtype="image" height="auto" src="https://img3.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202410/10/dongascience/20241010105618102dfyp.jpg" width="658"></p>
           <figcaption class="txt_caption default_figure">
            ETRI 연구팀이 정형기법 기반의 고신뢰 IoT 보안 프로토콜 기술 검증을 테스트하고 있다. ETRI 제공
           </figcaption>
          </figure>
          <p dmcf-pid="43y5QCOJ1c" dmcf-ptype="general">사물인터넷(IoT)은 여러 사물에 센서와 통신 기능을 내장하고 인터넷에 연결해 데이터를 주고받을 수 있도록 하는 기술이다. 국내 연구팀이 재난 통신망, 항공기 운항 관제 등 안전하고 높은 신뢰도가 요구되는 IoT 서비스를 위한 보안 프로토콜 기술 개발에 나섰다. </p>
          <p dmcf-pid="85UKj1ZwGA" dmcf-ptype="general"> 한국전자통신연구원(ETRI)은 포스텍, 국민대와 협력해 국내 최초로 정형기법(Formal Method) 기반의 IoT 보안 프로토콜 기술을 개발 중이라고 10일 밝혔다.</p>
          <p dmcf-pid="61u9At5r5j" dmcf-ptype="general"> 정형기법은 소프트웨어와 시스템 설계·개발·검증에 수학적 모델과 논리적 추론을 사용해 오류나 결함을 체계적으로 검증하는 기법이다. 기존 보안성 검증은 이미 개발된 소프트웨어를 대상으로 진행됐지만 정형기법을 사용하면 설계 단계에서부터 보안성을 확인해 오류 발생 가능성을 최소화할 수 있다.</p>
          <figure class="figure_frm origin_fig" dmcf-pid="PX0BaZHEXN" dmcf-ptype="figure">
           <p class="link_figure"><img alt="정형기법 기반 고신뢰 보안 프로토콜 및 검증 자동화 기술 개요. ETRI 제공" class="thumb_g_article" data-org-src="https://t1.daumcdn.net/news/202410/10/dongascience/20241010105620662istu.png" data-org-width="680" dmcf-mid="2V6dl9bYGD" dmcf-mtype="image" height="auto" src="https://img4.daumcdn.net/thumb/R658x0.q70/?fname=https://t1.daumcdn.net/news/202410/10/dongascience/20241010105620662istu.png" width="658"></p>
           <figcaption class="txt_caption default_figure">
            정형기법 기반 고신뢰 보안 프로토콜 및 검증 자동화 기술 개요. ETRI 제공
           </figcaption>
          </figure>
          <p dmcf-pid="QZpbN5XDta" dmcf-ptype="general">연구팀은 정형기법 검증을 확장해 적용한 TLS 프로토콜 시스템인 'HASP(High Assurance Device Authentication and Secure Protocol System)'를 개발 중이다. TLS는 인터넷에서 정보를 암호화해 개인정보와 데이터 보안을 용이하게 하도록 설계된 보안 프로토콜이다. </p>
          <p dmcf-pid="x5UKj1Zw5g" dmcf-ptype="general"> 연구팀은 정형기법 검증의 범위를 기존 설계 단계에서 코드를 구현하는 소프트웨어 개발 단계까지 확장했다. 설계와 구현 단계의 불일치 가능성을 사전에 제거하고 코드에 대한 오류나 보안 위협이 없다는 것을 높은 신뢰도로 보장할 수 있다.</p>
          <p dmcf-pid="ysvX6OmeHo" dmcf-ptype="general"> 연구팀은 "기존 정형검증이 주로 설계 단계까지만 적용되던 것과 달리 실제 동작하는 소프트웨어 단계까지 정형기법을 적용한 국내 첫 사례"라고 말했다.</p>
          <p dmcf-pid="WOTZPIsdHL" dmcf-ptype="general"> 또 이미 표준화된 TLS 프로토콜의 다양한 솔루션에 대해 정형검증 기법을 적용할 수 있도록 하는 자동화된 검증 도구도 개발 중이다. 연구팀은 올해 11월까지 'HASP v1.0'을 구현해 12월부터는 관련 업체와 기술이전을 추진한다는 계획이다. 이후 수요기업인 LG U+의 5G 이동통신망에 실증 적용해 기술 상용화 가능성도 검증한다.</p>
          <p dmcf-pid="YIy5QCOJHn" dmcf-ptype="general"> ETRI는 정형기법 기반 검증 기술과 HASP 솔루션이 글로벌 IoT 보안 기술 시장에서 국내 IoT 보안 기술의 산업 경쟁력을 높이는 데 크게 기여할 것으로 기대했다.</p>
          <p dmcf-pid="GjrlBANfti" dmcf-ptype="general"> 임재덕 ETRI 사이버보안연구본부 책임연구원은 "정형기법을 활용한 이번 연구는 IoT 서비스의 보안성과 신뢰성을 기존보다 한층 더 보장할 수 있는 중요한 기술적 토대를 제공할 것"이라며 "향후 국내 IoT 보안 시장의 경쟁력 제고와 사고 발생 시 파급효과가 큰 '미션 크리티컬 서비스'의 신뢰도를 높일 수 있는 토대를 마련하도록 노력하겠다"고 밝혔다.</p>
          <p dmcf-pid="HAmSbcj41J" dmcf-ptype="general">[이병구 기자 2bottle9@donga.com]</p>
         </section> 
        </div> 
        <p class="" data-translation="true">Copyright © 동아사이언스. 무단전재 및 재배포 금지.</p>

금호타이어, 파리金 반효진과 '효도 챌린지'…부친 매장 재단장 '요르단·이라크에 다 지면?' 이천수 "무조건 바뀌지"

댓글 총 0개

업체홍보/구인 더보기

놀이터홍보 더보기

지식/노하우 더보기

판매의뢰 더보기

포토 더보기