• Journal of Korea Multimedia Society
• /
• v.19 no.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.

• The Journal of the Korea Contents Association
• /
• v.3 no.2
• /
• pp.39-45
• /
• 2003

Dynamic dan loading and class linking of Java is a poweful mechanism. Many other system also support some form of dynamic loading and linking, but lazy loading, type-safe linkage, user-definable class loading policy, and multiple namespaces are important features of Java The ue U dan loading is assured of type safety. The security of Java greatly depends on type safety. In JVM, type safety mechanism is very difficult and access of accuracy is not dear, so type safety problems were raised. In paper, n analysis simple Java code and present a diagram graph and an operational semantics for dynamic class loading and type safety.

• Proceedings of the Korea Contents Association Conference
• /
• 2003.05a
• /
• pp.171-176
• /
• 2003

The core of class loading is assured of type safety. The security of Java greatly depends on type safety. In JVM, type safety mechanism is very difficult and access of accuracy is not clear, so type safety problems were raised. In paper, we analysis simple Java code and present a diagram graph and an operational semantics for dynamic class loading and type safety.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.13 no.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.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.6
• /
• pp.1361-1372
• /
• 2017

If an external attacker takes from a victim's smartphone a copy of a secret application or an application to which fingerprinting technique is applied, secret information can be leaked or the legitimate user can be misunderstood as an illegal redistributor, which results in a serious security problem. To solve this problem, this paper proposes an Android application code protection scheme using fingerprint authentication and dynamic loading. The proposed scheme divides one application into CLR(Class LoadeR) and SED(SEperated Dex). CLR is an APK file with the ability to dynamically load the SED, and the SED is a file containing the classes required to run the application. The SED is stored inside the smartphone after being encrypted, and the SED can be decrypted only if the user is successfully authenticated using his or her fingerprint. The proposed scheme can protect the application code from the attacker who physically acquired user's smartphone.

• The Journal of Information Technology
• /
• v.4 no.1
• /
• pp.1-7
• /
• 2001

The well-known tradeoff of Java's portability is the inefficiency of its basic execution model, which relies on the interpretation of an virtual machine. Many solutions have been proposed to overcome this problem, such as just-in-time(JIT) and offline bytecode compilers. However, JIT compiler can not avoid the overhead of runtime. since it translate bytecode into native code at runtime. And, pure offline bytecode compiler limits the ability of dynamic class loading. In this paper, we present an approach which preserves the ability to dynamically load bytecode, and is more efficient than JIT. In contrast to existing bytecode-to-C translator using the old NMI, our translator maintain complete compatibility and portability through using the Java Native Interface(JNI) standard. We have designed and implemented an translator for converting bytecode to C code with JNI.. named MyJNItool.

• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.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.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.14 no.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
• /
• v.9 no.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.

• Journal of Korean Society of Transportation
• /
• v.22 no.5
• /
• pp.123-137
• /
• 2004

The study on traffic assignment is actively being performed which reflect networks status using time. Its background is increasing social needs to use traffic assignment models in not only hardware area of road network plan but also software area of traffic management or control. In addition, multi-class traffic assignment model is receiving study in order to fill a gap between theory and practice of traffic assignment model. This model is made up of two, one of which is multi-driver class and the other multi-vehicle class. The latter is the more realistic because it can be combined with dynamic model. On this background, this study is to build multidynamic model combining the above-mentioned two areas. This has been a theoretic pillar of ITS in which dynamic user equilibrium assignment model is now made an issue, therefore more realistic dynamic model is expected to be built by combining it with multi-class model. In case of multi-vehicle, FIFO would be violated which is necessary to build the dynamic assignment model. This means that it is impossible to build multi-vehicle dynamic model with the existing dynamic assignment modelling method built under the conditions of FIFO. This study builds dynamic network model which could relieve the FIFO conditions. At the same time, simulation method, one of the existing network loading method, is modified to be applied to this study. Also, as a solution(algorithm) area, time dependent shortest path algorithm which has been modified from existing shortest path algorithm and the existing MSA modified algorithm are built. The convergence of the algorithm is examined which is built by calculating dynamic user equilibrium solution adopting the model and algorithm and grid network.