• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2006년도 하계학술대회
• /
• pp.715-718
• /
• 2006

e-seal은 RFID 기술을 사용하여 원격에서 자동으로 봉인상태를 확인할 수 있는 컨테이너 봉인 장치를 말한다. RFID의 특징상 반도체 칩에 기록된 정보를 제 삼자가 쉽게 판독 및 변조할 수 있다는 취약점이 있는 실정이다. ISO에서는 RFID의 취약점을 보안하기 위한 표준작업(ISO 18185)을 진행 중이다. 이 중, ISO 18185-4는 e-seal에 저장되는 자료나 리더와의 RF통신에서 데이터 보호를 위한 표준이며, 관련된 연구로는 Active-RFID 인증 프로토콜과 ISO 18185-4를 위한 보고서로 제출된 보안 프로토콜 등이 있다. 제안된 e-seal 보안 프로토콜을 적용하기 위해서는 e-seal과 리더 간의 데이터를 암/복호화 키를 Pseudorandom Function(PRF)을 이용하여 마스터 키로부터 MTK(Mutual Transient Key)를 유도하고, MTK를 암/복호화 키로 사용해야 할 필요가 있다. 본 논문에서는 현재 보안 프로토콜에서 사용되고 있는 PRF에 대해 살펴보고, e-seal 환경에서 PRF를 소프트웨어로 구현하였다. 구현 결과 해시 함수를 기반으로 하는 PFR보다 암호화 알고리즘 AES를 기반으로 하는 PRF이 더 좋은 성능을 보였으며, 블록 암호화 알고리즘인 AES-128을 어셈블리어로 구현함으로써 PRF를 최적화하였다.

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

최근 소프트웨어에 내장된 취약점 분석을 위한 자동화 도구 개발 연구가 각 분야에서 활발히 연구되고 있다. 그 중 바이너리 코드를 대상으로 바로 보안취약점을 분석하는 방법이 아닌 중간언어를 활용하여 분석하는 방법이 대두되고 있으며 이를 위한 다양한 중간언어가 제시되었다. 그 중 하이레벨 언어 수준의 내용의 기술이 가능하며 명령어 자체적으로 자료형을 유지하여 보안 취약점 분석에 효과적인 언어로 SIL 중간언어가 재조명 받고 있다. 따라서 본 논문에서는 이룰 위해서 x86/64 기반 어셈블리어를 SIL 로 효과적으로 변환하며 프로그램의 의미가 변하지 않는 것을 확인하기 위해서 프로그램의 제어흐름을 시각화하는 기능을 가진 시스템을 제안한다.

• 대한기계학회논문집A
• /
• 제21권11호
• /
• pp.1885-1895
• /
• 1997

As track density needs to increase to the order of 10, 000 tpi, the suspension has become a critical component in hard disk drives. One of the main obstacles to attain high track density is the structural resonances of the suspension in lateral direction. We investigate the suspension dynamics through the experimental modal analysis and the finite element method. An LDV (Laser Doppler Vibrometer) is employed to measure the response of the suspension which is excited by a shaker and an inpulse hammer for the free condition and the loaded condition, respectively. After comparing the experimental and numerical results, we study how the initial geometry of the bend region affects the suspension dynamics. It is found that the natural frequency of the sway mode decreases as the bend ratio and the bend angle increase. The shape of torsional mode changes as the mass of a slider increases, resulting in a local decrease in the natural frequency.

• 한국기계가공학회지
• /
• 제12권3호
• /
• pp.48-53
• /
• 2013

An automotive air conditioning assembly consists of a condenser, a compressor and an evaporator. These major components are connected with rubber hoses and aluminum pipes. Once mounted on the automotive air conditioning assembly, it is exposed to a serious vibration environment for a long time. In some cases, there are vibration cracking on the assembly. In order to solve this vibration problem, several real vibration tests are performed on the assembly of which the lay-out was optimized, in spite of sample production cost and making time. In this study, a frequency response analysis, which is a kind of finite element method of the vibration, was performed to know the characteristic of the vibration transmission on the assembly lay-out. The analysis result indicated the damping performance, which is satisfied with the vibration standard of car maker, in rubber hoses and the whole assembly.

• 한국콘텐츠학회논문지
• /
• 제8권6호
• /
• pp.82-88
• /
• 2008

ARM 프로세서는 다양한 임베디드 시스템에서 활용되고 있다. 또한 대부분의 ARM 프로세서는 C 프로그램을 입력으로 받아 GNU gcc 크로스 컴파일 방식을 사용하여 ARM 어셈블리 코드를 생성한다. 또한 생성된 목적코드의 질을 개선하고 효율적인 목적코드 생성하기 위한 다양한 연구가 진행되고 있다. 본 논문에서는 표준 C 프로그램으로부터 ARM 프로세서에 대한 목적코드를 문법-지시적 변환 기법을 이용하여 생성하며 성능평가 결과를 GNU gcc 크로스 컴파일 방식과 비교하여 제시한다. 본 연구에서 제시한 기법은 생성규칙을 확장하는 방법이 GNU gcc 크로스 컴파일러에 비해 간편하고 편리하다.

