보안성 정형화 설계 및 검증 기술에 관한 연구