확장된 선형 탐색에 의한 프로토콜 검증 ( A Protocol Validation by Extended Circular Exploration )