1277.130 유한 상태 머신에 의한 프로토콜 검증