KR101489599B1 - 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템 - Google Patents

스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템 Download PDF

Info

Publication number
KR101489599B1
KR101489599B1 KR20130133482A KR20130133482A KR101489599B1 KR 101489599 B1 KR101489599 B1 KR 101489599B1 KR 20130133482 A KR20130133482 A KR 20130133482A KR 20130133482 A KR20130133482 A KR 20130133482A KR 101489599 B1 KR101489599 B1 KR 101489599B1
Authority
KR
South Korea
Prior art keywords
storage
row
integrity
data file
coefficient matrix
Prior art date
Application number
KR20130133482A
Other languages
English (en)
Inventor
은하수
오희국
Original Assignee
한양대학교 에리카산학협력단
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 한양대학교 에리카산학협력단 filed Critical 한양대학교 에리카산학협력단
Priority to KR20130133482A priority Critical patent/KR101489599B1/ko
Application granted granted Critical
Publication of KR101489599B1 publication Critical patent/KR101489599B1/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
    • G06F11/10—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/008—Reliability or availability analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법은 상기 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬의 해 및 상기 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 획득하는 단계; 상기 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택하는 단계; 상기 복수의 패리티 값들 중 상기 선택된 적어도 하나의 행에 대응하는 패리티 값을 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값과 비교하는 단계; 및 상기 비교 결과에 기초하여, 상기 스토리지에 저장된 상기 데이터 파일에 포함되는 복수의 블록들 중 상기 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증하는 단계를 포함한다.

Description

