• 한국컴퓨터산업학회논문지
• /
• 제5권9호
• /
• pp.965-972
• /
• 2004

본 논문은 소규모 장치 및 모바일 장치 등에 탑재되고 있는 KVM, Waba VM의 탑재 기법 및 네이티브 코드 연결 기법을 기반으로 임베디드 시스템에 적합한 가상기계의 정적/동적 라이브러리 연결 기법에 관한 연구이다. 이를 위해, KVM, Waba VM의 네이티브 함수 연결 기법을 기반으로 정적/동적 라이브러리 함수 연결을 위한 새로운 네이티브 함수 테이블을 구현하였다. 또한 구현된 기법을 이용하여 다양한 실험 및 분석 결과를 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.436-438
• /
• 2000

다양한 실행 경로가 존재하는 실시간 시스템을 이해하기 위해 시스템의 정적 정보와 함께 동정 정보가 사용자에게 적절히 제공되어야 한다. 본 논문은 정적 정보와 동적 정보를 표현하기 위해 SRL(System Representation Language)을 사용한다. 정적 정보는 SRL 노드를 분석해서 얻고 동적 정보는 SRL을 실행함으로 얻는다. SRL의 가상 실행은 시스템 독립적인 자바 가상 기계를 통해 이루어진다. 가상 실행은 순방향뿐만 아니라 역방향으로도 이루어진다. SRL 실행 라이브러리는 순.역방향 실행을 위해 SRL 각 구문의 의미 규칙에 맞게 정의하며 자바 가상 기계를 통해 실행되는 클래스 파일로 컴파일된다. 메모리에 로딩된 SRL은 SRL 실행 라이브러리를 동적으로 호출하여 가상 실행을 이룬다. 동적 실행을 통해 추출된 동적 정보는 SRL에 포함된다.

• 한국멀티미디어학회논문지
• /
• 제13권2호
• /
• pp.161-170
• /
• 2010

ELF는 실행과 링킹 형식(Executable and Linkable Format)의 약어로서, 리눅스 시스템에서 사용하는 공유 라이브러리와 실행 파일을 위한 기본 파일 형식이다. 한편 링커는 정적 링킹을 통한 목적 파일 생성 시, 정적 공유 라이브러리의 심볼 정보를 목적 파일 내 심볼 테이블에 복사한다. 이 때, 심볼 테이블은 공유 라이브러리가 제공하는 함수 이름을 포함하여 여러 가지 디버깅 관련 정보를 포함하는데, 프로그램 실행에 직접적인 영향을 미치지 않는다는 점을 이용하여 보안상 디버깅되는 것을 방지하기 위해 삭제될 수 있다. 본 논문은 심볼 테이블이 삭제된 ELF 목적 파일에서 정적 공유 라이브러리의 심볼 정보를 복구하는 방법을 제안하고 실제로 실험을 행하여 복구된 심볼 정보를 확인한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.916-918
• /
• 2005

일반적인 임베디드 환경에서는 정적으로 각 기능 요소들을 실행 이전에 미리 컴파일하여 사용하였다. 이 경우 자주 사용하지 않는 모듈도 모두 메모리에 로드되어 많은 용량의 메모리를 요구하게 된다. 따라서 한정된 메모리를 효율적으로 사용하여 시스템의 자원을 낭비하지 않기 위해 동적으로 실행시 필요한 모듈을 적재하여 사용하고 더 이상 사용하지 않는 라이브러리는 메모리로부터 제거하는 동적 라이브러리 로딩은 좋은 대안이 되고 있다. 본 논문에서는 실시간 운영체제 iRTOS 에 동적 로딩 기능을 적용하기 위해 Simple Dynamic Loader(심플 동적 로더)를 설계 및 구현하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.1005-1008
• /
• 2002

모바일 기술의 발달로 인하여 유선 인터넷 서비스의 많은 부분을 무선 인터넷으로 지원하기 위한 모바일 응용프로그램과 다양한 지원 모델이 연구되고 있다. 특히, 정적으로 지원되었던 기존의 표현 방법에서 동적인 멀티미디어 표현 형태가 요구되고 있다. 이와 같은 이유로 모바일 디바이스를 위한 멀티미디어 기술의 연구와 개발이 활발히 진행되고 있다. 그러나, 모바일 디바이스에서 범용으로 사용할 수 있는 형태로 제공되고 있지는 않다. 본 논문에서는 모바일 디바이스에서 사용할 수 있는 멀티미디어 라이브러리를 설계하고 개발한다. 제안된 라이브러리는 라이브러리 카테고리를 통해 기본 기능을 정의하고, 계층적인 구조를 통해 이식성을 확보할 수 있어 이기종 간에 멀티미디어 기능을 쉽게 구현할 수 있고, 다양한 모바일 멀티미디어 응용프로그램을 효과적으로 개발할 수 있게 된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.281-284
• /
• 2008

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 프로그램의 고유한 특징을 말한다. 본 논문에서는 자바 메소드의 정적 트레이스 정보에 기반한 자바 버스마킹 기법을 제안한다. 정적 트레이스는 런타임 실행 절차를 반영한다는 점에서 동적 버스마크의 장점이 있고, 정적 분석으로 추출하기 때문에 라이브러리나 함수 단위에 적용가능하다는 정적 버스마크의 장점도 있다. 본 논문에서 제안한 버스마킹 기법을 평가하기 위해서 서로 다른 프로그램을 구별할 수 있는 신뢰도와 프로그램 최적화나 난독화에 견딜 수 있는 강인도에 대한 실험을 하였다. 실험 결과로부터 본 논문에서 제안하는 버스마크가 신뢰도를 유지하면서 기존 방법보다 강인한 버스마크임을 확인할 수 있다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2002년도 제18회 학술발표대회 논문초록집
• /
• pp.29-30
• /
• 2002

