• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.533-543
• /
• 2018

In this paper, we propose an MILP-based method for Optimal Probability of Bit-based Differential Characteristic in SP(Substitution-permutation) ciphers based on Automatic Differential Characteristic Searching Method of Sasaki, et al. In [13], they used input/output variables and probability variables seperatably, but we simplify searching procedure by putting them(variables) together into linear inequalities. Also, In order to decrease the more linear inequalities, we choose Espresso algorithm among that used by Sasaki, et al(Quine-McCluskey algorithm & Espresso algorithm). Moreover, we apply our method to GIFT-64, GIFT-128, SKINNY-64, and we obtained results in the GIFT(Active S-boxs : 6, Probabilities : $2^{-11.415}$) compared with the existing one.(Active S-boxs : 5, Probabilities : unknown). In case of SKINNY-64, we can't find better result, but can find same result compared with the existing one.

• Proceedings of the Korea Contents Association Conference
• /
• 2018.05a
• /
• pp.23-24
• /
• 2018

최근 공격자의 사전 지식에 상관없이 개인 정보를 보호할 수 있는 차분 프라이버시 보호 기법에 대한 연구들이 진행되고 있다. 본 논문에서는 차분 프라이버시를 만족시키는 적은 수의 버킷을 가지는 히스토그램 공개 알고리즘을 소개하고 기존 알고리즘이 사용한 휴리스틱 방법의 문제와 개선 방법을 소개한다. 또한, 실험을 통해 개선한 방법이 기존의 알고리즘에 비하여 더 좋은 영역 합 질의 성능을 가지는 것을 보인다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.3
• /
• pp.119-127
• /
• 2003

Impossible differential cryptanalysis(IDC) introduced by Biham et. ${al}^{[4]}$ uses impossible differential characteristics. There-fore, a security of a block cipher against IDC is measured by impossible differential characteristics. In this paper, we pro-vide a wildly applicable method to find various impossible differential characteristics of block cipher structures not using the specified form of a round function. Using this method, we can find various impossible differential characteristics for Nyberg's generalized Feistel network and a generalized RC6-like structure. Throughout the paper, we assume round functions used in block cipher structures are bijective.ctive.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.8
• /
• pp.52-63
• /
• 2002

In this paper, we developed a numerical analysis model by using ADI-FDTD method to analyze three-dimensional interconnect structure. We discretized maxwell's curl equation by using ADI-FDTD. We introduced PML(Perfectly Matched Layer) absorbing boundary condition to solve the effect of the reflected wave at the interface. Evaluating the numerical model of PML and ADI-FDTD, we simulated the electric field distribution in time domain. We compare standard FDTD with ADI-FDTD, and analysis the result.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.7 no.4
• /
• pp.147-157
• /
• 1987

Five finite difference schemes (explicit, Bresler, implicit, upstream, and Chaudhari scheme) for the convective dispersion model are analyzed numerically to investigate their characteristics and applicabilities. Camparative study results show that the conditionally stable Chaudhari scheme has the smallest numerical dispersion and that the unconditionally stable Bresler scheme has the overshooting in regions of oscillation. Explicit scheme is the most accurate for a dispersion-dominated flow whereas Chaudhari scheme is for a convection-dominated flow. The computation time (CPU) is the shortest for the explicit or Chaudhari scheme with the same order of magnitude and is always the longest for the Bresler scheme.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.15 no.2
• /
• pp.341-349
• /
• 2002

The radar method is becoming one of the major nondestructive testing(NDT) techniques lot concrete structures. Numerical modeling of electromagnetic wane is needed to analyze radar measurement results. Finite difference-time domain(FD-TD) method can be used to simulate electromagnetic wave propagation through concrete specimens. Five concrete specimens with different thickness are modeled in 3-dimension. Radar modeling results compare measurement results to find backface of the concrete specimens and measure thickness of the concrete specimens.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.719-722
• /
• 2011

