맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

컨볼루션 연산을 기반으로 하는 딥러닝 모델인 CNN의 연산결과에 대한 효율적인 무결성 검증 기법

  • 기술번호 : KST2023005967
  • 담당센터 : 서울서부기술혁신센터
  • 전화번호 : 02-6124-6930
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 본 발명에서 제안하는 컨볼루션 연산을 기반으로 하는 딥러닝 모델인 CNN의 연산결과에 대한 효율적인 무결성 검증 방법은 제1 검증단계에서의 증명자가 컨볼루션 연산에 관한 다변수 함수에서 특정 일변수함수의 결과값 중 복수 개의 결과값을 검증자에게 전송하는 단계, 제1 검증단계에서의 검증자가 컨볼루션 연산을 이용하여 상기 복수 개의 결과값과 이전 함수와의 연결성 체크를 수행하고, 검증자가 새로운 랜덤값을 증명자에게 전송하는 단계, 제2 검증단계에서의 증명자가 또 다른 일변수함수의 결과값 중 복수 개의 결과값을 검증자에게 전송하는 단계, 제2 검증단계에서의 검증자가 컨볼루션 연산을 이용하여 상기 복수 개의 결과값과 이전 함수와의 연결성 체크를 수행하고, 검증자가 새로운 랜덤값을 증명자에게 전송하는 단계 및 제2 검증단계에서의 검증식을 계산하고, 상기 검증식을 만족할 경우 검증자가 해당 프로토콜을 수락하는 단계를 포함한다.
Int. CL G06F 11/36 (2006.01.01) G06N 3/08 (2023.01.01) G06F 17/15 (2006.01.01)
CPC G06F 11/3696(2013.01) G06F 11/3664(2013.01) G06F 11/3688(2013.01) G06F 11/3692(2013.01) G06N 3/08(2013.01) G06F 17/15(2013.01)
출원번호/일자 1020210187604 (2021.12.24)
출원인 한양대학교 산학협력단
등록번호/일자
공개번호/일자 10-2023-0097779 (2023.07.03) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 공개
심사진행상태 수리
심판사항
구분 국내출원/신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 Y (2021.12.24)
심사청구항수 4

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한양대학교 산학협력단 대한민국 서울특별시 성동구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 서재홍 서울특별시 성동구
2 이현범 서울특별시 성동구
3 정희원 서울특별시 성동구
4 주찬양 서울특별시 성동구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 양성보 대한민국 서울특별시 강남구 선릉로***길 ** (논현동) 삼성빌딩 *층(피앤티특허법률사무소)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2021.12.24 수리 (Accepted) 1-1-2021-1501871-44
2 선행기술조사의뢰서
Request for Prior Art Search		 2022.09.16 수리 (Accepted) 9-1-9999-9999999-89
3 선행기술조사보고서
Report of Prior Art Search		 2022.12.23 발송처리완료 (Completion of Transmission) 9-6-2023-0100668-03
4 의견제출통지서
Notification of reason for refusal		 2023.05.31 발송처리완료 (Completion of Transmission) 9-5-2023-0495392-81
5 [거절이유 등 통지에 따른 의견]의견서·답변서·소명서
 2023.07.18 수리 (Accepted) 1-1-2023-0789804-16
6 [명세서등 보정]보정서
[Amendment to Description, etc.] Amendment		 2023.07.18 보정승인간주 (Regarded as an acceptance of amendment) 1-1-2023-0789805-62
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
제1 검증단계에서의 증명자가 컨볼루션 연산에 관한 다변수 함수에서 특정 일변수함수의 결과값 중 복수 개의 결과값을 검증자에게 전송하는 단계; 제1 검증단계에서의 검증자가 상기 복수 개의 결과값과 이전 함수와의 연결성 체크를 수행하고, 검증자가 새로운 랜덤값을 증명자에게 전송하는 단계; 제2 검증단계에서의 증명자가 또 다른 일변수함수의 결과값 중 복수 개의 결과값을 검증자에게 전송하는 단계; 제2 검증단계에서의 검증자가 상기 복수 개의 결과값과 이전 함수와의 연결성 체크를 수행하고, 검증자가 새로운 랜덤값을 증명자에게 전송하는 단계; 및 제2 검증단계에서의 검증식을 계산하고, 상기 검증식을 만족할 경우 검증자가 해당 프로토콜을 수락하는 단계를 포함하는 컨볼루션 연산 기반 무결성 검증 방법
2 2
제1항에 있어서, 상기 제1 검증단계에서의 검증자가 상기 복수 개의 결과값과 이전 함수와의 연결성 체크를 수행하고, 검증자가 새로운 랜덤값을 증명자에게 전송하는 단계는, 상기 검증자는 상기 복수 개의 결과값과 이전 함수와의 연결성 체크를 수행하고, 검증자가 새로운 랜덤값을 증명자에게 전송하는 과정을 반복 수행한 후, 마지막으로 제1 검증단계의 검증식을 계산하고, 제2 검증단계로 이동하는컨볼루션 연산 기반 무결성 검증 방법
3 3
제1항에 있어서, 상기 제1 검증단계에서의 검증자가 상기 복수 개의 결과값과 이전 함수와의 연결성 체크 및 상기 제2 검증단계에서의 검증자가 상기 복수 개의 결과값과 이전 함수와의 연결성 체크는 상기 복수 개의 결과값과 이전 함수에 대한 두 벡터의 관계를 체크하여 조건을 만족하면 1 만족하지 않으면 0을 출력하는 함수를 이용하고, 상기 함수는 하기 식(c-1)으로 나타내는 식(c-1)컨볼루션 연산 기반 무결성 검증 방법
4 4
제3항에 있어서, 상기 함수를 사용하여 썸-체크 프로토콜을 적용한 컨볼루션 연산을 하기 식(c-2)으로 나타내고, 식(c-2)여기서, 번째 레이어의 특징 맵은 , 가중치 매트릭스는 및 컨볼루션 연산으로 획득한 번째 레이어는 일 때, 상기 컨볼루션 연산을 만족하는 컨볼루션 연산 기반 무결성 검증 방법
5 5
제3항에 있어서, 상기 썸-체크 프로토콜을 적용한 컨볼루션 연산 기반 무결성 검증은, 썸메이션(Summation) 내의 함수들이 다중 선형 다항식들(Multi linear polynomial)의 곱으로서, 풀리 커넥티드(fully connected), 썸 풀링(Sum pooling), 쿼드러틱 액티베이션(Quadratic activation)으로 구성된 CNN 검증기법에 적용가능한 컨볼루션 연산 기반 무결성 검증 방법
지정국 정보가 없습니다
패밀리정보가 없습니다
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 과학기술정보통신부 한양대학교산학협력단 한국연구재단 부설 정보통신기획평가원 / 정보통신방송 연구개발사업 / 정보보호핵심원천기술개발사업(통합이지바로) 간결한 비대화형 연산 증명 시스템(SNARK)을 위한 암호 원천 기술 개발