• 정보보호학회논문지
• /
• 제21권3호
• /
• pp.11-25
• /
• 2011

ID 기반 암호시스템의 구현을 위한 Weil, Tate, Ate와 같은 페어링 연산 기법에서는 밀러 알고리듬이 사용된다. 본 연구에서는 밀려 알고리듬에 대한 오류 공격의 하나인 Mrabet의 방법을 분석하여 타원곡선을 표현하는 가장 기본적인 좌표계인 아핀좌표계에서의 효과적인 오류주입공격 방법을 제안하였다. 제안하는 오류주입공격은 멀리 알고리듬의 루프 횟수를 판별하는 분기 구문에 오류를 주입하는 모델이며, 실제 레이저 주입 실험을 수행하여 검증하였다. 이 모델은 기존의 루프 횟수 오류 기법에서 요구하였던 확률적인 분석을 생략할 수 있어 효과적이다.

• 대한수학회보
• /
• 제56권2호
• /
• pp.277-283
• /
• 2019

In this paper, we present a cube root algorithm using a recurrence relation. Additionally, we compare the implementations of the Pocklington and $Padr{\acute{o}}-S{\acute{a}}ez$ algorithm with the Adleman-Manders-Miller algorithm. With the recurrence relations, we improve the Pocklington and $Padr{\acute{o}}-S{\acute{a}}ez$ algorithm by using a smaller base for exponentiation. Our method can reduce the average number of ${\mathbb{F}}_q$ multiplications.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.299-306
• /
• 2003

본 논문에서는 현재 사용되고 있는 소수성 검정 알고리즘의 효율성을 비교하여 효과적인 알고리즘 사용에 관한 방향을 제시하려 한다. 현재 가장 일반적으로 사용하고 있는 Miller-Rabin 소수성검정법(Miller-Rabin primality test)에 대하여, Miller-Rabin 소수성 검정법 이외에 다른 확률적 소수성 검정법으로 제안된 Frobenius-Grantham 소수성 검정법(Frobenius-Grantham primality test) 이 있다. 그러나 합성수 판별에 대한 확률적 우세함에도 불구하고, Miller-Rabin 소수성 검정법을 대체하고 있지 못하는 이유는 시간복잡도(time complexity)가 Randomized polynomial time이기 때문에 같은 확률에 대한 평균 실행 속도가 Miller-Rabin 소수성 검정법보다 크게 효율적이지 못하기 때문이다. 또한, 2002년 Manindra Agrawal이 제시한 AKS 알고리즘(AKS algorithm)은 최초의 다항식 시간내 결정적 소수성 검정법(Polynomial time deterministic primality test)이지만, 시간 복잡도에서 다항식의 차수가 높기 때문에 현재 사용되고 있는 확률적 소수성 검정법(Probabilistic primality test)을 대체하지 못할 것으로 사료된다. 본 논문에서는 최근 발표된 소수성 검정법인 Frobenius-Grantham 소수성 검정법, AKS 알고리즘과 기존의 Miller-Rabin 소수성 검정법의 장단점을 비교·분석해 보고자 한다.

• 전자공학회논문지
• /
• 제50권2호
• /
• pp.70-79
• /
• 2013

최근 이동 ad hoc 네트워크에 적합한 ID 기반의 암호시스템 구현을 위해서 다양한 페어링 연산들이 사용되고 있으며, 밀러 알고리듬은 Weil, Tate, Ate 페어링 연산에서 가장 많이 사용되는 알고리듬이다. 본 논문에서는 Whelan과 Scott에 의해 제안된 밀러 알고리듬의 중간 값에 대한 오류 공격을 구체화하여 라운드 위치와 상관없이 적용할 수 있는 데이터 오류 주입 공격의 가능성을 분석하였다. 시뮬레이션 결과, 제안하는 공격 방법이 라운드 위치나 사용하는 좌표계와 관계없이 적용 가능하여 효과적이며 강력한 오류 주입 공격 방법임을 확인하였다.

• 디지털산업정보학회논문지
• /
• 제9권3호
• /
• pp.21-30
• /
• 2013

Powell-Miller theory is a good method to express or treat incorrect information. But it has limitation that requires too much time to apply to actual situation because computational complexity increases in exponential and functional way. Accordingly, there have been several attempts to reduce computational complexity but side effect followed - certainty factor fell. This study suggested expanded Approximation Algorithm. Expanded Approximation Algorithm is a method to consider both smallest supersets and largest subsets to expand basic space into a space including inverse set and to reduce Approximation error. By using expanded Approximation Algorithm suggested in the study, basic probability assignment function value of subsets was alloted and added to basic probability assignment function value of sets related to the subsets. This made subsets newly created become Approximation more efficiently. As a result, it could be known that certain function value which is based on basic probability assignment function is closely near actual optimal result. And certainty in correctness can be obtained while computational complexity could be reduced. by using Algorithm suggested in the study, exact information necessary for a system can be obtained.