스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템{METHOD AND SYSTEM FOR VERIFYING INTEGRITY OF DATA FILE STORED IN STORAGE}
본 발명은 스토리지(Storage)에 저장된 데이터 파일의 무결성(Integrity)을 검증하는 시스템 및 그 방법에 관한 것으로, 보다 구체적으로 데이터 파일에 대응하는 계수행렬의 해 및 패리티 값(Parity)을 이용하여 데이터 파일의 무결성을 검증하는 기술에 관한 것이다.
스토리지에 저장된 데이터 파일의 무결성을 검증하는 기술은 검증에 필요한 일부 정보에 기초하여 스토리지에 저장된 데이터 파일의 무결성을 검증하는 기술로써, 지수 연산 또는 페어링 연산(Pairing)을 이용하기 때문에, 연산 과정이 복잡하며 소요 시간이 오래 걸리는 단점이 있다.
이에, 연산 과정을 간단화하고, 소요 시간이 오래 걸리지 않는 단순한 연산 과정을 갖는 데이터 파일의 검증 기법이 요구된다.
본 발명의 실시예들은 검증자가 검증하고자 하는 데이터 파일을 가지고 있지 않은 상태에서, 검증에 필요한 최소한의 정보만으로 데이터 파일을 무결성을 검증하는 방법, 장치 및 시스템을 제공한다.
또한, 본 발명의 실시예들은 선형 방정식의 연산을 이용함으로써, 단순한 연산 과정을 갖는 데이터 파일의 검증 방법, 장치 및 시스템을 제공한다.
또한, 본 발명의 실시예들은 선형 방정식의 연산을 이용하는 과정에서, 데이터 파일에 대응하는 계수행렬을 이용하는 방법, 장치 및 시스템을 제공한다.
또한, 본 발명의 실시예들은 계수행렬의 행 별로 연산을 수행함으로써, 데이터 파일의 블록 별로 무결성을 검증하는 방법, 장치 및 시스템을 제공한다.
본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법은 상기 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬의 해 및 상기 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 획득하는 단계; 상기 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택하는 단계; 상기 복수의 패리티 값들 중 상기 선택된 적어도 하나의 행에 대응하는 패리티 값을 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값과 비교하는 단계; 및 상기 비교 결과에 기초하여, 상기 스토리지에 저장된 상기 데이터 파일에 포함되는 복수의 블록들 중 상기 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증하는 단계를 포함한다.
상기 적어도 하나의 블록에 대한 무결성을 검증하는 단계는 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일한 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효한 것으로 판단하는 단계를 포함할 수 있다.
상기 적어도 하나의 블록에 대한 무결성을 검증하는 단계는 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일하지 않은 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효하지 않은 것으로 판단하는 단계를 포함할 수 있다.
상기 해 및 상기 복수의 패리티 값들을 획득하는 단계는 상기 스토리지에 저장하기 이전의 상기 데이터 파일에 대응하는 상기 계수행렬을 생성하는 단계; 상기 계수행렬의 복수의 행들에 대응하는 상기 복수의 패리티 값들을 설정하는 단계; 및 상기 설정된 복수의 패리티 값들을 이용하여 상기 해를 계산하는 단계를 포함할 수 있다.
상기 계수행렬을 생성하는 단계는 상기 스토리지에 저장하기 이전의 상기 데이터 파일을 복수의 블록들로 분할하는 단계; 미리 설정된 추가 블록을 상기 분할된 복수의 블록들에 추가하는 단계; 및 상기 분할된 복수의 블록들 및 상기 미리 설정된 추가 블록을 포함하는 상기 복수의 블록들에 대응하는 상기 복수의 행들을 포함하는 상기 계수행렬을 설정하는 단계를 포함할 수 있다.
상기 계수행렬을 설정하는 단계는 상기 복수의 블록들 각각을 미리 설정된 개수의 조각들로 분할하는 단계; 상기 미리 설정된 개수의 조각들 각각의 데이터 비트들 중 미리 설정된 자리 수의 데이터 비트들을 선택하는 단계; 상기 선택된 미리 설정된 자리 수의 데이터 비트들 각각을 계수로 변환하는 단계; 및 상기 계수들을 포함하는 상기 계수행렬을 설정하는 단계를 포함할 수 있다.
상기 복수의 패리티 값들을 설정하는 단계는 상기 계수행렬의 복수의 행들이 서로 선형 독립이 되도록 상기 계수행렬의 복수의 행들에 대응하는 상기 복수의 패리티 값들을 설정하는 단계를 포함할 수 있다.
상기 해를 계산하는 단계는 상기 계수행렬의 복수의 행들 및 상기 계수행렬의 복수의 행들에 대응하는 상기 복수의 패리티 값들로부터 선형 연립 방정식을 설정하는 단계; 및 상기 선형 연립 방정식을 계산하여 상기 해를 계산하는 단계를 포함할 수 있다.
상기 선택된 적어도 하나의 행에 상기 해를 대입한 값은 상기 선택된 적어도 하나의 행으로부터 선형식을 설정하고, 상기 설정된 선형식에 상기 해를 대입한 값일 수 있다.
상기 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법은 상기 데이터 파일을 상기 스토리지에 저장하는 단계를 더 포함할 수 있다.
본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 상기 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬의 해 및 상기 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 획득하는 획득부; 상기 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택하는 선택부; 상기 복수의 패리티 값들 중 상기 선택된 적어도 하나의 행에 대응하는 패리티 값을 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값과 비교하는 비교부; 및 상기 비교 결과에 기초하여, 상기 스토리지에 저장된 상기 데이터 파일에 포함되는 복수의 블록들 중 상기 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증하는 검증부를 포함한다.
상기 검증부는 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일한 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효한 것으로 판단하고, 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일하지 않은 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효하지 않은 것으로 판단할 수 있다.
본 발명의 실시예들은 검증자가 검증하고자 하는 데이터 파일을 가지고 있지 않은 상태에서, 검증에 필요한 최소한의 정보만으로 데이터 파일을 무결성을 검증하는 방법, 장치 및 시스템을 제공할 수 있다.
또한, 본 발명의 실시예들은 선형 방정식의 연산을 이용함으로써, 단순한 연산 과정을 갖는 데이터 파일의 검증 방법, 장치 및 시스템을 제공할 수 있다.
또한, 본 발명의 실시예들은 선형 방정식의 연산을 이용하는 과정에서, 데이터 파일에 대응하는 계수행렬을 이용하는 방법, 장치 및 시스템을 제공할 수 있다.
또한, 본 발명의 실시예들은 계수행렬의 행 별로 연산을 수행함으로써, 데이터 파일의 블록 별로 무결성을 검증하는 방법, 장치 및 시스템을 제공할 수 있다.
도 1은 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템을 나타낸 도면이다.
도 2는 본 발명의 일실시예에 따른 데이터 파일에 대응하는 계수행렬을 나타낸 도면이다.
도 3은 본 발명의 일실시예에 따른 데이터 파일에 대응하는 계수행렬을 생성하는 과정을 나타낸 도면이다.
도 4는 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법을 나타낸 플로우 차트이다.
도 5는 도 4에 도시된 계수행렬의 해 및 패리티 값을 획득하는 단계(410)를 구체적으로 나타낸 플로우 차트이다.
도 6은 도 5에 도시된 계수행렬을 생성하는 단계(510)를 구체적으로 나타낸 플로우 차트이다.
도 7은 도 6에 도시된 계수행렬을 설정하는 단계(630)를 구체적으로 나타낸 플로우 차트이다.
도 8은 도 5에 도시된 해를 계산하는 단계(530)를 구체적으로 나타낸 플로우 차트이다.
도 9는 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템을 나타낸 블록도이다.
이하, 본 발명에 따른 실시예들을 첨부된 도면을 참조하여 상세하게 설명한다. 그러나 본 발명이 실시예들에 의해 제한되거나 한정되는 것은 아니다. 또한, 각 도면에 제시된 동일한 참조 부호는 동일한 부재를 나타낸다.
도 1은 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템을 나타낸 도면이다.
도 1을 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 스토리지(110), 클라이언트 장치(120) 및 검증 장치(130)를 포함한다. 이하, 본 발명의 일실시예에서는 클라이언트 장치(120) 및 검증 장치(130)를 별도로 설명하지만, 클라이언트 장치(120) 및 검증 장치(130)은 단일 장치로 구비될 수 있다. 또한, 스토리지(110)는 내장 스토리지 및 외부 스토리지 모두를 포함할 수 있다.
클라이언트 장치(120)는 데이터 파일(111)을 스토리지(110)에 저장하기(121) 이전에, 데이터 파일(111)에 대응하는 계수행렬을 생성하고, 패리티 값들을 설정함으로써, 계수행렬의 해 및 패리티 값들을 획득할 수 있다. 예를 들어, 클라이언트 장치(120)는 데이터 파일을 복수의 블록들로 분할하고, 미리 설정된 추가 블록을 분할된 복수의 블록들에 추가함으로써, 분할된 복수의 블록들 및 추가된 미리 설정된 추가 블록을 포함하는 복수의 블록들에 대응하는 복수의 행들을 포함하는 계수행렬을 설정할 수 있다. 이 때, 미리 설정된 추가 블록을 분할된 복수의 블록들에 추가하는 과정은 데이터 파일(111)이 스토리지(110)에 저장되었을 때, 스토리지(110) 내부에 저장된 데이터 파일(111)에 대응하는 계수행렬의 해를 자체적으로 계산하지 못하게 하기 위해 수행될 수 있다. 따라서, 스토리지(110)에 저장된 데이터 파일(111)이 해킹되더라도, 데이터 파일(111)에 대응하는 계수행렬의 해를 계산하지 못하기 때문에, 데이터 파일(111)의 무결성 검증에는 아무런 영향을 미칠 수 없다.
더 구체적인 예를 들면, 클라이언트 장치(120)는 데이터 파일(111)의 복수의 블록들을 미리 설정된 개수의 조각들로 분할하고, 분할된 미리 설정된 개수의 조각들 각각의 데이터 비트들 중 미리 설정된 자리 수의 데이터 비트들을 선택하여, 선택된 미리 설정된 자리 수의 데이터 비트들 각각을 계수로 변환함으로써, 계수들을 포함하는 계수행렬을 설정할 수 있다. 또한, 클라이언트 장치(120)는 계수행렬의 복수의 행들이 서로 선형 독립이 되도록 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 설정할 수 있다. 이에 대한 상세한 설명은 도 2를 참조하여 기재하기로 한다.
여기서, 클라이언트 장치(120)는 계수행렬의 복수의 행들 및 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들로부터 선형 연립 방정식을 설정함으로써, 설정된 선형 연립 방정식을 계산하여 계수행렬의 해를 계산할 수 있다. 이에 대한 상세한 설명은 도 3을 참조하여 기재하기로 한다.
상술한 바와 같이, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 데이터 파일(111)이 스토리지(110)에 저장되기(121) 이전에, 데이터 파일(111)의 검증에 필요한 최소한의 정보인 데이터 파일(111)에 대응하는 계수행렬의 해 및 패리티 값을 획득할 수 있고, 해 및 패리티 값을 획득한 경우, 데이터 파일(111)을 스토리지(110)에 저장할 수 있다(121). 이 때, 획득한 해 및 패리티 값은 검증 장치(130)로 전달될 수 있다(122).
검증 장치(130)는 스토리지(110)에 저장된 데이터 파일(111)에 대한 검증 요청을 수신하는 경우, 스토리지(110)에 저장된 데이터 파일(111)에 대응하는 계수행렬의 복수의 해들 중 적어도 하나의 행을 선택하고(131), 클라이언트 장치(120)로부터 전달받은(122) 해 및 패리티 값을 이용하여, 데이터 파일(111)에 포함되는 복수의 블록들 중 선택한 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증할 수 있다(132). 예를 들어, 검증 장치(130)는 복수의 패리티 값들 중 선택된 적어도 하나의 행에 대응하는 패리티 값을 선택된 적어도 하나의 행에 해를 대입한 값과 비교함으로써, 데이터 파일(111)에 포함되는 적어도 하나의 블록에 대한 무결성을 검증할 수 있다(132). 보다 구체적인 예를 들면, 검증 장치(130)는 선택된 적어도 하나의 행으로부터 선형식을 설정하고, 설정된 선형식에 해를 대입한 값을 선택된 적어도 하나의 행에 대응하는 패리티 값과 비교할 수 있다. 이 때, 검증 장치(130)는 설정된 선형식에 해를 대입한 값이 선택된 적어도 하나의 행에 대응하는 패리티 값과 동일한 경우, 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록이 유효한 것으로 판단할 수 있다. 반면에, 검증 장치(130)는 설정된 선형식에 해를 대입한 값이 선택된 적어도 하나의 행에 대응하는 패리티 값과 동일하지 않은 경우, 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록이 유효하지 않은 것으로 판단할 수 있다. 검증 과정에서, 해 및 패리티 값을 이용하는 과정은 도 3을 참조하여 구체적으로 기재하기로 한다.
도 2는 본 발명의 일실시예에 따른 데이터 파일에 대응하는 계수행렬 및 패리티 값을 나타낸 도면이다.
도 2를 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 데이터 파일을 스토리지에 저장하기 이전에, 데이터 파일에 대응하는 계수행렬을 생성하고, 패리티 값들을 설정함으로써, 계수행렬의 해 및 패리티 값들을 획득할 수 있다.
우선, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 데이터 파일을 복수의 블록들(211)로 분할하고, 미리 설정된 추가 블록(212)을 분할된 복수의 블록들(211)에 추가함으로써, 분할된 복수의 블록들(211) 및 미리 설정된 추가 블록(212)을 포함하는 복수의 블록들(210)에 대응하는 복수의 행들을 포함하는 계수행렬을 설정할 수 있다.
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 복수의 블록들(210)을 미리 설정된 개수의 조각들로 분할하고, 분할된 미리 설정된 개수의 조각들 각각의 데이터 비트들 중 미리 설정된 자리 수의 데이터 비트들을 선택하여, 선택된 미리 설정된 자리 수의데이터 비트들 각각을 계수로 변환함으로써, 계수를 포함하는 계수행렬을 설정할 수 있다.
예를 들어, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 데이터 파일을 n-1개의 블록들로 분할하고, 미리 설정된 추가 블록(212)을 추가함으로써, n개의 블록들에 대응하는 n개의 행들을 포함하는 계수행렬을 설정할 수 있다. 또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 n개의 블록들을 n-1개의 조각들로 분할할 수 있다. 더 구체적인 예를 들면, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 제1 블록(213)을 n-1개의 조각들로 분할하여,
Figure 112013100719411-pat00001
조각,
Figure 112013100719411-pat00002
조각 …
Figure 112013100719411-pat00003
조각을 얻을 수 있다.
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계수행렬의 복수의 블록들(210)에 대응하는 행들에 대한 복수의 패리티 값들(220)을 설정할 수 있다. 이 때, 계수행렬의 복수의 행들은 서로 선형 독립이 되도록 복수의 행들에 대응하는 복수의 패리티 값들(220)을 설정할 수 있다. 예를 들어, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 제1 블록(213)에 대응하는 제1 행에 대한 패리티 값으로 제1 패리티 값(221)을 설정할 수 있다.
이러한 방식이 적용된 이후에, 스토리지에 저장할 데이터 파일에 대응하는 계수행렬의 해를 계산하는 과정은, 도 3을 참조하여 기재하기로 한다.
도 3은 본 발명의 일실시예에 따른 데이터 파일에 대응하는 계수행렬을 생성하는 과정을 나타낸 도면이다.
도 3을 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 분할된 미리 설정된 개수의 조각들 각각의 데이터 비트들 중 미리 설정된 자리 수의 데이터 비트들을 선택하여, 조각들에 대응하는 유한체(310)를 획득할 수 있고, 유한체(310)를 계산하여 계수들(320)을 생성함으로써, 계수를 포함하는 계수행렬(330)을 설정할 수 있다.
그 후, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계수행렬(330)의 복수의 행들이 서로 선형 독립이 되도록 계수행렬(330)의 복수의 행들에 대응하는 복수의 패리티 값들을 설정할 수 있고, 생성된 계수행렬(330) 및 설정된 복수의 패리티 값들을 이용하여 해를 계산할 수 있다.
예를 들어, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계수행렬(330)의 복수의 행들에 대응하는 패리티 값들을 수학식 1과 같이 설정할 수 있다.
[수학식 1]
Figure 112013100719411-pat00004

