• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.106-109
• /
• 2002

무선 통신의 발달로 무선 단말기 상에서 서명 생성 및 검증과 메시지의 암호화와 복호화 등의 연산의 필요성이 대두되었다. 하지만, 무선 통신이라는 특성상 적은 메모리 용량을 사용해서 빠른 연산을 수행하고, 적은 통신량을 보장해야 한다. 이러한 무선 단말기의 제약사항은 서명과 암호화를 함께 하는 Signcryption 개념과 ECC 기반의 연산을 수행하여 해결할 수 있다. 또한 네트워크상에서의 정보보안을 위해 설치된 방화벽을 통과하기 위해서는 서명의 검증이 필요한데, 서명된 메시지를 암호화 해서 보낼 경우 서명 검증시 수신자의 비밀키가 있어야 메시지를 복원해서 서명을 검증할 수 있기 때문에 이 점을 보완하기 위해 본 논문에서는 서명 검증시에 평문이 필요없는 ECC 기반의 signcryption 방식을 제안한다.

• Steel and Composite Structures
• /
• v.35 no.6
• /
• pp.765-777
• /
• 2020

In the context of classic conical shell formulation, nonlinear forced vibration analysis of truncated conical shells and annular plates made of multi-scale epoxy/CNT/fiberglass composites has been presented. The composite material is reinforced by carbon nanotube (CNT) and also fiberglass for which the material properties are defined according to a 3D Mori-Tanaka micromechanical scheme. By utilizing the Jacobi elliptic functions, the frequency-deflection curves of truncated conical shells and annular plates related to their forced vibrations have been derived. The main focus is to study the influences of CNT amount, fiberglass volume, open angle, fiber angle, truncated distance and force magnitude on forced vibrational behaviors of multi-scale truncated conical shells and annular plates.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.303-309
• /
• 2009

Cryptographic protocols depend on the hardness of some computational problems for their security. Joux briefly summarized known relations between assumptions related bilinear map in a sense that if one problem can be solved easily, then another problem can be solved within a polynomial time [6]. In this paper, we investigate additional relations between them. Firstly, we show that the computational Diffie-Hellman assumption implies the bilinear Diffie-Hellman assumption or the general inversion assumption. Secondly, we show that a cryptographic useful self-bilinear map does not exist. If a self-bilinear map exists, it might be used as a building block for several cryptographic applications such as a multilinear map. As a corollary, we show that a fixed inversion of a bilinear map with homomorphic property is impossible. Finally, we remark that a self-bilinear map proposed in [7] is not essentially self-bilinear.

• Structural Engineering and Mechanics
• /
• v.13 no.6
• /
• pp.713-730
• /
• 2002

This paper presents a finite element approach for determining the natural frequencies for planar inclined arches of various shapes vibrating in three-dimensional space. The profile of inclined arches, represented by undeformed centriodal axis of cross-section, is defined by the equation of plane curves expressed in the rectangular coordinates which are : circular, parabolic, sine, elliptic, and catenary shapes. In free vibration state, the arch is slightly displaced from its undeformed position. The linear relationship between curvature-torsion and axial strain is expressed in terms of the displacements in three-dimensional space. The finite element discretization along the span length is used rather than the total are length. Numerical results for arches of various shapes are given and they are in good agreement with those reported in literature. The natural frequency parameters and mode shapes are reported as functions of two nondimensional parameters: the span to cord length ratio (e) and the rise to cord length ratio (f).

• Journal of computational fluids engineering
• /
• v.1 no.1
• /
• pp.19-25
• /
• 1996

A multiblock grid generation has been developed to be reliably used for a Navier-Stokes simulation of the turbomachinery flow-fields A multiblock structure simplifies the creation of structured H-grids about complex turbomachinery geometries and facilitate the creation of a grid in the tip flow region. The numerical algorithm adopts the combination of the algebraic and elliptic method to create the internal grids efficiently and quickly. The grid refinement process is enhanced by developing strategies to utilized Bezier curves and splines along with weighted transfinite interpolation technique and by formulating the grid-imbedding method for the viscous boundary-layer meshes. For purposes of illustration, the grid generator is applied to the high turning turbine rotor blades. Two different types of computational grids are provided to be compared with respect to the grid adaptation to the flow simulations. Extension to three-dimensions was done to show the possibility of its application to the tip-flow simulations. The grid quality of the multiblock structure is good in the passages, with gloval orthogonality and adequate smoothness.

