이 처럼 네트워크 프로토콜 을 대상 으로 유한 상태 기계 의 추론 을 적용 하 면 , 다양 한 소프트웨어 엔지니어링 문제 나 보안 취약점 등 을 파악 할 수 있 다 . 도 10 b 를 참고 하 면 , DNP 3 통신 프로토콜 에서 입력 값 이 ( 4 ) Update key change request 일 때 , 출력 값 ( 2 ) Update key change reply 인 과정 이 생략 될 수 있 어 보안 상 의 취약점 이 있 음 을 발견 할 수 있 다 .