ETRI, 無오류 IoT 보안 프로토콜 개발 시동…첫 정형기법 적용 ETRI, 無오류 IoT 보안 프로토콜 개발 시동…첫 정형기법 적용[대전=뉴시스] 김양수 기자 = 한국전자통신연구원(ETRI)는 포항공대, 국민대와 협력해 국내 최초로 정형기법(Formal Method) 기반의 사물인터넷(IoT) 보안 프로토콜 기술 개발에 나섰다고 10일 밝혔다.www.newsis.com 정형기법 기반 보안 프로토콜 개발ETRI는 포항공대와 국민대와 협력하여 국내 최초로 정형기법(Formal Method)을 적용한 IoT 보안 프로토콜 기술 개발에 착수정형검증은 시스템 설계단계부터 오류나 보안 취약점을 엄격히 검증하는 기술로, 기존 SW 개발 후의 검증 방식과 달리 설계단계에서부터 보안성을 확인할 수 있음이를 통해 시스..