보안 시스템의 정형화 설계 및 안정성 검증 도구 개발