또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 소거법을 이용하여 수학식 1로부터 수학식 2 및 수학식 3을 계산할 수 있다.
[수학식 2]
Figure 112013100719411-pat00005

[수학식 3]
Figure 112013100719411-pat00006

그 후, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계수 행렬(320)의 복수의 행들 및 복수의 행들에 대응하는 복수의 패리티 값들로부터 선형 연립 방정식인 수학식 4를 설정할 수 있다.
[수학식 4]
Figure 112013100719411-pat00007

또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 수학식 4를 계산하여 수학식 5와 같이 계수행렬(330)의 해를 계산할 수 있다.
[수학식 5]
Figure 112013100719411-pat00008

그 후, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계산된 해 및 설정된 패리티 값을 이용하여 데이터 파일에 포함되는 복수의 블록들 중 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증할 수 있다.
예를 들어, 데이터 파일의 복수의 블록들 중 2번째 블록에 대한 무결성을 검증하고자, 데이터 파일의 복수의 블록들에 대응하는 복수의 행들 중 2번째 행이 선택된다면, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 획득한, 데이터 파일에 대응하는 계수행렬(330)의 해인 (9, 6, 9) 및 2번째 행에 대응하는 패리티 값인 3을 이용하여 2번째 블록에 대한 무결성을 검증할 수 있다. 보다 구체적인 예를 들면, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 2번째 행으로부터 수학식 6과 같은 선형식을 설정하고, 선형식에 획득한 해인 (9, 6, 9)를 대입한 값과 패리티 값 3을 비교하여 2번째 블록에 대한 무결성을 검증할 수 있다.
[수학식 6]
Figure 112013100719411-pat00009

