• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.4
• /
• pp.753-762
• /
• 2021

WebAssembly(WASM) is a low-level instruction format that can be run in a web environment. Since WASM has a excellent performance, various web applications use webassembly. However, according to our security analysis WASM has a security pitfall related to control flow integrity (CFI) for indirect calls. To address the problem in this paper we propose a new code instrumentation scheme to protect indirect calls, named WACFI. Specifically WACFI enhances a CFI technique for indirect call in WASM based on source code anlysis and binary instrumentation. To test the feasibility of WACFI, we applied WACFI to a sound-encoding application. According to our experimental results WACFI only adds 2.75% overhead on the execution time while protecting indirect calls safely.

• The Journal of Bigdata
• /
• v.4 no.2
• /
• pp.13-22
• /
• 2019

This study was conducted with funding from the government (Ministry of Agriculture, Food and Rural Affairs) in 2018 with support from the Agricultural, Food, and Rural Affairs Agency, 318069-03-HD040, and is based on artificial intelligence-based HPAI spread analysis and patterning. The inflow of highly pathogenic avian influenza is coming through migratory birds from abroad, but it is not known exactly what pathways provide the farm with the cause of the infection. And the transition between farms from the generated farms only assumes that the vehicle is the main cause, and the main cause of the spread is not exactly known. Based on the call detailed records (CDR) data provided by KT, the study aims to see how people visiting migratory bird-watching sites, presumed to be the site of the outbreak, will flow through infected farms.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.1C
• /
• pp.36-47
• /
• 2002

MGCP ia standard protocol by IFTF, which is designed to facilitate inter-working with other protocols. Since the nature of protocol, it can be known as a proper solution to integrate heterogeneous networks consisted of various protocols and systems. In this paper MGCP is used for controlling VoIP gateways from external call control elements(MGCs) and introduces a method to improve interoperability for various MGC in a gateway based on MGCP. It presents implementation issues to provide the interoperability for MGC dependent parts such as call flows of message encoding, and a system architecture to resolve the issues.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1998.04a
• /
• pp.465-470
• /
• 1998

A cross-flow fan often generates discrete noise call blade passing frequency tones. Several methods have been investigated to reduce this BPF noise, where the random distribution of blades is the most promising one. A simple and effective algorithm to determine a random distribution of blades is proposed which considers fan. performance as well as noise characteristics. The proposed method is verified by a simple numerical model and is applied in manufacturing cross-flow fan samples. Also some experiments are carried out and the experimental results are analyzed.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.337-346
• /
• 2001

A linearization owing to Oseen originally is performed to study the recirculating Navier-Stokes flows at high Reynolds numbers. The procedure is generalized to produce higher order asymptotic expansion for the flow velocity. We call this the Oseen-type expansion of the given flow. As a concrete example, the velocity of a steady Navier-Stockes flow due to a swimming flexible sheet in two-dimensional infinite strip domain is calculated by an asymptotic expansion technic with two-parameters, the Reynolds number R and the perturbation parameter $\varepsilon$ first and then R secondly. The asymptotic result is up to second order in $\varepsilon$.

• Journal of Communications and Networks
• /
• v.12 no.6
• /
• pp.568-576
• /
• 2010

The paper presents a control architecture aimed at implementing bandwidth optimization combined with call admission control (CAC) over a digital video broadcasting (DVB) return channel satellite terminal (RCST) under quality of service (QoS) constraints. The approach can be applied in all cases where traffic flows, coming from a terrestrial portion of the network, are merged together within a single DVB flow, which is then forwarded over the satellite channel. The paper introduces the architecture of data and control plane of the RCST at layer 2. The data plane is composed of a set of traffic buffers served with a given bandwidth. The control plane proposed in this paper includes a layer 2 resource manager (L2RM), which is structured into decision makers (DM), one for each traffic buffer of the data plane. Each DM contains a virtual queue, which exactly duplicates the corresponding traffic buffer and performs the actions to compute the minimum bandwidth need to assure the QoS constraints. After computing the minimum bandwidth through a given algorithm (in this view the paper reports some schemes taken in the literature which may be applied), each DM communicates this bandwidth value to the L2RM, which allocates bandwidth to traffic buffers at the data plane. Real bandwidth allocations are driven by the information provided by the DMs. Bandwidth control is linked to a CAC scheme, which uses current bandwidth allocations and peak bandwidth of the call entering the network to decide admission. The performance evaluation is dedicated to show the efficiency of the proposed combined bandwidth allocation and CAC.

• Journal of ILASS-Korea
• /
• v.10 no.4
• /
• pp.26-31
• /
• 2005

Today, the research to examine a fact that interaction between the air and the fluid free surface affects the steady state flow and air. We proved the interaction between vortex pairs and free surface on each condition that is created by the end of delta wings. Another purpose of this study is to investigate the effect of surface active material which call change the surface tension and we must consider when we refer to turbulent flow on surface tension. Therefore, this research examined the growth process of vortex pairs on condition of clean, contaminated free surface and wall after we made vortex pairs through counter rotating flaps. The results of this study suggest that vortex pairs in clean free surface rise safely but the vortex pairs in contaminated free surface and rigid, no slip is made secondary vortex or rebounding. However the secondary vortex in rigid, no slip is stronger than before. and we can find the vortex shape which roll up more completely. However, these will disappear by the effect of wall.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.6
• /
• pp.77-81
• /
• 2016

This paper deals with the optimization problem that decides the routing of connection between multi-source and multi-sink. For this problem, there is only in used the mathematical approach as linear programming (LP) software package and has been unknown the polynomial time algorithm. In this paper we suggest the heuristic algorithm with $O(mn)^2$ time complexity to solve the optimal solution for this problem. This paper suggests the simple method that assigns the possible call flow quantity to augmenting path of ($s_i,t_i$) city pair satisfied with demand of ($s_i,t_i$). The proposed algorithm can be get the same optimal solution as LP for experimental data.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1213-1214
• /
• 2012

Global variables can be read or modified by any part of the program, making it difficult to remember or reason about every possible use. Sometime it has tight couplings between some of other variables, and couplings between variables and functions. The main focus of this paper is to use call graph and the control flow analysis to design a model from where we generate the test cases for testing global variables.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.1
• /
• pp.143-149
• /
• 2002

Robot are necessary to automate the work on a vertical plane of work piece to produce a large structure like a ship, so that a permanent magnet wheel has been attempted to be used for a mobile robot. Its adhesive power was enhanced by restricting the occurrence direction of magnetic flow. Furthermore a method which weakened the adhesive force was developed for easy detachement of the wheel by changing magnetic flow with metal pin. To measure the characteristics of the adhesive and detaching farces, a load call and a gaussmeter were used. The result showed that the adhesive power was reduced to 1/3 of normal state by using 4 inducing pins.