1 |
1
메모리의 커널 공간을 비특권 레벨의 보호 영역과 일반 커널 데이터를 저장하는 일반 영역으로 구분하여 설정하는 단계; 상기 커널 공간의 전체의 주소 맵핑을 저장하는 제1 커널 페이지 테이블과 상기 보호 영역을 제외한 영역의 주소 맵핑을 저장하는 제2 커널 페이지 테이블을 생성하는 단계; 및접근제어기능을 이용하여 특권 레벨에서 수행되는 일반 명령어가 상기 보호 영역에 접근하는 것을 제한하고, 비특권 레벨에서 수행되는 기 설정된 특수 명령어가 상기 보호 영역에 접근하는 것을 허락하는 단계;를 포함하고,사용자 프로세스가 수행되는 경우에 상기 제2 커널 페이지 테이블을 활성화시키고, 커널 프로세스가 수행될 때 상기 제1 커널 페이지 테이블을 활성화시키는 것을 특징으로 하는 명령어 레벨 데이터 격리 방법
|
2 |
2
제 1항에 있어서,상기 접근제어기능은 ARM 아키텍쳐의 PAN 비트로 구현되고,상기 허락하는 단계는, 상기 PAN 비트가 1이면 상기 특수 명령어만이 상기 보호 영역에 접근하는 것을 허락하는 단계를 특징으로 하는 명령어 레벨 데이터 격리 방법
|
3 |
3
제 1항에 있어서,상기 특수 명령어는 비특권 레벨에서 상기 보호 영역에 대한 읽기 또는 쓰기 동작을 수행하는 명령어인 것을 특징으로 하는 명령어 레벨 데이터 격리 방법
|
4 |
4
제 1항에 있어서,커널의 페이지 테이블 변경 요청이 있으면, 보호 영역의 물리적 주소가 다른 접근 권한을 가진 다른 가상 주소와 맵핑될 때 발생하는 이중-맵핑 문제를 검증하는 단계;를 더 포함하는 것을 특징으로 하는 명령어 레벨 데이터 격리 방법
|
5 |
5
제 1항에 있어서,커널과 사용자 프로세스 중 어느 것이 동작하고 있는지에 따라 커널 페이지 테이블의 베이스 주소를 가리키는 레지스터의 값을 상기 제1 커널 페이지 테이블의 베이스 주소 또는 상기 제2 커널 페이지 테이블의 베이스 주소로 변경하는 단계;를 더 포함하는 것을 특징으로 하는 명령어 레벨 데이터 격리 방법
|
6 |
6
제 1항에 있어서,TLB(Translation Lookaside Buffer)의 각 엔트리를 식별하는 서로 다른 제1 주소공간식별자(제1 ASID)와 제2 주소공간식별자(제2 ASID)를 커널과 사용자 프로세스에 각각 할당하는 단계를 더 포함하는 것을 특징으로 하는 명령어 레벨 데이터 격리 방법
|
7 |
7
페이지 테이블 및 레지스터에 대한 전권을 가지고, 커널보다 더 높은 특권을 가지는 시스템제어모듈; 및메모리의 커널 공간에 생성된, 일반 커널 데이터를 저장하는 일반 영역과 비특권 레벨의 보호 영역;상기 커널 공간의 전체의 주소 맵핑을 저장하는 제1 커널 페이지 테이블;상기 보호 영역을 제외한 영역의 주소 맵핑을 저장하는 제2 커널 페이지 테이블;을 포함하고,상기 시스템제어모듈은 특권 레벨에서 수행되는 명령어가 상기 보호 영역에 접근하는 것을 제한하고, 비특권 레벨에서 수행되는 기 설정된 특수 명령어가 상기 보호 영역에 접근할 수 있도록 접근제어기능을 설정하고,상기 시스템제어모듈은 사용자 프로세스가 수행되는 경우에 상기 제2 커널 페이지 테이블을 활성화시키고, 커널 프로세스가 수행될 때 상기 제1 커널 페이지 테이블을 활성화시키는 것을 특징으로 하는 명령어 레벨 데이터 격리 장치
|
8 |
8
제 7항에 있어서,상기 페이지 테이블은 읽기전용으로 상기 커널 공간에 구현되는 것을 특징으로 하는 명령어 레벨 데이터 격리 장치
|
9 |
9
제 7항에 있어서,상기 접근제어기능은 ARM 아키텍쳐의 PAN 비트로 구현되고,상기 시스템제어모듈은, 상기 PAN 비트의 설정을 통해 보호 영역에 대한 접근 제어를 수행하는 것을 특징으로 하는 명령어 레벨 데이터 격리 장치
|
10 |
10
제 7항에 있어서,상기 시스템제어모듈은, 보호 영역의 물리적 주소가 다른 접근 권한을 가진 다른 가상 주소와 맵핑될 때 발생하는 이중-맵핑 문제를 검증하는 것을 특징으로 하는 명령어 레벨 데이터 격리 장치
|
11 |
11
제 7항에 있어서,상기 시스템제어모듈은 커널과 사용자 프로세스 중 어느 것이 동작하고 있는지에 따라 페이지 테이블의 베이스 주소를 가리키는 레지스터의 값을 상기 제1 커널 페이지 테이블의 베이스 주소 또는 상기 제2 커널 페이지 테이블의 베이스 주소로 변경하는 것을 특징으로 하는 명령어 레벨 데이터 격리 장치
|
12 |
12
제 7항에 있어서,상기 시스템제어모듈은 TLB의 각 엔트리를 식별하는 서로 다른 제1 주소공간식별자(제1 ASID)와 제2 주소공간식별자(제2 ASID)를 커널과 사용자 프로세스에 각각 할당하고, 커널과 사용자 프로세스 중 어느 것이 동작하는지에 따라 제1 ASID 또는 제2 ASID로 스위칭하는 것을 특징으로 하는 명령어 레벨 데이터 격리 장치
|
13 |
13
제 1항 내지 제 6항 중 어느 한 항에 기재된 방법을 수행하기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체
|