• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.290-293
• /
• 2024

최근 IoT (Internet of Things, IoT) 기기가 전 산업과 일상 생활에 활용되면서 취약점 탐지 기술이 중요해지고 있다. 그러나 리소스가 제약적인 IoT 기기에는 종래의 퍼징 기술을 적용하기 어렵다. 본 논문에서는 경량화 IoT 환경에서 퍼징 기술을 적용하기 위한 테스트케이스 선택 기법을 제안했다. 실험 결과에 따르면, 제안하는 방식은 무작위 입력을 생성하여 퍼징하는 종래 퍼저보다 평균 61.49% 빠르게 취약점을 탐지했다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.243-244
• /
• 2024

IoT 장치의 개수가 급증함에 따라 네트워크 환경에서 송수신되는 데이터 양이 증가하였고, 이에 따라 데이터 전송과정의 보안 강화가 중요해지고 있다. 기존에는 데이터에 인공 노이즈를 추가하는 차등 프라이버시 기법(Differential Privacy, DP)을 적용하여 데이터를 보호하고 있다. 하지만 DP가 적용된 데이터를 수신하는 정상 사용자의 머신러닝 학습 정확도가 감소되는 문제가 있다. 본 논문에서는 고신뢰 데이터 전송을 위한 데이터 인코딩 기반의 DP 기법인 EN-DP (Encoding-based DP) 모델을 제안한다. 실험 결과에 따르면, EN-DP 를 통한 정상 사용자와 공격자 간의 학습 능력 정확도 간극을 종래 모델 대비 최대 17.16% 개선할 수 있음을 입증하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.167-168
• /
• 2024

본 연구에서는 물리계층 보안을 위한 키 길이를 IoT 무선 채널 상태에 따라 조정하는 링크 적응 방법을 제안한다. 시뮬레이션 결과에 따르면 제안 방식은 종래 방식 대비 평균 78.52% 개선된 처리율과 약 2배 개선된 보안성을 보인다.

• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.269-282
• /
• 2007

In this paper, we consider a two-dimensional fractional space-time diffusion equation (2DFSTDE) on a finite domain. We examine an implicit difference approximation to solve the 2DFSTDE. Stability and convergence of the method are discussed. Some numerical examples are presented to show the application of the present technique.

• Journal of applied mathematics & informatics
• /
• v.7 no.2
• /
• pp.483-491
• /
• 2000

In this paper, we use the auxiliary principle technique to suggest and analyze a class of predictor-corrector methods for solving noncoercive mixed variational inequalities. The convergence of the proposed method requires only the partially relaxed strongly monotonicity. which is even weaker than the co-coercivity. As special cases, we obtain a number of new and known results for classical variational inequalities.

• Honam Mathematical Journal
• /
• v.27 no.4
• /
• pp.665-672
• /
• 2005

By its simplicity and efficiency, subdivision is a widely used technique in computer graphics, computer aided design and data compression. In this paper we prove a regularity theorem for ternary interpolatory subdivision scheme that can be applied to non-stationary subdivision. This theorem converts the convergence of the limit curve of a ternary interpolatory subdivision to the analysis of the rate of the contraction of differences of the polygons.

• Journal of the Korean Society of Industry Convergence
• /
• v.2 no.1
• /
• pp.3-15
• /
• 1999

It is necessary to observe the in-cylinder phenomena directly for understanding in-cylinder air motion, combustion and evaluation of the numerical simulation. This paper describes the usage, structure and peculiar technique in design, and introduces the examples of the analyses using the engine from the Honda R&D Technical Review.

• Journal of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.767-788
• /
• 2010

In this paper, we propose two limited memory BFGS algorithms with a nonmonotone line search technique for unconstrained optimization problems. The global convergence of the given methods will be established under suitable conditions. Numerical results show that the presented algorithms are more competitive than the normal BFGS method.

• Journal of the Korean Society of Industry Convergence
• /
• v.3 no.3
• /
• pp.201-207
• /
• 2000

In this study, methodologies for checking the interference between in-core instrumentation (ICI) guide tubes for routing of ICI guide tubes in the reactor coolant system of typical Pressurized Water Reactor under cold and normal operation (NOP) conditions are presented. The closest points of ICI guide tubes under cold condition are calculated by using minimize technique and are used as data for NOP analysis. Movements of ICI guide tubes under NOP condition are performed by the commercial computer code, SUPERPIPE.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.317-329
• /
• 2006

In this paper, a singularly perturbed ordinary differential equation with non-smooth data is considered. The numerical method is generated by means of a Petrov-Galerkin finite element method with the piecewise-exponential test function and the piecewise-linear trial function. At the discontinuous point of the coefficient, a special technique is used. The method is shown to be first-order accurate and singular perturbation parameter uniform convergence. Finally, numerical results are presented, which are in agreement with theoretical results.