selnip님의 노트

Law image file mount

Tue, 08 May 2012 10:55:53 +0900

http://equivocation.org/node/107

KVM으로 글을 썻지만 리눅스 계열이면 다 적용 가능할 듯

Trusted Computing Outline

Fri, 23 Dec 2011 17:42:07 +0900

Trusted Computing and System-level approach for security

Trusted computing Trusted_Computing.pdf, How_Trustworthy_Is_Trusted_Computing_.pdf
신뢰성 컴퓨팅의 필요성
Root of Trust
1. System 전체의 신뢰성을 위한 근원적인 무언가가 필요하다.
Trusted Platform Module Improving_the_TCPA_Specification.pdf The_Role_of_TPM_in_Enterprise_Security.pdf Trusted_Platform_Module_White_Paper.pdf
1. Architecture
2. PCR - Extend
3. Public key Infrastructure
4. Encryption
Static root of trust
1. Trust Chain
2. Loading Time에 integrity 보장
3. Example : IMA Design_and_Implementation_of_a_TCG-based_Integrity_Measurement_Architecture(1).pdf
4. Static root of trust의 단점
  1. Buffer overflow 등의 공격
Dynamic root of trust Dynamic_Root_of_Trust_in_Trusted_Computing.pdf _An_Execution_Infrastructure_for_TCB_Minimization.pdf Intel_Trusted_Execution_Technology.pdf _Improving_the_security_of_Trusted_Computing.pdf
1. Late launch 기법
2. Intel TXT and AMD SVM
3. Example : Fliker, TrustVisor
4. Dynamic root of trust의 단점
  1. 병렬성을 지원하지 못한다.
Control Flow Integrity Control-Flow_Integrity.pdf Control-Flow_Integrity_Principles,_Implementations,_and_Applications.pdf
1. Control Flow Integrity?
  1. Buffer overflow
2. Code and Data pointer encoding
3. Example : 힙공격으로부터 방버를 위한 데이터 포인터 인코딩 Securing_heap_memory_by_data_pointer_encoding.pdf 스택_공격_탐지와_방어를_위한_반환_주소_이중_인코딩.pdf 안드로이드_플랫폼의_코드_포인터_취약성.pdf 힙_공격으로부터_방어를_위한_데이터_포인터_인코딩.pdf

System-level Approach for security
1. TC Project 소개
2. Single physical System -> Cloud System Security 보장하는 Trusted Computing Platform
3. Other Software Approach
  1. 가상화를 이용한 OS를 보호 : SecVisor _A_Tiny_Hypervisor_to_Provide_Lifetime_Kernel_Code_Integrity_for_Commodity_OSes.pdf
  2. 가상화를 이용한 Application 보호 : Overshadow, Proxos _A_Virtualization-Based_Approach_to_Retrofitting_Protection_in_Commodity_Operating_Systems.pdf _Making_Trust_Between_Applications_and_Operating_Systems_Configurable.pdf
  3. 가상화를 이용한 맬웨어 탐지 : VMWatcher Stealthy_Malware_Detection_Through_VMM-Based_“Out-of-the-Box”_Semantic_View_Reconstruction.pdf
  4. 하이퍼바이저 보호 및 Integrity 확인 : HIMA, HyperSafe, HyperSentry _A_Hypervisor-Based_Integrity_Measurement_Agent.pdf _A_Lightweight_Approach_to_Provide_Lifetime_Hypervisor_Control-Flow_Integrity.pdf _Enabling_Stealthy_In-context_Measurement_of_Hypervisor_Integrity.pdf
4. Other Hardware Approach
  1. Physical Attack을 고려한 어플리케이션의 데이터와 코드 보호 : AEGIS, XOM _Architecture_for_Tamper-Evident_and_Tamper-Resistant_Processing.pdf Architectural_Support_for_Copy_and_Tamper_Resistant_Software.pdf
  2. Trustzone Building_a_Secure_System_using_TrustZone_Technology.pdf _Integrated_Hardware_and_Software_Security.pdf Trusted_Computing_Building_Blocks_for_Embedded_Linux-based_ARM_TrustZone_Platforms.pdf
  3. 하이퍼바이저로부터 가상 머신 보호 : H-SVM (Secure MMU) Architectural_Support_for_Secure_Virtualization_under_a_Vulnerable_Hypervisor.pdf

libxc, libxl, xl, xm, xl, xapi, xe, xend