해 (9, 6, 9)를 수학식 6에 대입한 계산 결과, 3을 획득할 수 있고, 이는 패리티 값인 3과 동일하기 때문에, 스토리지에 저장된 데이터 파일의 2번째 블록은 유효한 것으로 판단될 수 있다.
도 4는 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법을 나타낸 플로우 차트이다.
도 4를 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬의 해 및 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 획득한다(410).
또한, 도면에는 도시되지 않았지만, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 데이터 파일을 스토리지에 저장할 수 있다.
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택한다(420). 여기서, 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택하는 과정은, 스토리지에 저장된 데이터 파일에 포함되는 복수의 블록들 중 적어도 하나의 블록을 선택하는 과정을 의미할 수 있다. 이 때, 선택되는 적어도 하나의 행은 선택되는 적어도 하나의 블록에 대응된다.
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 복수의 패리티 값들 중 선택된 적어도 하나의 행에 대응하는 패리티 값을 선택된 적어도 하나의 행에 해를 대입한 값과 비교한다(430). 이 대, 선택된 적어도 하나의 행에 해를 대입한 값은 선택된 적어도 하나의 행으로부터 선형식을 설정하고, 설정된 선형식에 해를 대입한 값일 수 있다.
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 비교 결과에 기초하여, 스토리지에 저장된 데이터 파일에 포함되는 복수의 블록들 중 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증한다(440). 이 때, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 선택된 적어도 하나의 행에 해를 대입한 값이 선택된 적어도 하나의 행에 대응하는 패리티 값과 동일한 경우, 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록이 유효한 것으로 판단할 수 있다. 또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 선택된 적어도 하나의 행에 해를 대입한 값이 선택된 적어도 하나의 행에 대응하는 패리티 값과 동일하지 않은 경우, 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록이 유효하지 않은 것으로 판단할 수 있다.
도 5는 도 4에 도시된 계수행렬의 해 및 패리티 값을 획득하는 단계(410)를 구체적으로 나타낸 플로우 차트이다.
도 5를 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬을 생성할 수 있다(510).
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 설정할 수 있다(520). 이 때, 복수의 패리티 값들을 설정하는 단계는 계수행렬의 복수의 행들이 서로 선형 독립이 되도록 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 설정하는 단계를 포함할 수 있다.
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 설정된 복수의 패리티 값들을 이용하여 해를 계산할 수 있다(530).
도 6은 도 5에 도시된 계수행렬을 생성하는 단계(510)를 구체적으로 나타낸 플로우 차트이다.
도 6을 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 스토리지에 저장하기 이전의 데이터 파일을 복수의 블록들로 분할할 수 있다(610).
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 미리 설정된 추가 블록을 분할된 복수의 블록들에 추가할 수 있다(620).
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 분할된 복수의 블록들 및 미리 설정된 추가 블록을 포함하는 복수의 블록들에 대응하는 복수의 행들을 포함하는 계수행렬을 설정할 수 있다(630).
도 7은 도 6에 도시된 계수행렬을 설정하는 단계(630)를 구체적으로 나타낸 플로우 차트이다.
도7을 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 복수의 블록들 각각을 미리 설정된 개수의 조각들로 분할할 수 있다(710).
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 미리 설정된 개수의 조각들 각각의 데이터 비트들 중 미리 설정된 자리 수의 데이터 비트들을 선택할 수 있다(720).
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 선택된 미리 설정된 자리 수의 데이터 비트들 각각을 계수로 변환할 수 있다(730).
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계수들을 포함하는 계수행렬을 설정할 수 있다(740).
도 8은 도 5에 도시된 해를 계산하는 단계(530)를 구체적으로 나타낸 플로우 차트이다.
도 8을 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 계수행렬의 복수의 행들 및 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들로부터 선형 연립 방정식을 설정할 수 있다(810).
또한, 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 선형 연립 방정식을 계산하여 해를 계산할 수 있다(820).
도 9는 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템을 나타낸 블록도이다.
도 9를 참조하면, 본 발명의 일실시예에 따른 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템은 획득부(910), 선택부(920), 비교부(930) 및 검증부(940)를 포함한다.
획득부(910)는 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬의 해 및 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 획득한다.
선택부(920)는 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택한다.
비교부(930)는 복수의 패리티 값들 중 선택된 적어도 하나의 행에 대응하는 패리티 값을 선택된 적어도 하나의 행에 해를 대입한 값과 비교한다.
검증부(940)는 비교 결과에 기초하여, 스토리지에 저장된 데이터 파일에 포함되는 복수의 블록들 중 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증한다.
이 때, 검증부(940)는 선택된 적어도 하나의 행에 해를 대입한 값이 선택된 적어도 하나의 행에 대응하는 패리티 값과 동일한 경우, 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록이 유효한 것으로 판단할 수 있고, 선택된 적어도 하나의 행에 해를 대입한 값이 선택된 적어도 하나의 행에 대응하는 패리티 값과 동일하지 않은 경우, 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록이 유효하지 않은 것으로 판단할 수 있다.
이상에서 설명된 장치는 하드웨어 구성요소, 소프트웨어 구성요소, 및/또는 하드웨어 구성요소 및 소프트웨어 구성요소의 조합으로 구현될 수 있다. 예를 들어, 실시예들에서 설명된 장치 및 구성요소는, 예를 들어, 프로세서, 콘트롤러, ALU(arithmetic logic unit), 디지털 신호 프로세서(digital signal processor), 마이크로컴퓨터, FPA(field programmable array), PLU(programmable logic unit), 마이크로프로세서, 또는 명령(instruction)을 실행하고 응답할 수 있는 다른 어떠한 장치와 같이, 하나 이상의 범용 컴퓨터 또는 특수 목적 컴퓨터를 이용하여 구현될 수 있다. 처리 장치는 운영 체제(OS) 및 상기 운영 체제 상에서 수행되는 하나 이상의 소프트웨어 애플리케이션을 수행할 수 있다. 또한, 처리 장치는 소프트웨어의 실행에 응답하여, 데이터를 접근, 저장, 조작, 처리 및 생성할 수도 있다. 이해의 편의를 위하여, 처리 장치는 하나가 사용되는 것으로 설명된 경우도 있지만, 해당 기술분야에서 통상의 지식을 가진 자는, 처리 장치가 복수 개의 처리 요소(processing element) 및/또는 복수 유형의 처리 요소를 포함할 수 있음을 알 수 있다. 예를 들어, 처리 장치는 복수 개의 프로세서 또는 하나의 프로세서 및 하나의 콘트롤러를 포함할 수 있다. 또한, 병렬 프로세서(parallel processor)와 같은, 다른 처리 구성(processing configuration)도 가능하다.
소프트웨어는 컴퓨터 프로그램(computer program), 코드(code), 명령(instruction), 또는 이들 중 하나 이상의 조합을 포함할 수 있으며, 원하는 대로 동작하도록 처리 장치를 구성하거나 독립적으로 또는 결합적으로(collectively) 처리 장치를 명령할 수 있다. 소프트웨어 및/또는 데이터는, 처리 장치에 의하여 해석되거나 처리 장치에 명령 또는 데이터를 제공하기 위하여, 어떤 유형의 기계, 구성요소(component), 물리적 장치, 가상 장치(virtual equipment), 컴퓨터 저장 매체 또는 장치, 또는 전송되는 신호 파(signal wave)에 영구적으로, 또는 일시적으로 구체화(embody)될 수 있다. 소프트웨어는 네트워크로 연결된 컴퓨터 시스템 상에 분산되어서, 분산된 방법으로 저장되거나 실행될 수도 있다. 소프트웨어 및 데이터는 하나 이상의 컴퓨터 판독 가능 기록 매체에 저장될 수 있다.
실시예에 따른 방법은 다양한 컴퓨터 수단을 통하여 수행될 수 있는 프로그램 명령 형태로 구현되어 컴퓨터 판독 가능 매체에 기록될 수 있다. 상기 컴퓨터 판독 가능 매체는 프로그램 명령, 데이터 파일, 데이터 구조 등을 단독으로 또는 조합하여 포함할 수 있다. 상기 매체에 기록되는 프로그램 명령은 실시예를 위하여 특별히 설계되고 구성된 것들이거나 컴퓨터 소프트웨어 당업자에게 공지되어 사용 가능한 것일 수도 있다. 컴퓨터 판독 가능 기록 매체의 예에는 하드 디스크, 플로피 디스크 및 자기 테이프와 같은 자기 매체(magnetic media), CD-ROM, DVD와 같은 광기록 매체(optical media), 플롭티컬 디스크(floptical disk)와 같은 자기-광 매체(magneto-optical media), 및 롬(ROM), 램(RAM), 플래시 메모리 등과 같은 프로그램 명령을 저장하고 수행하도록 특별히 구성된 하드웨어 장치가 포함된다. 프로그램 명령의 예에는 컴파일러에 의해 만들어지는 것과 같은 기계어 코드뿐만 아니라 인터프리터 등을 사용해서 컴퓨터에 의해서 실행될 수 있는 고급 언어 코드를 포함한다. 상기된 하드웨어 장치는 실시예의 동작을 수행하기 위해 하나 이상의 소프트웨어 모듈로서 작동하도록 구성될 수 있으며, 그 역도 마찬가지이다.
이상과 같이 실시예들이 비록 한정된 실시예와 도면에 의해 설명되었으나, 해당 기술분야에서 통상의 지식을 가진 자라면 상기의 기재로부터 다양한 수정 및 변형이 가능하다. 예를 들어, 설명된 기술들이 설명된 방법과 다른 순서로 수행되거나, 및/또는 설명된 시스템, 구조, 장치, 회로 등의 구성요소들이 설명된 방법과 다른 형태로 결합 또는 조합되거나, 다른 구성요소 또는 균등물에 의하여 대치되거나 치환되더라도 적절한 결과가 달성될 수 있다.
그러므로, 다른 구현들, 다른 실시예들 및 특허청구범위와 균등한 것들도 후술하는 특허청구범위의 범위에 속한다.