본 연구에서는 이동최소제곱 차분법을 2차원 동적고체문제를 해석하기 위하여 확장시켰으며 Newmark ${\beta}$ 방법을 통해 explicit와 implicit 시간적분법을 모두 적용하여 그 차이를 비교하였다. 이동최소제곱 차분법은 Taylor 다항식을 이용하여 미분계산을 근사화 함으로써 내부 및 경계에서도 강형식을 그대로 이용할 수 있다. 그래서 계산이 빠르고 수치적분이 필요하지 않아 무요소법의 장점을 잘 살릴 수 있고 해석차수를 손쉽게 조정할 수 있어 cubic 등의 고차 근사계산이 간편하다. 두 가지 수치예제를 통하여 동적해석에 대한 이동최소제곱 차분법의 적용성과 안정성을 검증하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05d
• /
• pp.380-385
• /
• 1996

우리나라와 같이 강진의 발생이 거의 없는 지역에서, 가까운 장래에 예상되는 지진동 파형을 추정하는 기법으로서는 설계응답스펙트럼에 위상정보를 가미하는 모의지진동에 의한 작성방법을 흔히 사용하고 있으며, 이에 사용되는 위상스펙트럼의 특성을 랜덤으로 가정하는 경우가 대부분이다. 그러나 본 논문에서는 우리들이 일반적으로 랜덤으로 취급하는 위상스펙트럼에도 지진의 특성이 반영되어 있을 것이라는 가정하에 위상차분의 특성과 포락파형의 상관관계를 도출하고 위상차분을 고려한 모의지진동 작성방법을 제안하였다. 지진파형의 포락곡선을 확률분포로 사용하여 계산한 위상차분스펙트럼의 형상은 지진파형의 포락곡선과 거의 유사함을 확인하였고, 지금까지는 랜덤으로 취급한 위상스펙트럼에 물리적인 의미를 부여하는 계기가 되었다. 그러므로 앞으로 한반도에서 지진관측자료가 축적되어 한반도에서의 특징적인 위상차분스펙트럼이 정의된다면 우리나라의 지형조건이 고려된 진일보된 설계지진동을 작성할 수 있을 것이다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.12 no.4
• /
• pp.639-648
• /
• 1999

레이더법은 건축구조물에 대한 비파괴 검사의 대표적인 방법의 하나이다. 레이더법을 이용하는데 영향을 주는 요인들을 연구하고, 레이더로 측정된 결과들을 분석하기 위해서는 전자기파의 전파에 대한 수치적인 모델링을 통한 이론적인 접근이 필요하다. 콘크리트 시편에 전파되는 전자기파를 모델링 하기 위해 유한차분 시간영역법을 적용하고자 한다. 유한차분 시간영역법은 전자파 해석과 모델링을 통한 시뮬레이션에 매우 유용한 방법이다. 본 연구에서는 유한차분 시간영역법을 이용하여 두께가 다른 4개의 시편과 두께는 100㎜로 동일하고 피복두께가 다른 3개의 시편을 3차원으로 모델링 하였다. 두께 측정 모델링 결과에서는 계산영역의 셀간격과 입사파의 파장/콘크리트 시편의 두께값이 모델링의 정확성에 미치는 영향을 알 수 있었다. 철근이 있는 시편의 모델링에서는 0.08%∼0.5%의 오차로 철근의 위치를 확인할 수 있었다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.9
• /
• pp.66-72
• /
• 2005

As one of the methods that determine position using GPS carrier phase without the resolution of integer ambiguity, the characteristics of the time difference is analyzed in this paper. When determining position by the needed accuracy, the difference time gap becomes an important factor. It is said that accuracy is improved as the difference time gap is getting large, and finally the centimeter level accuracy is achieved after a certain difference time gap. In this paper, the characteristics of the time difference is analyzed using real data and a new parameter is proposed to predict the resulting position accuracy. The difference time gap when position error is converged to the centimeter level is estimated with the proposed parameter.