본 연구에서는 Boeing사에서 개발한 EASY5 프로그램을 이용하여 터보팬 엔진을 모델링하고 성능해석을 수행하였다. 연구대상 엔진인 BR715-56 엔진은 추력이 20,000lbf급인 2 스풀 터보팬 엔진으로 분리흐름(Separate Flow) 형이다. 엔진은 팬, 압축기, 연소기, 저압터어빈, 압축기터어빈, 팬 노즐 및 Core 노즐로 구성되어 있으며 Station No.는 Fig 1과 같다. 연구에 사용된 EASY5 프로그램은 동역학 시스템을 모델링하고 해석하는 프로그램으로, 제공되는 라이브러리 구성품을 이용하여 보다 쉽게 동적 시스템을 모델링할 수 있다. 또한 Steady-State Solver를 이용하여 정적 평형상태를 빠른 시간에 찾을 수 있어 보다 빠른 해석을 수행할 수 있다. 또한 해석된 동역학 모델을 FORTRAN이나 C 코드로 생성하여 제공함으로써 프로그램의 수정이나 보완이 용이하고, 제공되지 않은 시스템의 라이브러리 구성품의 경우에는 사용자 정의 코드를 만들어 사용함으로써 프로그램의 기능을 확장할 수 있다. EASy5는 대표적인 제어기 설계 소프트웨어인 MATLAB, MATRIX-x와의 호환도 가능하며 NASTRAN등과 같은 유한요소 해석 프로그램과의 데이터 공유도 가능하여 보다 폭 넓은 시스템 모델링과 제어기 설계도 쉽게 할 수 있다.

• 정보보호학회논문지
• /
• 제29권4호
• /
• pp.807-819
• /
• 2019

그레이박스 퍼징은 소프트웨어에 존재하는 알려지지 않은 보안 취약점을 찾는 효과적인 방법으로 최근까지 활발하게 연구되고 있다. 단, 대부분의 그레이박스 퍼징 도구들은 실행파일을 필요로 하기 때문에 직접 실행할 수 없는 라이브러리는 별도의 실행파일을 준비해야 한다. 이러한 실행파일을 만드는 것은 라이브러리에 대한 이해 및 퍼징에 대한 이해가 동시에 필요한 어려운 일이다. 본 연구에서는 라이브러리를 위한 실행파일을 자동으로 생성하는 방법을 제안하고 이를 LLVM 기반의 도구로 구현한다. 제안하는 방법은 대상 라이브러리 프로젝트에 존재하는 유닛테스트에 대한 정적/동적 분석을 통해 라이브러리를 테스트할 수 있는 실행파일 및 시드파일을 자동으로 생성한다. 생성한 실행파일은 기존 그레이박스 퍼징 도구들이 주로 사용하는 인터페이스를 보유하여 AFL과 같은 다양한 그레이박스 퍼징 도구와 호환된다. 우리는 이 도구를 사용해 오픈소스 프로젝트로부터 생성한 실행파일과 시드파일을 바탕으로 코드 커버리지 및 알려지지 않은 취약점을 찾음으로써 제안하는 방법의 성능을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.613-616
• /
• 2000

본 논문에서, 웹브라우져상에서 병행 객체들의 상태 정보 및 정보흐름을 보여주는 분산 병행 객체 모니터링 시스템의 설계에 관하여 기술하였다. 병행 객체는 UNIX의 쓰레드와 같이 CPU에 의해서 스케줄링 되어진다. 또한 모니터링 시스템을 설계해서, 분산환경에서의 병행 객체의 정적 및 동적정보를 수집하여, 웹브라우져상에 이 정보를 표시하고자 한다. 그리고, 설치한 모니터링 시스템을 동적 라이브러리로 구현하고, 기존의 UNIX 또는 SROS상에서 실행되도록 구현할 것이다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권1호
• /
• pp.34-43
• /
• 2002

Dublin Core같은 기존의 정적인 메타데이타 집합은 서지 정보 중심의 정적인 데이터 요소를 가지므로 새로운 환경에 적용하기 위해서는 다양한 메타데이타를 위한 메타데이타 간의 통합, 웹 환경에서의 메타데이타의 표준화 문제 및 확장성 문제들이 고려되어야 한다. 특히, 디지털 라이브러리에서 전자상거래의 개념을 포함하며 서로간의 상호운영성을 위해 이벤트중심의 메타데이타 기록 방식이 등장함에 따라 기존 관리법으로는 갱신 연산간의 차별화가 이루어지지 않아 부적절한 갱신 연산 지연이 발생하므로 이에 대한 고려 역시 필요하다. 본 논문에서는 우선 디지털 라이브러리 환경에서 완화된 트랜잭션 일관성의 적용여부를 보이며, 새로운 방식의 메타데이타 요소를 사용자 질의 트랜잭션의 판독연산에 관련있는 정적 메타데이타 요소와 전자상거래 트랜잭션의 갱신연산과 관련있는 동적 메타데이타 요소로 구분한다. 구분된 메타데이타 요소에 따라, 관련 트랜잭션들을 재분류함으로써 전자상거래 요소와 동적 갱신(전자상거래) 트랜잭선을 고려한 새로운 메타데이타 관리기법을 제안한다. 최소의 유지비용으로 갱신을 고려하는 2버전과 동적 갱신 연산 충돌의 최소화를 위한 ARU(Appended Refresh Unit)를 사용함으로써 기록연산 간의 충돌을 최소화해 빠른 응답시간과 높은 최근성 비율을 보이게 된다. 성능분석을 통해, 새로운 메타데이타 환경하에서 제안한 알고리즘이 기존의 알고리즘에 비해 좋은 성능을 가짐을 보인다.