• 한국멀티미디어학회논문지
• /
• 제19권10호
• /
• pp.1792-1807
• /
• 2016

Android application is vulnerable to reverse engineering attack. And by this, it is easy to extract significant module from source code and repackage it. To prevent this problem, dynamic class loading technique, which is able to exclude running code from distributed source code and is able to load running code dynamically during runtime can be used. Recently, this technique was adapted on variety of fields and applications like updating pre-loaded android application, preventing from repacking malicious application, etc. Despite the fact that this technique is used on variety of fields and applications, there is fundamental lack on the study of potential weakness or related secure coding. This paper would deal with potential weaknesses during the implementation of dynamic class loading technique with analysing related international/domestic standard of weaknesses and suggest a secure way for the implementation of dynamic class loading technique. Finally, we believe that this technique described here could increase the level of trust by decreasing the weakness related to dynamic class loading technique.

• 한국콘텐츠학회논문지
• /
• 제3권2호
• /
• pp.39-45
• /
• 2003

자바의 동적인 클래스 로딩은 자바 플랫폼에서 실행시간에 소프트웨어 컴포넌트를 동적으로 로딩하기 위한 강력한 메커니즘이다. 다른 시스템에서도 동적 로딩과 링킹을 제공하지만 지연 로딩, 타입안전 링크, 사용자 정의 로딩정책, 다중 이름 공간 등은 자바가 가진 중요한 특징들이다. 클래스 로딩에서 핵심은 타입 안전을 보장하는 것이다. 타입 안전은 자바 보안에서 아주 중요한 부분을 차지한다. 하지만 자바 가상 머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고, 접근이 명확하지 않아서 지금 까지 많은 버그가 발생하여 타입 안전에 문제가 되었다. 본 논문은 자바 가상 머신에서 동적인 클래스 로더의 동작을 분석하고, 연산적 의미론(operational semantics)으로 추상화하고 현재 로드되어진 클래스와 추가된 제한 등을 이용하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2003년도 춘계종합학술대회논문집
• /
• pp.171-176
• /
• 2003

클래스 로딩에서 핵심은 타입 안전을 보장하는 것이다. 타입 안전은 자바 보안에서 아주 중요한 부분을 차지한다. 하지만 자바 가상 머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고, 접근이 명확하지 않아서 지금 까지 많은 버그가 발생하여 타입 안전에 문제가 되었다. 본 논문은 자바 가상 머신에서 동적인 클래스 로더의 동작을 분석하고, 연산적 의미론(operational semantics)으로 추상화하고 현재 로드되어진 클래스와 추가된 제한 등을 이용하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• 한국경영과학회지
• /
• 제13권1호
• /
• pp.24-30
• /
• 1988

We study the optimal allocation of machines and pallets in a class of manufacturing systems. The FMS is modeled as a closed queueing network with balanced loading of the stations. An Algorithm is developed, which exploits the properties of the throughput function and solves the allocation problem for increasing concave profit and convex cost. We also study the more general case of allocating machines and pallets among a set of FMSs. A dynamic programming approach is developed, which solves the problem with O(M$^{3}$N$^{2}$) operations.

• 정보보호학회논문지
• /
• 제27권6호
• /
• pp.1361-1372
• /
• 2017

비공개 애플리케이션 또는 핑거프린팅 기법이 적용된 애플리케이션을 외부의 공격자가 복사해 가져가는 경우 비공개 정보가 유출되거나 정당한 사용자가 애플리케이션의 불법 재배포자로 오인될 수 있어 심각한 보안 문제가 초래될 수 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 지문 인증과 동적 로딩을 이용한 안드로이드 애플리케이션 코드 보호 기법을 제안한다. 본 논문에서 제안하는 기법은 하나의 애플리케이션을 CLR(Class LoadeR)과 SED(SEperated Dex)로 구성한다. CLR은 SED를 동적으로 로드하는 기능을 가진 APK 파일이며, SED는 애플리케이션 실행에 필요한 클래스들이 포함된 파일이다. SED는 암호화된 상태로 스마트폰 내부에 보관되며, 사용자는 지문 인증을 성공한 경우에만 SED를 복호화할 수 있다. 본 논문에서 제안하는 기법은 사용자의 스마트폰을 물리적으로 획득한 공격자로부터 애플리케이션 코드를 안전하게 보호할 수 있다.

• 정보학연구
• /
• 제4권1호
• /
• pp.1-7
• /
• 2001

자바 프로그램은 플랫폼 독립적이라는 장점을 갖는 반면에 그의 실행이 가상 기계를 통하여 이루어지기 때문에 실행 시간의 비효율성을 가진다. 이러한 문제를 극복하기 위해 just-in-time(JIT) 컴파일러, 오프라인 바이트코드 컴파일러와 같은 다양한 해결 방법이 제안되어 왔다. 그러나 JIT 컴파일러는 실행시간에 바이트코드로부터 네이티브 코드로의 번역이 일어나므로 실행시간 부담을 가진다. 그리고 순수 오프라인 바이트코드 컴파일러는 동적 클래스 적재(dynamic class loading)의 어려움을 가진다. 본 논문에서는 동적으로 바이트코드를 적재학 수 있는 능력을 유지하면서, JIT 보다 더 효율적 실행이 가능한 방법을 제안한다. 또한 기존의 bytecode-to-C 번역기와는 달리, 우리의 번역기는 자바 네이티브 인터페이스(JNI)를 사용함으로서 JDK 실행 환경과의 완벽한 호환성을 유지한다. 본 연구의 결과로 바이트코드를 JNI를 사용한 C 코드로 변환하기 위한 번역기를 설계하고 구현하였다.