Thu, 13 Oct 2011 16:35:33 +0900

libxc : 가장 로우 레벨의 Library로서 도메인을 생성하거나, 디바이스를 생성하거나 하이퍼콜을 날리거나 하는 일들을 제공해준다.

libxl : libxc를 기반으로 만들어진 라이브러리로서, 좀 더 높은 수준의 interface를 제공해준다. libxc보다는 훨씬 간결하게 도메인을 생성하거나 삭제 할 수 있다.

xend : 일종의 toolstack으로서 python binding을 통해서 libxc에 접근하여 도메인을 생성하거나 삭제할 수 있다.

xm : command line interface로서 RPC call을 통해서 xend에게 도메인 생성 요청 등을 날린다.

xl : libxl을 통해 만들어진 lightweight toolstack으로서 RPC call이 아닌 직접 접근하여 수행하므로 빠르다.

xapi : XCP toolstack으로서 ocalm binding을 통해서 libxc에 접근하게 되고, XenAPI RPC call을 제공해준다. 추후에 ocalm binding을 libxl로 대체할 예정

xe : XenAPI를 사용하기 위한 command line 인터페이스

대략 전체적인 구조를 살펴보면

현재 사용되는 전체 hierarchy는 4.01 이하 기준들?

xm -> xend -> libxc -> xen hypervisor 로 필요한 명령들이 처리된다고 볼 수 있겠다.

근데 앞으로 xl을 주로 사용하도록 바꿀 것이므로

xl -> libxl -> libxc -> xen hypervisor 로 처리될 것이다.

그리고 XCP를 사용하게 되는 경우에는 현재

xe -> xapi -> libxc -> xen hypervisor 이나

추후에는

xe -> xapi -> libxl -> libxc -> xen hypervisor 로 변경될 거 같다. (확실하지는 않다.)

How to get board name and brand in ubuntu

Tue, 11 Oct 2011 16:34:29 +0900

sudo dmidecode

명령어를 통하여 board name과 brand를 알 수 있다.

Subfigure capture 사이 공백 추가

Wed, 31 Aug 2011 14:24:53 +0900

subfigure를 쓰다보면, 캡션과 그림과의 차이가 없어서 그래프 같은 경우에는 영 보기 싫어진다. 이를 해결하기 위해서

vspace를 써봤자 적용되지는 않고

\addtolength{\subfigcapskip}{0.1in}

와 같은 방식으로 해결해야 한다.

이 방법은 subfigure에 적용된 값을 재정의해주는 것으로서 모든 subfigure에 적용된다.

Tips for Latex

Wed, 31 Aug 2011 14:20:41 +0900

Linux Kernel Page Table

Thu, 18 Aug 2011 00:44:50 +0900

Paging이 켜진 상황에서는 프로세스 뿐만 아니라 커널 또한 Paging을 사용해야 한다. 이때 Paging을 사용하기 위해서는 Kernel용 Page Table을 생성 관리해야 하는데 여기에 대해서 자세히 살펴보도록 하자.

Understanding the linux Kernel 참조

커널은 당연히 자기 자신을 위한 페이지 테이블들을 가지고 있는데 프로세스들이 가지고 있는 Page Directory와 같은 Master Kernel Page Global Directory를 가진다. 하지만 직접 사용하지는 않고, 모든 프로세스들에 할당되어 있는 Page Global Directory의 엔트리들이 참조하는데 사용한다. (아마 모든 프로세스의 Virtual 영역에 커널이 자리잡고 있어서 그러는 듯) Kernel이 자기의 Page Table을 생성하는 과정을 큰 관점에서 2개로 나눌 수 있다.

첫번째는 real mode 상황에서 커널은 자기 자신이 사용할 Address space (임시 페이지 테이블을 만드는 과정)를 만드는데 이 Address space 안에는 커널의 코드와 데이터, Initial Page Table, 그리고 128KB 크기의 dynamic data structure를 포함한다. 두번째 과정에서는 커널은 현재 시스템의 모든 메모리를 이용하기 위해서 page table을 설정한다. 결국 이는 초기에 간단하게 설정하기 위한 기본 Page Table을 만들고, 이 페이지 테이블을 이용하여 더 큰 영역을 가리키는 페이지 테이블을 만든다고 볼 수 있겠다. 이렇게 하는 이유는 초기 real mode에서는 Addressing 영역이 제한되어 있고 이 제한된 영역 내에서 가질 수 있는 페이지 테이블의 크기 또한 제한되므로 적은 영역만을 페이징할 수 밖에 없다. 적은 영역을 일단 페이징 해놓고, 더 큰 영역으로 페이징할 수 있도록 페이지 테이블을 만들어가는 것이 Kernel Page Table을 셋업하는 과정이라고 볼 수 있겠다.

