Recent Updates

  Trusted Computing and System-level approach for security Trusted computing Trusted_Computing.pdf, How_Trustworthy_Is_Trusted_Computing_.pdf 신뢰성 컴퓨팅의 필요성 Root of Trust System 전체의 신뢰성을 위한 근원적인 무언가가 필요하다. Trusted Platform Module Improving_the_TCPA_Specification.pdf The_Role_of_TPM_in_Enter

  libxc : 가장 로우 레벨의 Library로서 도메인을 생성하거나, 디바이스를 생성하거나 하이퍼콜을 날리거나 하는 일들을 제공해준다. libxl : libxc를 기반으로 만들어진 라이브러리로서, 좀 더 높은 수준의 interface를 제공해준다. libxc보다는 훨씬 간결하게 도메인을 생성하거나 삭제 할 수 있다.  xend : 일종의 toolstack으로서 python binding을 통해서 libxc에 접근하여 도메인을 생성하거나 삭제할 수 있다. xm : command line interface로서 RP

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

subfigure를 쓰다보면, 캡션과 그림과의 차이가 없어서 그래프 같은 경우에는 영 보기 싫어진다. 이를 해결하기 위해서 vspace를 써봤자 적용되지는 않고   \addtolength{\subfigcapskip}{0.1in}   와 같은 방식으로 해결해야 한다.   이 방법은 subfigure에 적용된 값을 재정의해주는 것으로서 모든 subfigure에 적용된다.

 

Paging이 켜진 상황에서는 프로세스 뿐만 아니라 커널 또한 Paging을 사용해야 한다. 이때 Paging을 사용하기 위해서는 Kernel용 Page Table을 생성 관리해야 하는데 여기에 대해서 자세히 살펴보도록 하자.   Understanding the linux Kernel 참조   커널은 당연히 자기 자신을 위한 페이지 테이블들을 가지고 있는데 프로세스들이 가지고 있는 Page Directory와 같은 Master Kernel Page Global Directory를 가진다. 하지만 직접 사용하지는 않고

간단히 import pdb 해서 원하는 소스 부분에 pdb.set_trace() 하면 debugging 시작   n은 next line 실행 s은 step in r은 step out c은 continue

 