• 대한산업공학회지
• /
• 제15권1호
• /
• pp.65-75
• /
• 1989

This study complements the previous studies on workload distribution problems in Flexible Manufacturing Systems. Specifically, we consider the problem in two perspectives, the long-range policy and the short and medium-term planning and control. The long-term loading policy focusses on identifying the optimal loading of the system characterized by either balanced loading or unique unbalanced loading for which a steepest ascent method is developed. These results are then applied to study the optimal medium and short-term planning and control problems, for which a truncated dynamic programming method is developed in order to obtain the optimal allocation of the given operation mix of part types to work stations.

• 한국압력기기공학회 논문집
• /
• 제14권2호
• /
• pp.69-76
• /
• 2018

The paper presents preliminary investigation results for the effect of the baseline correction in the acceleration excitation method on finite element seismic analysis results (such as accumulated equivalent plastic strain, equivalent plastic strain considering cyclic plasticity, von Mises effective stress, etc) of nuclear safety Class I components. For investigation, finite element elastic-plastic time-history seismic analysis is performed for a surge line including a pressurizer lower head, a pressurizer surge nozzle, a surge piping, and a hot leg surge nozzle using the Chaboche hardening model. Analysis is performed for various seismic loading methods such as acceleration excitation methods with and without the baseline correction, and a displacement excitation method. Comparing finite element analysis results, the effect of the baseline correction is investigated. As a result of the investigation, it is identified that finite element analysis results using the three methods do not show significant difference.

• Structural Engineering and Mechanics
• /
• 제9권4호
• /
• pp.397-416
• /
• 2000

The present study deals with the nonlinear dynamics and stability of autonomous dissipative either imperfect potential (limit point) systems or perfect (bifurcational) non-potential ones. Through a fully nonlinear dynamic analysis, performed on two simple 2-DOF models corresponding to the classes of systems mentioned above, and with the aid of basic definitions of the theory of nonlinear dynamical systems, new important phenomena are revealed. For the first class of systems a third possibility of postbuckling dynamic response is offered, associated with a point attractor on the prebuckling primary path, while for the second one the new findings are chaos-like (most likely chaotic) motions, consecutive regions of point and periodic attractors, series of global bifurcations and point attractor response of always existing complementary equilibrium configurations, regardless of the value of the nonconservativeness parameter.

• 대한교통학회지
• /
• 제22권5호
• /
• pp.123-137
• /
• 2004

시간에 따라 변화하는 네트워크 상황을 반영하는 통행배분 연구가 활발히 진행되고 있다. 이러한 연구의 배경에는 통행배분 모델이 도로망 계획이라고 하는 하드웨어 분야의 계획에만 그치지 않고 교통관리나 제어라고 하는 소프트웨어 분야의 계획에도 활용하고자 하는 사회적 필요성의 증가 때문이다. 또한, 통행배분 모형의 이론과 현실 사이의 괴리를 줄이고자 하는 차원에서 연구되고 있는 모형으로 다중계층 통행배분 모형이 있다. 이 모형은 다중 운전자 계층과 다차종 계층으로 구분되며 이중에서 동적모형과 결합될 수 있는 보다 현실성 있는 분야는 다차종 분야이다. 이러한 배경에서 본 연구의 목적은 이 두 분야를 결합한 다차종 동적 통행배분 모형을 구축하고자 한다. 이것은 동적 이용자 균형 배분 모형이 현재 이슈화 되고 있는 첨단교통체계(ITS)의 이론적 지주가 되고 있으며 따라서 이러한 동적모형을 다중계층 모형과 결합시킴으로써 보다 현실성 있는 동적 모형이 구축될 수 있을 것으로 기대되기 때문이다. 그렇지만 다수의 차종을 고려하게 되는 경우 기존의 동적 배분 모형의 구축을 위하여 필요한 FIFO가 위반된다. 이것은 FIFO 제약 조건하에 구축되는 기존의 동적 배분 모델링 방법으로는 다차종 동적모형의 구축이 불가능함을 의미한다. 따라서 본 연구에서는 FIFO 제약조건을 완화 시킬 수 있는 동적 네트워크의 모형을 구축하였으며 동시에 기존의 네트워크 부화 기법의 하나인 시뮬래이션 기법을 수정하여 본 연구의 모형에 적용될 수 있도록 고안하였다. 또한 해법(알고리즘) 분야오 기존의 최단경로 산정 알고리즘을 수정한 시간종속적인 최단경로 알고리즘과, 기존의 MSA를 수정한 알고리즘도 구축하였다. 이렇게 구축된 모형과 알고리즘을 격자형 격자형 네트워크에 적용하여 동적이용자 균형해를 산정하여 구축된 알고리즘의 수렴성을 검증하였다.