Provisional Kernel Page Table (임시 커널 페이지 테이블)

Provisional Page Global Directory는 컴파일 할때, 초기화되고 Provisonal Page Table은 startup_32() 함수 내에서 초기화 된다. (arch/i386/kernel/head.S) Page Upper Directory나 Page Middle Directory의 경우 Page Global Directory와 동일하기 때문에 따로 설정할 필요는 없다. 그리고 PAE는 당연히 현재 단계에서는 꺼져 있는 상태이다. Provisonal Page Global Directory는 swapper_pg_dir 변수를 통해서 얻을 수 있으며 Provisonal Kernel Page Table은 pg0가 가리키는 시점부터 생성된다. (이 부분은 Uninitialized data segments 바로 다음임) 8MB의 메모리에 위에서 언급한 (커널 코드 데이터, kernel Page table, uninitialized data segement) 데이터들을 저장할 수 있다고 하면, 8MB 영역을 나타내기 위해서는 2개의 페이지 테이블이 필요하다. (하나의 페이지테이블에는 1024개의 entry가 존재하고 하나의 entry는 4KB를 나타내므로 하나의 페이지테이블은 4MB 영역을 나타낼 수 있다.) 8MB의 메모리 영역에 대해서 Page table을 세팅하는 이유는 real mode와 Protected mode 두 군데다 모두 접근 가능하기 때문이다. 커널은 linear address의 0x00000000 ~ 0x007fffff와 0xc0000000 ~ 0xc07fffff를 physical memory 0x00000000 ~ 0x007ffff에 맵핑하도록 설정한다. 이렇게 해두면 커널은 linear address들을 통해서 (방금 설정한 2개의 linear address) physical memory에 접근할 수 있다. 즉 pg0, pg1에 다가 page table을 생성하고, 이 페이지 테이블을 임시적으로 이용하는 것이다.

커널은 swapper_pg_dir (Provisional Page Global Directory를 나타냄)의 entry를 대부분 0으로 채우는데 0,1 0x300, 0x301 엔트리는 따로 채운다. 0x300과 0x301은 linear address 0xc0000000 ~ 0xc07fffff 까지를 나타내는데 쓰인다. 0과 0x300의 엔트리에는 pg0의 physical address가 쓰여지고, 1과 0x301에는 pg0의 다음 page frame의 address가 쓰여진다. 4개의 entry에는 Present, Read/Write, User/Supervisor flag가 세팅되고, Access, Dirty, PCD, PWD, Page Size flag는 clear된다. 그리고 나서 startup_32 함수 내에서 paging unit을 켜게 되고 (CR0의 PG flag를 1로 세팅하면 paging이 켜짐), CR3의 Register에 swapper_pg_dir의 physical address를 세팅한다. 결국 이런 식으로 Page Table을 만들고 Paging을 켜게 됨으로써 Linux kernel에서 페이징 이용이 가능해진다. 페이지 테이블을 2개만 만들고 entry는 4개를 만들어준 까닭은 동일한 Physical memory를 가리키게 때문이다. 따라서 pg0와 0x300은 동일한 Page table을 참조할 것이고, pg1과 0x301 또한 같은 Page table을 참조할 것이다.

Final Kernel Page Table When RAM size is less than 896MB

final kernel page table에서는 linear address (0xc000000)가 physical address 0으로 변환되어야 한다. __pa macro는 PAGE_OFFSET (0xc0000000)에서부터 시작하는 linear_address를 physical address로 변환해주는 역할을 담당하며, __va는 그 반대 역할을 하게 된다. swapper_pg_dir에는 여전히 master kernel Page Global Directory가 저장되어 있는데 (Provisional Kernel Page table을 가리키는 역할을 담당했던 그 Directory 아마 그대로 쓰게 될 듯 다만 entry는 수정하여 새로 생성한 Page table을 가리키도록 해야할 듯), paging_init()함수를 통해서 initialization이 가능해진다. paging_init()함수가 하는 역할은 1. pagetable_init()함수를 호출하여 Page Table Entry 세팅, 2. CR3 레지스터에 swapper_pg_dir의 Physical address 기록, 3. PAE를 지원한다면 CR3 레지스터에 PAE flag 세팅 4. __flush_tlb_all() 를 통하여 TLB flush