[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

 

Virtualbox에서 Serial 통신은 간단하게 할 수 있는데   먼저 설정에서 serial port를 설정해주고, Pipe를 생성하도록 하며, Pipe의 위치는 누구나 쓸 수 있는 /tmp 정도의 위치로 잡아준다. 그리고 나서 socat /tmp/serial_test - 란 명령어로 확인 가능하다.

네트워크 카드를 교체하거나 혹은 Virtual machine 환경에서 설정을 조금 변경해버리면 Network interface의 이름이 eth0에서 eth1이나 eth2로 바뀌게 되는데 이때 좀 짜증난다. 이를 바꿔줄려면 간단히 udev의 설정된 내역을 수정해 주면 된다.   Ubuntu 환경에서는 /etc/udev/rules.d/70-persistent-net.rules 위의 파일을 보고 직접 수정해주면 된다.

 

버퍼 오버플로우 버퍼 오버플로우란 버퍼를 넘치게 하여 프로그램의 실행 흐름을 변경함으로써, 임의의 코드를 실행하게 하는 기술이다. 버퍼의 경계 값을 검사하지 않는 함수를 사용할 때, 이 함수가 사용자의 압력 값을 다룬다면, 공격자는 버퍼를 넘치는 값을 주입하여 프로그램의 실행 흐름을 변경할 수 있다. 버퍼 오버플로우는 보통 데이터를 저장하는 과정에서 그 데이터를 저장할 메모리 위치가 유효한지를 검사하지 않아 발생한다. 이러한 경우 데이터가 담긴 위치 근처에 있는 값이 손상되고 그 손상이 프로그램 실행에 영향을 미칠 수도 있다. 특히,

  A Flexible Security Architecture to Support Third-party Applications on Mobile Devices Third-party application을 secure하게 실행할 수 있도록 지원해주는 모바일 디바이스 용, 아키텍처를 제시 여기서, run-time monitoring과 static verification,proof-carrying code 기능을 제공. 호환성을 제공하여, 예전 어플리케이션도 잘 돌아감. Windows Mobile에서 .NET 프레임워크에서 동작함

  A Practical Guide to Trusted Computing 지은이  David Challener  출판사 IBM Press  |   발행일 2007년 12월 18일 54,000원 → 46,800원   Trusted Platform Module Basics: Using TPM Embedded Systems 지은이  Steven L. Kinney  출판사 NEWNES  |   발행일 2006년 06월 01일 39,000원 → 3

  목표 이번 Job은 ModelSim과 SystemC로 작업한 코드를 서로 연동하는 것이다. 이번 일을 하기 위해서 먼저 필요한 것은 ModelSim을 설치하여 주는 것이다.  ModelSim 다운로드  Google에서 간단히 서치하면 ModelSim을 제작하는 업체로 방문할 수 있는데, 간단히 신상 정보를 적어주는 것으로 ModelSim을 다운 받을 수 있다.  http://www.model.com/downloads/default.asp  여기에서 ModelSim SE Windo

논문 : Design_Tradeoffs_for_Software_Managed_TLB.pdf   Introduction 소프트웨어 TLB 구현 시 장점 하드웨어가 간단해진다. 페이지 테이블의 구조가 Flexible 소프트웨어 TLB 구현 시 단점 엔트리를 다시 채우는 시간이 느림 현재 운영체제는 미스되는 경우가 많음(많은 프로그램이 동작하게 되고 Context Switching이 자주 발생하게 되므로) TLB miss Handling 알고리즘이 효율적으로 작성되어야 함   Motivation Use

DPF.pptxMotivation Networking architects have had to trade flexibility for performance to demultiplex messages efficently DPF DPF achieves flexibility and performance Dynamic Packet Filter demultiflexes messages efficently DPF generates codes at runtime(Dynamic!) HOW Using declarative

  엑소 커널은 어플리케이션에게 하드웨어와 소프트웨어를 효율적으로 사용할 수 있게 해주는 데 이는 Seperating management로 가능하다. 엑소 커널은 기존의 시스템보다 월등히 뛰어난 성능을 보여준다. 엑소 커널은 새로운 방식의 리소스 멀티플렉싱을 통해야 이러한 능력을 제공하다.   introduction   기존의 시스템은 모든 요구에 부합하려고 인터페이스를 작성하기 때문에 성능상 취약하게 되고 실제로 이런 방식으로 작성하고 성능이 높으리라 기대하는 것은 불가능하다. 모든 경우에 대해서 잘 적용

Abstract 지금까지의 운영체제에서는 IPC와 가상 메모리와 같은 운영체제의 추상화 기법 때문에 어플리케이션의 기능이라던지 확장성, 성능을 제한시켰다. 엑소 커널은 어플리케이션 레벨에서의 물리적 자원을 관리할 수 있도록 처리하면서 이와 같은 문제를 해결하였다. 아주 작은 커널이 보안적인 인터페이스를 통해 하드웨어의 리소스를 라이브러리 운영체제에게 전달해준다.(?) 이런 리소스 분리는 어플리케이션에서 커스터마이징을 할 수 있도록 지원해준다. 어플리케이션에서 구현한 IPC와 버추얼메모리가 Ultrix의 커널의 수행속도가 5배에서 40

하드디스크 성능 ST94813A 한 섹터의 경우 512바이트이며, 한 트랙당 63개의 섹터가 존재한다. 고로 한 트랙 당 512*63 = 32256 바이트를 가지며, 페이지 단위로 요청하게 될 경우, 32256/4096 = 7.875 개에 해당한다. 의문점 이 알고리즘의 중요한 핵심 중의 하나는 한 트랙 단위의 입출력인데, 트랙의 시작과 끝이 어딘지를 파일 시스템에서 알 수가 있을까? 커널에서의 시간 측정 방법 Hardware TSC(Time Stamp Counter) Register(x86 only) <

페이지 : http://gen.gmarket.co.kr/challenge/neo_goods/html_goods/goods_117384856.asp?goodscode=117384856&jaehuid=200001100   한주희 계산 : 1000*2 = 2000원 배송료 : 400원     김형석 계산 : 1000*2 = 2000원 배송료 : 400원       안지은 계산 : 1000*2 = 2000원 배송료 : 400원     김화영 계산 : 1000*