Claims (13)

  1. 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법에 있어서,
    상기 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬의 해 및 상기 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 획득하는 단계;
    상기 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택하는 단계;
    상기 복수의 패리티 값들 중 상기 선택된 적어도 하나의 행에 대응하는 패리티 값을 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값과 비교하는 단계; 및
    상기 비교 결과에 기초하여, 상기 스토리지에 저장된 상기 데이터 파일에 포함되는 복수의 블록들 중 상기 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  2. 제1항에 있어서,
    상기 적어도 하나의 블록에 대한 무결성을 검증하는 단계는
    상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일한 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효한 것으로 판단하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  3. 제1항에 있어서,
    상기 적어도 하나의 블록에 대한 무결성을 검증하는 단계는
    상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일하지 않은 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효하지 않은 것으로 판단하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  4. 제1항에 있어서,
    상기 해 및 상기 복수의 패리티 값들을 획득하는 단계는
    상기 스토리지에 저장하기 이전의 상기 데이터 파일에 대응하는 상기 계수행렬을 생성하는 단계;
    상기 계수행렬의 복수의 행들에 대응하는 상기 복수의 패리티 값들을 설정하는 단계; 및
    상기 설정된 복수의 패리티 값들을 이용하여 상기 해를 계산하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  5. 제4항에 있어서,
    상기 계수행렬을 생성하는 단계는
    상기 스토리지에 저장하기 이전의 상기 데이터 파일을 복수의 블록들로 분할하는 단계;
    미리 설정된 추가 블록을 상기 분할된 복수의 블록들에 추가하는 단계; 및
    상기 분할된 복수의 블록들 및 상기 미리 설정된 추가 블록을 포함하는 상기 복수의 블록들에 대응하는 상기 복수의 행들을 포함하는 상기 계수행렬을 설정하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  6. 제5항에 있어서,
    상기 계수행렬을 설정하는 단계는
    상기 분할된 복수의 블록들 각각을 미리 설정된 개수의 조각들로 분할하는 단계;
    상기 미리 설정된 개수의 조각들 각각의 데이터 비트들 중 미리 설정된 자리 수의 데이터 비트들을 선택하는 단계;
    상기 선택된 미리 설정된 자리 수의 데이터 비트들 각각을 계수로 변환하는 단계; 및
    상기 계수들을 포함하는 상기 계수행렬을 설정하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  7. 제4항에 있어서,
    상기 복수의 패리티 값들을 설정하는 단계는
    상기 계수행렬의 복수의 행들이 서로 선형 독립이 되도록 상기 계수행렬의 복수의 행들에 대응하는 상기 복수의 패리티 값들을 설정하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  8. 제4항에 있어서,
    상기 해를 계산하는 단계는
    상기 계수행렬의 복수의 행들 및 상기 계수행렬의 복수의 행들에 대응하는 상기 복수의 패리티 값들로부터 선형 연립 방정식을 설정하는 단계; 및
    상기 선형 연립 방정식을 계산하여 상기 해를 계산하는 단계
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  9. 제1항에 있어서,
    상기 선택된 적어도 하나의 행에 상기 해를 대입한 값은
    상기 선택된 적어도 하나의 행으로부터 선형식을 설정하고, 상기 설정된 선형식에 상기 해를 대입한 값인 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  10. 제1항에 있어서,
    상기 데이터 파일을 상기 스토리지에 저장하는 단계
    를 더 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 방법.
  11. 제1항 내지 제10항 중 어느 한 항의 방법을 수행하기 위한 프로그램이 기록된 컴퓨터로 판독 가능한 기록 매체.
  12. 스토리지에 저장된 데이터 파일의 무결성을 검증하는 시스템에 있어서,
    상기 스토리지에 저장하기 이전의 데이터 파일에 대응하는 계수행렬의 해 및 상기 계수행렬의 복수의 행들에 대응하는 복수의 패리티 값들을 획득하는 획득부;
    상기 스토리지에 저장된 데이터 파일에 대응하는 계수행렬의 복수의 행들 중 적어도 하나의 행을 선택하는 선택부;
    상기 복수의 패리티 값들 중 상기 선택된 적어도 하나의 행에 대응하는 패리티 값을 상기 선택된 적어도 하나의 행에 상기 해를 대입한 값과 비교하는 비교부; 및
    상기 비교 결과에 기초하여, 상기 스토리지에 저장된 상기 데이터 파일에 포함되는 복수의 블록들 중 상기 선택된 적어도 하나의 행에 대응하는 적어도 하나의 블록에 대한 무결성을 검증하는 검증부
    를 포함하는 스토리지에 저장된 데이터의 무결성을 검증하는 시스템.
  13. 제12항에 있어서,
    상기 검증부는
    상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일한 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효한 것으로 판단하고,
    상기 선택된 적어도 하나의 행에 상기 해를 대입한 값이 상기 선택된 적어도 하나의 행에 대응하는 상기 패리티 값과 동일하지 않은 경우, 상기 선택된 적어도 하나의 행에 대응하는 상기 적어도 하나의 블록이 유효하지 않은 것으로 판단하는 스토리지에 저장된 데이터의 무결성을 검증하는 시스템.
