1180.4 정량적 하드웨어 안전 무결성 검증