• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.8 no.3
• /
• pp.17-26
• /
• 1998

본 논문에서는 DES(Data EncryptionStandard)시스템에서의 핵심부분에 해당되는f 함수에 대한 비선형 해석을 다룬다. 먼저 S-box의 입출력 형태를 비션형 결합함수 형태로 구성하여 f 함수에 대한 또 다른 형태의 분석방식을 제시한다. 이러한 분석방법은 DES뿐만 아니라 블록 암호시스템의 안전성 문제를 분석할 수 있으며, 또한 보다 안전한 블록암호 시스템을 제안하기 위한 기초자료로 사용될수 있을 것이다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2001.05a
• /
• pp.77-83
• /
• 2001

In recent years, the AES in North America and the NESSIE project in Europe have been in progress. Six proposals have been submitted to the NESSIE project including the LILI-128 by Simpson in Australia in the synchronous stream cipher category. These proposals tend towards a design with parallelism of the algorithms in order to facilitate speed-up. In this paper, we consider the PS-LFSR and propose the effective implementation of various nonlinear combiners: memoryless-nonlinear combiner, memory-nonlinear combiner, nonlinear filter function, and clock-controlled function. Finally, we propose m-parallel SUM-BSG and LILI-l28's parallel implementation as examples, and we determine their securities and performances.

• The Korean Journal of Applied Statistics
• /
• v.14 no.2
• /
• pp.357-367
• /
• 2001

Huber의 M-추정함수의 형태는 조율상수가 주어질 때 비로소 그 형태가 결정된다. 조율상수를 커널밀도함수추정량의 평활계수를 이용하여 구하여 보았고, 모의실험을 통해 기존에 상요되는 조율상수들과 그 성능을 비교하여 보았다. 그 결과 새로운 방법에 의해 구해진 조율상수가 기존의 조율상수를 사용하는 경우 보다 모의실험을 통해 얻은 추정치의 분산이 작게되는 경우가 있음을 알았다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.5 no.1
• /
• pp.3-16
• /
• 1995

In this paper, we deal with the cryptographic properties of Boolean functions generated by recursively extended methods from the points of balancedness, nonlinearity and correlation properties. First, we propose a new concept 'Strict Uncorrelated Criterion(SUC)' for two Boolean functions as a necessary condition for constructing Boolean functions of S-box which can be guaranteed to be resistant against Differential cryptanalysis, then we show that the recurively extended Boolean functions with particular form preserve the SUC. We also examine the correlation properties of Boolean functions using Walsh-Hadamard transformations and apply them to discuss nonlinearity, correlation properties and SUC of semi-bent function which is defined over odd dimensional vector space. Finally, we compare semi-bent function with Boolean functions which are generated by other similar recursive methods.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.16 no.4 s.95
• /
• pp.418-426
• /
• 2005

Based upon three level approximation and the steepest descent path(SDP) method, we consider an optimum choice of approximation path for derivation of new class of closed-flrm Green's functions which can lead to the analytic evaluation of MoM(Method of Moment) matrix elements. It is observed that the present method can give more accurate evaluation of the spatial Green's functions than the previous method, even without the advance investigation of the spectral functions, over a wide frequency range. In order to check the validity of the present method, some numerical results are presented.

• Journal of Korean Ophthalmic Optics Society
• /
• v.2 no.1
• /
• pp.17-24
• /
• 1997

The Voight function which results from the convolution of the Gauss and Lorentz function is applied the MAS-NMR simulation of mixed alkali glasses and the glasses doped transition metal oxides. It is well known that the convolution of the Gauss and Lorentz function cannot be integrated in closed form for arbitrary values. So we make the new computer simulation program from which the Voight lineshape is obtained. The results are accorded well with the MAS-NMR spectra and we can find out the very small change of MAS-NMR lineshape.

• Journal of the Korean Society for Railway
• /
• v.14 no.6
• /
• pp.495-500
• /
• 2011

In evaluating the ride comfort of railway vehicles, relationship between passenger's feeling and vibration characteristics is very important because human feeling is dependent on frequency spectrum of vibration. Therefore, the weighing curves in frequency domain are used to evaluate the ride comfort of railway vehicles. These curves have been defined in the Laplace transfer functions. It is necessary to convert the Laplace weighing function to the z weighing function in order to obtain the rms value in the time domain. In the present paper, we have applied Tustin's approximation to transform the Laplace weighing function to the z weighing and validated this method by reviewing the various cases.

• Journal of the Korean Chemical Society
• /
• v.26 no.5
• /
• pp.265-273
• /
• 1982

The effect of ${\pi}$ bonds on the calculated dipole moments for square planar and tetrahedral [M(II)$O_2S_2$]] type complexes has been investigated by two different approaches. One is the approximate molecular orbital method based on the assumption that the mixing coefficient CM of the valence basis sets for the central metal ion and the appropriate ligand orbitals is equal for all ${\sigma}$ and ${\pi}$ bonding molecular orbitals. The other is the more refined calculation based on the semiempirical LCAO-MO method. If ${\sigma}$ bonds only are assumed to be formed, the calculated dipole moments for square planar and tetrahedral complexes are lower than those of the experimental values. If the contribution of ${\pi}$ bonds to the calculated dipole moments are fully considered, the calculated dipole moments for both square planar and tetrahedral [M(II)$O_2S_2$]] type complexes are higher than the experimental values. However if ${\pi}$ bonds are assumed to be delocalzed, the calculated dipole moments for tetrahedral [M(II$O_2S_2$]] type complexes fall in the range of the experimental values, but those for square planar complexes deviate from the experimental values. These results suggest that [M(II)$O_2S_2$]] type complexes may have the tetrahedral structure in inert solvent solution. This structure is in agreement with the experimental one. The calculated dipole moments for tetrahedral [M(II)$O_2S_2$]] type complexes indicate that the contribution of ${\pi}$ bonds to the calculated dipole moments may not be neglected.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2924-2926
• /
• 2005

몇몇 논문을 통하여 테스트 노력을 고려한 소프트웨어의 신뢰도 평가가 중요한 인자인 것으로 발표되었다. 여러 산업 현장의 경험 데이타에 의하면 그 형태가 지수함수형, 레일레이형, 웨이불형, 로지스틱형 테스트 노력 함수 중 하나인 것으로 보고되었다. 그러므로 연구자들은 각각의 소프트웨어 테스트 형태에 따라 이중하나의 적합한 형태를 사용해왔다. 테스트 노력이 어떤 형태의 그래프를 따르냐에 의해 신뢰도 예측 및 성장에 대한 평가가 달라지고 그에 따라 인도시기도 변한다. 따라서, 본 논문에서는 이 네 가지 형태의 테스트 노력을 가진 소프트웨어의 신뢰도 성장에 필요한 각종 파라미터를 구하는 방법에 대하여 고찰한다. 개발 현장에서 관찰된 테스트 노력 데이터와 결함검출을 비교하여 어느 형태의 테스트 노력 곡선이 그 경우에 적합한가를 연구하는 한편, 목표 신뢰도에 맞는 발행시기를 결정하는 문제를 연구한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.127-128
• /
• 2019

본 논문에서는 SR DEVS에서 부모 객체가 자식 개체로의 상속에서 입력 함수와 출력 함수의 상속 형태에 대한 특정한 상황을 고려한다. 히든 상속의 경우 자식 객체는 부모 객체로부터 부모의 자산을 상속받더라도 상속 함수에 대한 작용이 일어나지 않는다. 이 경우 부모에게서 넘겨받은 자산에 대해 상속받지 못한 것은 아니며 단지 숨겨진 상태를 의미한다.