KR20130133482A 2013-11-05 2013-11-05 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템 KR101489599B1 (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR20130133482A KR101489599B1 (ko) 2013-11-05 2013-11-05 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR20130133482A KR101489599B1 (ko) 2013-11-05 2013-11-05 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템

Publications (1)

Publication Number Publication Date
KR101489599B1 true KR101489599B1 (ko) 2015-02-04

Family

ID=52590233

Family Applications (1)

Application Number Title Priority Date Filing Date
KR20130133482A KR101489599B1 (ko) 2013-11-05 2013-11-05 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템

Country Status (1)

Country Link
KR (1) KR101489599B1 (ko)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20090061563A (ko) * 2007-12-11 2009-06-16 엘지전자 주식회사 오류제어방법
JP2010528512A (ja) 2007-05-23 2010-08-19 フランス・テレコム 検証エンティティによるエンティティの認証方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010528512A (ja) 2007-05-23 2010-08-19 フランス・テレコム 検証エンティティによるエンティティの認証方法
KR20090061563A (ko) * 2007-12-11 2009-06-16 엘지전자 주식회사 오류제어방법

Similar Documents

Publication Publication Date Title
CN110574020B (zh) 区块链中的快照管理的方法、系统和计算机可读存储介质
JP6804668B2 (ja) ブロックデータ検証方法および装置
CN108292341B (zh) 用于核查目标装置中的应用的执行完整性的方法
US10853472B2 (en) System, apparatus and method for independently recovering a credential
US9891988B2 (en) Device and method for storing data in a plurality of multi-level cell memory chips
KR101644712B1 (ko) 블록 단위 연접 비씨에이치 부호의 성능을 향상시키는 오류 정정 방법 및 복호 방법
JP2015022521A (ja) セキュアブート方法、組み込み機器、セキュアブート装置およびセキュアブートプログラム
JP6568012B2 (ja) メモリ管理システム、方法、およびコンピュータ・プログラム
CN113342671B (zh) 对运算模块进行验证的方法、装置、电子设备和介质
CN109033818B (zh) 终端、验证方法和计算机可读存储介质
KR101489599B1 (ko) 스토리지에 저장된 데이터 파일의 무결성을 검증하는 방법 및 시스템
JP6825111B2 (ja) シェア生成装置、復元装置、秘密計算システム、シェア生成方法、復元方法、プログラム、および記録媒体
US9299456B2 (en) Matrix and compression-based error detection
EP3757976A1 (en) Secret calculation device, secret calculation authentication system, secret calculation method, and program
KR101731921B1 (ko) 하드웨어 타입 소수 판별 장치 및 그 방법
KR102213819B1 (ko) 동형암호 기법으로 암호화된 데이터의 로그 연산 서버 및 방법
CN110908599B (zh) 数据的写入方法与写入系统
CN111247509B (zh) 用于对网络编码的分布式存储进行重复数据删除的系统及相关技术
JP6912104B2 (ja) 試験装置、試験方法及びコンピュータプログラム
CN110161895B (zh) 监控数字控制单元的功能安全的装置和方法以及控制器
US20170003970A1 (en) Pattern based branch prediction
US9798491B2 (en) Semiconductor system and operating method thereof
KR101604529B1 (ko) 양전자 방출 단층 촬영 기기에 포함되는 검출기 모듈의 위치를 추정하는 방법 및 시스템
KR101679477B1 (ko) 메모리 구동 주변 회로 검증시간을 단축하기 위한 임베디드 ddr 메모리를 이용한 검증 방법 및 시스템
US20230269104A1 (en) Method of managing data history and device performing the same

Legal Events

Date Code Title Description
E701 Decision to grant or registration of patent right
GRNT Written decision to grant
FPAY Annual fee payment

Payment date: 20180108

Year of fee payment: 4

FPAY Annual fee payment

Payment date: 20190114

Year of fee payment: 5

FPAY Annual fee payment

Payment date: 20200113

Year of fee payment: 6