ETRI 연구진이 정형검증 기반의 고신뢰 IoT 보안 프로토콜 기술 검증을 테스트하고 있다. 사진제공=ETRI