• EDISON SW 활용 경진대회 논문집
• /
• 제4회(2015년)
• /
• pp.6-13
• /
• 2015

이 연구는 초기 지구의 대기 환경에서 유기화합물(glycine)이 합성되는 실험(Urey-Miller 실험)에서의 반응 경로를 Deterministic한 방법의 중간체 sampling 방법으로 반응 네트워크를 구성하고 Yen's알고리즘으로 네트워크 내의 최단경로를 제시함으로써 반응물과 생성물이 결정되어 있을 때 최소한의 화학적 직관만을 이용하여 제시하는 것이 목표이다. 이 연구 결과는 2014년도 Nature Chemistry에 발표된 다른 방법론을 적용하여 제시된 Urey-Miller reaction path와 비교해 어떠한 반응이 상대적으로 더 타당한 경로를 제시했을지 알아보았다. 이 연구에서 나온 reaction path에서의 중간체들에 대해 GAMESS를 이용한 B3LYP/6-31g(d,p) DFT계산을 수행하였다. 결과를 분석해보면서 어떤 부분이 부족하며 이 연구에 적용한 방법론을 어떻게 발전시켜나가야 더 나은 결과를 얻을 수 있을지를 함께 고려해 보았다.

• 한국컴퓨터산업학회논문지
• /
• 제2권6호
• /
• pp.817-826
• /
• 2001

본 논문에서는 훼손된 신호를 처리하는 방법에 대해 연구하였다. 기존의 처리방법은 특이점이나 악 조건일 경우 수렴 속도가 늦어진다는 점과 처리시간이 많이 소요되는 단점이 있다. 이러한 단점을 보완하기 위하여 Gauss-Seidel 방법으로 처리하는 방법이 있으나 이러한 경우 신호를 반복해서 처리해야 하므로 처리시간이 많이 소요된다. 이러한 단점(수렴 속도, 전체 처리시간)을 개선하기 위하여 본 논문에서는 기존의 신호처리 (Tikhnov-Miller)와 제안된 알고리즘을 적용시켜 비교하여 봄으로써 특이점 혹은 악조건일 경우에도 수렴속도를 고속화하여 기존의 Tikhnov-Miller 신호 처리 방법보다 처리 시간을 단축할 수 있는 신호 처리 방법을 제시하였다. 제안된 최적화 알고리즘을 영상신호에 적용시켜 가속 상수에 따른 처리 신호에 대한 실험과 오차(mean-square error)의 변화를 비교하여 봄으로써 처리정도를 알아보았다. 그리고, 본 알고리즘의 유효성을 입증하기 위하여 모든 가속상수의 변화에 대한 신호처리 결과와 처리시간을 측정하였다.

• 전자공학회논문지
• /
• 제50권7호
• /
• pp.68-75
• /
• 2013

최근 이동 ad hoc 네트워크에 적합한 ID기반 암호시스템의 구현을 위한 Weil, Tate, Ate와 같은 페어링 연산 기법에서는 밀러 알고리듬이 사용된다. 페어링 연산의 활용 영역이 넓어짐에 따라 다양한 오류 공격이 제안되고 있으며, 그중 카운터 오류 공격이 가장 강력한 위협으로 여겨진다. 따라서 본 연구에서는 카운터 오류 공격에 대한 새로운 대응책을 제안한다. 제안 기법은 중간 값을 저장하는 위치를 랜덤하게 함으로써 오류에 의한 변형 가능성을 줄이고, if 구문에 의한 부채널 특성을 제거하여 오류 공격의 시도 자체를 어렵게 한다.

• 대한전기학회논문지
• /
• 제41권3호
• /
• pp.237-243
• /
• 1992

The large value of the snubber capacitor is needed to protect the devices in high voltage converters using series connected power semiconductors. But that results in more losses and longer commutation time. So, new technique of series connection is required, which can minimize the value of snubber capacitor and also promote the reliability of high voltage converters. We study on the switching characteristics of series connected power semiconductors and then propose a novel switching algorithm for series-connection which is able to implement not only the dynamic voltage balancing in spite of the differerce of switching characteristics, but the minimization of the value of snubber capacitor, through the change of the value of snubber capacitor by Miller effect. Finally, we illustrate the validity of this synchronization by computer simulation and experimental results.

• 한국항공우주학회지
• /
• 제33권12호
• /
• pp.33-38
• /
• 2005

본 연구에서는 팽창형 막 구조물의 대변형 특성을 수치적 그리고 실험적으로 살펴보았다. Miller와 Hedgepeth의 막 이론을 이용하여 주름 효과를 고려한 막재료 구성방정식을 FORTRAN으로 해석 알고리즘을 만들어 user material(UMAT) subroutine을 개발하였다. 개발된 주름 해석 UMAT subroutine을 상용 해석 프로그램 ABAQUS와 연계 해석하여 팽창형 막 구조물의 주름 영역과 변형된 형상 특성 연구를 수행하였다.