1188.17 안전 관련 소프트웨어의 검증 기법