• 한국전산유체공학회:학술대회논문집
• /
• 1999.11a
• /
• pp.145-151
• /
• 1999

An Interactive grid generation program(KGRID) with graphical user interface(GUI) has been improved. KGRID works on the UNLX environment and GUI has been implemented with OSF/Motif and X Toolkit and the graphics language is Open GL for visualization of the 3D objects. It supports more convenient user environment to generate 2D and 3D multi-block structured grid systems. It provides various useful field grid generation methods, which are the algebraic methods, the elliptic partial differential equations method and the predictor-corrector method. It also supports 3D surface grid generation with NURBS(Non-Uniform Rational B-Spline) and various stretching functions to control grid points distribution on curves and surfaces. And some menus are added to perform flexible management, for the objects. We generated surface and field grid system about full aircraft configuration using KGRID. The performance and stability of the KGRID is verified through the generation of the grid system about a complex shape.

• Kyungpook Mathematical Journal
• /
• v.55 no.3
• /
• pp.587-595
• /
• 2015

In this article, we will examine the Diophantine equation $ax^6+by^3+cz^2=0$, for arbitrary rational integers a, b, and c in Gaussian integers and find all the solutions of this equation for many different values of a, b, and c. Moreover, two equations of the type $x^6{\pm}iy^3+z^2=0$, and $x^6+y^3{\pm}wz^2=0$ are also discussed, where i is the imaginary unit and w is a third root of unity.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.3
• /
• pp.567-571
• /
• 2015

Brezing and Weng proposed a method to generate CM parameters of pairing-friendly elliptic curves using polynomial representations of a number field, and Freeman generalized the method for the case of abelian varieties. In this paper we derive explicit formulae to find a family of polynomials used in Brezing-Weng method especially in the case of abelian surfaces, and present some examples generated by the proposed method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.917-920
• /
• 2002

PKI(Public Key Infrastructure)의 발달과 함께 전자서명의 필요성 또한 대두되고 있다. 전자서명이 무선 PKI환경에서도 사용되기 위해서는 최소한의 서명 생성 검증 시간과 적은 저장 공간, 적은 대역폭의 사용 등의 조건을 만족해야 한다. 본 논문에서는 서명 생성 검증 시간을 줄여주기 위해서 타원곡선 상의 연산을 이용하고, 대역폭의 감소를 위해서 서명의 크기를 최소화해서 보내줄 수 있는 복원형 전자서명에 대해서 알아볼 것이다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1994.11a
• /
• pp.166-179
• /
• 1994

Diffie-Hellman 의 공개 키 암호 프로토콜이 제안된 이후 이산 대수 문제의 어려움이 프로토콜의 안전도와 깊이 연관되었다. 유한체를 이용한 암호 기법을 ElGamal 이 세웠으나, Index-Calculus 알고리듬에 의해 유한체위 에서 이산 대수 문제가 subexponential 알고리듬이되 어 ElGamal 기법의 안전도가 약해졌다. Nonsupersingular타원 곡선을 선택하여 유한체대신 ElGamal 암호 기법에 적용하면 안전한 암호 시스템을 설계할 수 있다. 이 논문에서는 콤퓨터 구현시 용이한 nonsupersingular 타원 곡선을 선택하는 방법, 유한체위에서의 연산, 평문을 타원 곡선의 원소로 임베드(Imbedding) 하는 방법 등 타원 곡선을 암호시스템에 적응하기 어려운 점들에 대한 해결 방법을 소개하고, 실제로 콤퓨터로 구현하여 그 실행 결과와 ElGamal 기법을 개선한 Schnorr 기법을 실행한 결과를 밝혔다.