1 |
1
검증 기준 시점에 검증대상 메모리의 각 부분 메모리 블록에 대해 해시 함수(Hash function)를 적용하여 산출된 해시값을 각 종단 노드의 값으로 갖는 기준 머클 트리(Merkle tree)를 구성하는 과정;상기 기준 머클 트리의 루트 해시값을 온칩(On-chip) 메모리에 저장하는 과정;검증 수행 시점에 상기 각 부분 메모리 블록에 대해 상기 해시 함수를 적용하여 산출된 해시값(Hash value)을 각 종단 노드의 값으로 갖는 검증 머클 트리를 구성하는 과정; 및상기 검증 머클 트리의 루트 해시값을 상기 온칩 메모리에 저장된 기준 머클 트리의 루트 해시값과 비교하여 메모리의 무결성을 검증하는 과정을 포함하고,상기 기준 머클 트리 및 상기 검증 머클 트리의 내부 노드의 값은 상기 내부 노드의 자식 노드들의 해시값의 합에 의해 결정되고,상기 검증 기준 시점은, 상기 검증대상 메모리의 전체 데이터가 신뢰 가능한 시점이고,상기 검증 수행 시점은, 프로세서에 의한 데이터의 로드(load)가 일어나는 시점, 프로세스의 연산을 통한 결과가 도출되어 이 결과를 저장하는 시점 중 어느 하나인 것을 특징으로 하는 메모리 무결성 검증 방법
|
2 |
2
삭제
|
3 |
3
검증 기준 시점에 검증대상 메모리의 각 부분 메모리 블록에 대해 해시 함수(Hash function)를 적용하여 산출된 해시값을 각 종단 노드의 값으로 갖는 기준 머클 트리(Merkle tree)를 구성하는 과정;상기 기준 머클 트리의 루트 해시값을 온칩(On-chip) 메모리에 저장하는 과정;검증 수행 시점에 상기 각 부분 메모리 블록에 대해 상기 해시 함수를 적용하여 산출된 해시값(Hash value)을 각 종단 노드의 값으로 갖는 검증 머클 트리를 구성하는 과정; 및상기 검증 머클 트리의 루트 해시값을 상기 온칩 메모리에 저장된 기준 머클 트리의 루트 해시값과 비교하여 메모리의 무결성을 검증하는 과정을 포함하고,상기 기준 머클 트리 및 상기 검증 머클 트리의 내부 노드의 값은 상기 내부 노드의 자식 노드들의 해시값의 합에 의해 결정되고,상기 해시 함수는, 복수의 원소의 순서에 관계없이, 복수의 원소를 합산한 결과를 해시한 결과와 각 원소를 해시한 결과를 합산한 결과가 동일한 해시값을 나타내는 특성을 갖는 것을 특징으로 하는 메모리 무결성 검증 방법
|
4 |
4
제3항에 있어서,상기 검증대상 메모리에서 상기 온칩으로 데이터 로드가 일어나는 부분 메모리 블록이 복수 개인 경우, 데이터 로드가 일어날 때마다 해당 부분 메모리 블록을 오프칩(Off-chip) 메모리에 할당된 큐(Queue)에 순차로 저장하고, 상기 큐에 대해 상기 해시 함수를 적용하여 산출된 제1 해시값을 온칩 메모리에 저장하는 과정; 및상기 검증 수행 시점에 상기 큐에 대해 상기 해시 함수를 적용한 제2 해시값을 산출하고, 상기 온칩 메모리에 저장한 제1 해시값과 상기 제2 해시값을 비교하여 상기 큐에 대한 무결성을 검증하는 과정을 더 포함하는 것을 특징으로 하는 메모리 무결성 검증 방법
|
5 |
5
제3항에 있어서,상기 해시 함수는,입력 데이터 값이 변화하는 경우, 해시값 갱신을 위한 연산값이 입력 데이터 값의 증가에 비례하여 증가하는 특성 및 해시값 갱신을 위한 연산값이 입력 데이터 값의 감소에 비례하여 감소하는 특성을 추가로 더 갖는 것을 특징으로 하는 메모리 무결성 검증 방법
|
6 |
6
제5항에 있어서,상기 온칩에 로드되어 있는 데이터를 수정한 경우, 상기 수정된 데이터를 대응하는 부분 메모리 블록으로 인출하는 과정; 상기 인출된 데이터의 무결성을 검증하는 과정; 및상기 인출된 데이터에 대하여 상기 해시 함수를 적용한 해시값 및 수정 전 데이터에 대하여 상기 해시 함수를 적용한 해시값을 산출하여 상기 기준 머클 트리의 루트 해시값을 갱신하는 과정를 더 포함하는 것을 특징으로 하는 메모리 무결성 검증 방법
|
7 |
7
제6항에 있어서,상기 기준 머클 트리의 루트 해시값을 갱신하는 과정은,상기 온칩 메모리에 저장된 기존의 기준 머클 트리의 루트 해시값에 상기 인출된 데이터의 해시값을 합하고, 상기 수정 전 데이터의 해시값을 빼준 값으로 기존 머클 트리의 루트 해시값을 갱신하는 것을 특징으로 하는 메모리 무결성 검증 방법
|
8 |
8
검증 기준 시점에 검증대상 메모리의 각 부분 메모리 블록에 대해 해시 함수를 적용하여 산출된 해시값을 각 종단 노드의 값으로 갖는 기준 머클 트리를 구성하는 기준 머클 트리 구성부;상기 기준 머클 트리의 루트 해시값을 온칩(On-chip) 메모리에 저장하는 기준 루트 해시값 저장부;검증 수행 시점에 상기 각 부분 메모리 블록에 대해 상기 해시 함수를 적용하여 산출한 해시값을 각 종단 노드의 값으로 하는 검증 머클 트리를 갖는 검증 머클 트리 구성부;상기 검증 머클 트리의 루트 해시값을 상기 온칩 메모리에 저장된 기준 머클 트리의 루트 해시값과 비교하여 메모리의 무결성을 검증하는 메모리 무결성 검증부; 및상기 검증대상 메모리에서 상기 온칩으로 데이터 로드가 일어나는 부분 메모리 블록이 복수 개인 경우, 데이터 로드가 일어날 때마다 해당 부분 메모리 블록을 오프칩 메모리에 할당된 큐에 순차로 저장하고, 상기 큐에 대해 상기 해시 함수를 적용하여 산출된 제1 해시값을 온칩 메모리에 저장하고, 상기 검증 수행 시점에 상기 큐에 대해 상기 해시 함수를 적용한 제2 해시값을 산출하고, 상기 온칩 메모리에 저장한 제1 해시값과 상기 제2 해시값을 비교하여 상기 큐에 대한 무결성을 검증하는 데이터 로드 정보 처리부를 포함하고,상기 기준 머클 트리 및 상기 검증 머클 트리의 내부 노드의 값은 상기 내부 노드의 자식 노드들의 해시값의 합에 의해 결정되는 것을 특징으로 하는 메모리 무결성 검증 장치
|
9 |
9
삭제
|
10 |
10
제 8항에 있어서, 상기 온칩에 로드되어 있는 데이터를 수정한 경우, 상기 수정된 데이터를 대응하는 부분 메모리 블록으로 인출하는 과정; 상기 인출된 데이터의 무결성을 검증하는 과정; 및상기 인출된 데이터에 대하여 해시값을 산출하여 상기 기준 머클 트리의 루트 해시값을 갱신하는 과정을 수행하는 데이터 수정 정보 처리부를 더 포함하는 것을 특징으로 하는 메모리 무결성 검증 장치
|
11 |
11
하드웨어와 결합되어,검증 기준 시점에 검증대상 메모리의 각 부분 메모리 블록에 대해 해시 함수를 적용하여 산출된 해시값을 각 종단 노드의 값으로 갖는 기준 머클 트리를 구성하는 과정;상기 기준 머클 트리의 루트 해시값을 온칩 메모리에 저장하는 과정;검증 수행 시점에 상기 각 부분 메모리 블록에 대해 상기 해시 함수를 적용하여 산출된 해시값을 각 종단 노드의 값으로 갖는 검증 머클 트리를 구성하는 과정; 및상기 검증 머클 트리의 루트 해시값을 상기 온칩 메모리에 저장된 기준 머클 트리의 루트 해시값과 비교하여 메모리의 무결성을 검증하는 과정을 실행시키기 위하여 컴퓨터 판독가능한 기록매체에 저장되고,상기 기준 머클 트리 및 상기 검증 머클 트리의 내부 노드의 값은 상기 내부 노드의 자식 노드들의 해시값의 합에 의해 결정되고,상기 검증 기준 시점은, 상기 검증대상 메모리의 전체 데이터가 신뢰 가능한 시점이고,상기 검증 수행 시점은, 프로세서에 의한 데이터의 로드(load)가 일어나는 시점, 프로세스의 연산을 통한 결과가 도출되어 이 결과를 저장하는 시점 중 어느 하나인 것을 특징으로 하는 컴퓨터프로그램
|