• 전자공학회논문지CI
• /
• 제43권4호
• /
• pp.39-49
• /
• 2006

본 논문에서는 차세대 입출력 인터페이스인, PCI 익스프레스 컨트롤러의 기능 검증을 위해 효율적인 검증 환경을 제안하였다. 검증 환경은 벡터 생성 부분, 테스트 벤치, 그리고 두개의 메모리로 구성된다. 이러한 효율적인 검증 환경을 제대로 동작시키기 위한 명령어 세트를 정의하였다. 이 명령어는 어셈블리 구조를 가지며, PCI 익스프레스의 모든 프로토콜을 지원하며, 설계된 PCI 익스프레스 컨트롤러를 검증하기 위한 모든 시나리오를 제공하도록 정의되었다. 또한 본 논문에서는 랜덤 벡터 생성 부분, 시뮬레이션 부분, 그리고 비교 엔진으로 구성된 랜덤 검증 환경을 제안하였다. 본 랜덤 테스트 검증 환경에서 수행된 결과는 일반적인 기본 동작 검증과 설계 기반 검증에서 찾지 못한 특수 경우의 에러도 발견 할 수 있다.

• 대한기계학회논문집A
• /
• 제30권5호
• /
• pp.496-504
• /
• 2006

Wear of engine valves and seat inserts is a major factor affecting engine performance. In order to improve quality and life of valve assemblies, wear mechanism and 3-D surface topography should be analyzed according to operating conditions of the engine. After developing an engine simulator that generates valve speed up to 90Hz and temperature up to $900^{\circ}C$ as well as controls test load, wear experiments have been conducted for two different engine speeds as 10Hz and 25Hz. In order to observe the wear characteristics and monitor surface conditions of the valve assemblies, a cost-effective 3-D wear analysis system based on the shape from focus(SFF) and machine vision has been fabricated in this paper. 3-D surface topography of the valve assemblies has been analyzed to understand the wear behavior according to operating conditions of the engine. Consequently, wear volume of the valve assemblies is quantized by using the developed 3-D wear analysis system.

• 한국광학회지
• /
• 제15권4호
• /
• pp.349-354
• /
• 2004

XFP(10 Gb/s Small Form Factor Pluggable) 트랜시버 모듈에 사용되는 광송신 서브어셈블리(TOSA: Transmitter Optical Sub-assembly)를 열적, 전기적 측면에서 설계, 제작 및 평가하였다. 저가격이며 소형인 TOSA를 제작하기 위해서 바이어스 티 및 정합저항등을 AlN서브마운트 위에 집적하였다. 10 Gb/s의 초고속 전기 신호의 입력을 위해 CPW형 마이크로파 전송로를 스템 구조체내에 도입하였다. 소자의 전기적 특성 분석을 위해 서브마운트내에 실장되는 각종 전기광학 부품들과 스템 구조체들을 고속회로 모델링 하였다. 제작한 TOSA의 특성평가를 통해, 85$^{\circ}C$에서 11 GHz 이상의 -3 dB 대역폭을 얻을 수 있었다.

• 대한기계학회논문집A
• /
• 제35권8호
• /
• pp.965-970
• /
• 2011

본 연구를 통하여 개발하고자 하는 진단시스템은 자동차 엔진 어셈블리라인에서 발생될 수 있는 특정 조립 불량유형을 검사하는 시스템이다. 대상으로 하는 불량 유형은 엔진 고장의 유형 중 커다란 충격성신호가 발생한 후, 보상적인 작은 충격파가 주기적으로 발생되는 형태이다. 이러한 불량유형을 기존의 시간영역분석 진단, 주파수분석, 통계적분석등에 의해 진단할 경우 한계점이 존재한다. 이에 웨이블릿 잡음 제거 전처리 방법, 피크검지 알고리즘, 불순도 최소값 선택 분할 방법을 이용한 새로운 유형의 이상진단 방법을 개발하는 연구를 진행하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권6호
• /
• pp.703-714
• /
• 2001

C 언어에서 스택에 할당된 지역변수가 넘칠 경우 주변에 위치한 제어정보가 손상을 입는다. 이러한 C언어 특성이 악의적으로 사용되어 주변의 복귀주소가 교묘하게 조작되면 그 시스템을 심각한 보안상 위험에 노출된다. 본 논문에서는 이러한 버퍼넘침을 유발하는 라이브러리 함수에 전달된 버퍼의 도메인 정보흐름을 추적하여 프로그램 작성자에게 버퍼넘침 가능성을 통지할 수 있는 정적 어셈블리 소스코드 탐색(static assembly source code scan)방안을 제안하고 그 실현 가능성 및 유의성을 펜티엄기반 리눅스 환경에서의 프로토타입 구현으로 진단한다.