896MB의 경우에는 PAE를 켜지 않더라도 32bit로는 모두 커버 가능하다. 그래서 특별히 할것은 없고 새로운 Page table들을 생성해주는데 Page size flag를 세팅가능하다면 켜도록 하여 large page (4MB)를 가지도록 한다. 새로운 Page table들을 생성을 하였으면 Provisional Kernel Page 들은 모두 쓸모가 없으므로 zap_low_mappings()함수를 통하여 삭제한다.

Final Kernel Page Table When RAM size is less between 896MB and 4096MB

이런 경우에는 System에 설치된 RAM 모든 영역이 Kernel linear address에 맵핑 될 수 없다. 단지 896MB 영역 안에서만 맵핑을 하게 되는데 나머지 영역을 사용하고 싶은 경우에는 다른 linear addresss 가 맵핑 되어야 한다.

Fixed-Mapped Linear Addresses

Python Debugging

Thu, 11 Aug 2011 14:21:24 +0900

간단히 import pdb 해서

원하는 소스 부분에 pdb.set_trace() 하면

debugging 시작

n은 next line 실행

s은 step in

r은 step out

c은 continue

Tips for Programming

Thu, 11 Aug 2011 14:19:32 +0900

No such device

Wed, 10 Aug 2011 23:42:33 +0900

[2011-08-10 23:38:15 2783] INFO (SrvDaemon:332) Xend Daemon started
[2011-08-10 23:38:15 2783] INFO (SrvDaemon:336) Xend changeset: unavailable.
[2011-08-10 23:38:15 2783] DEBUG (tcp:96) Listening on :8002
[2011-08-10 23:38:15 2783] DEBUG (XendNode:332) pscsi record count: 3
[2011-08-10 23:38:15 2783] DEBUG (XendCPUPool:747) recreate_active_pools
[2011-08-10 23:38:15 2783] ERROR (SrvDaemon:349) Exception starting xend ((19, 'No such device'))
Traceback (most recent call last):
File "usr/lib/python2.5/site-packages/xen/xend/server/SrvDaemon.py", line 341, in run
    servers = SrvServer.create()
File "usr/lib/python2.5/site-packages/xen/xend/server/SrvServer.py", line 258, in create
    root.putChild('xend', SrvRoot())
File "usr/lib/python2.5/site-packages/xen/xend/server/SrvRoot.py", line 40, in __init__
    self.get(name)
File "usr/lib/python2.5/site-packages/xen/web/SrvDir.py", line 84, in get
    val = val.getobj()
File "usr/lib/python2.5/site-packages/xen/web/SrvDir.py", line 52, in getobj
    self.obj = klassobj()
File "usr/lib/python2.5/site-packages/xen/xend/server/SrvNode.py", line 30, in __init__
    self.xn = XendNode.instance()
File "usr/lib/python2.5/site-packages/xen/xend/XendNode.py", line 1181, in instance
    inst = XendNode()
File "usr/lib/python2.5/site-packages/xen/xend/XendNode.py", line 163, in __init__
    self._init_cpu_pools()
File "usr/lib/python2.5/site-packages/xen/xend/XendNode.py", line 382, in _init_cpu_pools
    XendCPUPool.recreate_active_pools()
File "usr/lib/python2.5/site-packages/xen/xend/XendCPUPool.py", line 754, in recreate_active_pools
    uuid = xstransact.Read(path, 'uuid')
File "usr/lib/python2.5/site-packages/xen/xend/xenstore/xstransact.py", line 307, in Read
    return complete(path, lambda t: t.read(*args))
File "usr/lib/python2.5/site-packages/xen/xend/xenstore/xstransact.py", line 361, in complete
    t = xstransact(path)
File "usr/lib/python2.5/site-packages/xen/xend/xenstore/xstransact.py", line 29, in __init__
    self.transaction = xshandle().transaction_start()
Error: (19, 'No such device')

이런 에러를 내뿜고 죽는 경우에는

/etc/init.d/xencommons start를 해준다.

4.1.x 대로 오면서 뭔가 바뀌었나보다.

Tips for Xen

Wed, 10 Aug 2011 23:41:17 +0900