전자통신연, 오류 없는 ‘IoT 보안 프로토콜’ 개발 주력

시스템 설계부터 오류·보안 취약점 검증 가능한 ‘정형검증’ 기반