• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.20 no.5
• /
• pp.37-48
• /
• 2010

Designated verifier signatures allow a signer to prove the validity of a signature to a specifically designated verifier. The designated verifier can be convinced but unable to prove the source of the message to a third party. Unlike conventional digital signatures, designated verifier signatures make it possible for a signer to repudiate his/her signature against anyone except the designated verifier. Recently, two designated verifier signature schemes, Zhang et al.'s scheme and Kang et al.'s scheme, have been shown to be insecure by concrete attacks. In this paper, we find the essential reason that the schemes open attacks while those were given with its security proofs, and show that Huang-Chou scheme and Du-Wen scheme have the same problem. Indeed, the security proofs of all the schemes reflect no message attackers only. Next, we show that Huang-Chou scheme is insecure by presenting universal forgery attack. Finally, we show that Du-Wen scheme is, indeed, secure by completing its defective security proof.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.359-374
• /
• 2014

Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.39-42
• /
• 1997

시뮬레이션이 설계 검증에 사용될 때 검증의 척도를 효율적으로 제공하기 위해 설 계오류 모델과 통계적인 샘플링 기법을 사용한 시뮬레이션 시스템이 개발되었다. 이는 시뮬 레이션 검증율을 제공하고 샘플링 기법을 이용하여 검증율을 빨리 예측할 수 있다. 실험 결 과는 이 방법이 효과적임을 증명한다. 이 시스템은 전체 설계시간을 줄이는 효과적인 설계 검증 도구로 사용될 수 있다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.6 no.1
• /
• pp.53-60
• /
• 1996

오증 요소로부터 오류위치다항식의 계수를 계산함으로서 (23,12) Golay 부호를 복호할 수 있는 대수적 복호법이 최근 증명되었다. GF(2)상에서의 3중 오류정정 BCH부호의 복호법을 이 부호에 완벽하게 적용하여 해석하는 것을 소개한다. 그리고 GF(2)에 대한 최적의 정규기저를 구하여 이를 유한체 연산에 적용하며 단계별로 복호 회로의 구성을 제시한다. 이는 기존의 복호기보다 논리회로적으로 간단하며, 복호된 정보를 얻기까지 35번의 치환이 필요하다.

• Journal of the Korean School Mathematics Society
• /
• v.11 no.1
• /
• pp.55-68
• /
• 2008

In this paper, we investigated difficulties that middle school students face in the teaming process of proof, and then inquired how does learning of proof using GSP ease students' difficulties. Throughout the inspection, we identified that students have difficulties in understanding process of premise and conclusion, use of notation, process of reasoning. And we identified, throughout learning process of proof using GSP, students can be feedbacked for their guess or reasoning, generalize the special case to general properties and have attitude checking ideas needed in proof by themselves.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.61-82
• /
• 2010

The argument from ignorance that knowledge conclusion is derived from ignorance premises is claimed to be fallacious by many logicians such as I. Copi. According to them, some arguments from ignorance which seem to be acceptable are not really the arguments from ignorance. They say that such arguments have implicitly conditional knowledge premise. Against them, I argue that every argument from ignorance can be interpreted as having a hidden conditional premise, and that every argument from ignorance is not fallacious. I propose the criterion to judge which argument from ignorance is fallacious and which is persuasive. In particular, I argue that social contexts play a crucial role to judge whether a practical argument is fallacious or not.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.29 no.1
• /
• pp.493-498
• /
• 2005

In this paper, we deal with on observer design for detecting the human faults in container crane operation. First we propose an observer for detecting the human faults and show the existing condition for the observer. In this case, we assume that the human faults can be considered ad a careless mistake during the crane operation. In simulation, we used the previous results for human work model and design the observer for the human work model. As a simulation results with human faults, the proposed observer can detected the human faults perfectly, thus the efficiency of proposed observer is shown.

• Journal of the Institute of Convergence Signal Processing
• /
• v.4 no.2
• /
• pp.31-39
• /
• 2003

The MPEG-2 source coding algorithm is very sensitive to transmission errors due to using of variable-length coding. When the compressed data are transmitted, transmission errors are generated and error correction scheme is not able to be corrected well them. In the decoder error concealment (EC) techniques must be used to conceal errors and it is able to minimize degradation of video quality. The proposed algorithm is method to conceal successive macroblock errors of I-frame and utilize temporal information of B-frame and spatial information of P-frame In the previous GOP which is temporally the nearest location to I-frame. This method can improve motion distortion and blurring by temporal and spatial errors which cause at existing error concealment techniques. In network where the violent transmission errors occur, we can conceal more efficiently severe slice errors. This algorithm is Peformed in MPEG-2 video codec and Prove that we can conceal efficiently slice errors of I-frame compared with other approaches by simulations.

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

본 논문에서는 레일리 페이딩 채널 모델하에서 평균데이터 전송률을 최대화 할 수 있는 목표 데이터 전송률을 분석하였다. 같은 무선채널환경에서 목표 데이터 전송률이 높아질수록 오류 없이 전송될 확률은 낮아진다. 반면, 목표 데이터 전송률이 낮아지면 오류 없이 전송될 확률은 높아지지만, 한번에 보내는 데이터 양이 작아지게 된다. 따라서, 주어진 무선 채널 환경을 최대로 활용하기 위해서는 오류 전송 확률과 목표 데이터 전송률을 고려하여 최대 평균 데이터 전송률을 얻기 위한 조건에 대한 분석이 선행되어야 한다. 본 논문에서는 평균 데이터 전송률을 정의하고, 이를 최대화하기 위한 목표 데이터 전송률을 분석하였다. 분석 결과는 몬테카를로 모의 시뮬레이션을 통하여 정확성을 증명하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.183-186
• /
• 2007

X-Internet 과 X-Forms 기반의 UI 소프트웨어 시스템은 개발이 완료되어 운영되는 과정에도 요구 사항의 변경, 성능 향상, 개발 과정 중의 오류 등의 다양한 이유로 변경될 수 있다. 기능 변경은 테스트 케이스 작성 시간과 비용의 증가로 이어진다. 본 논문은 소요되는 시간과 노력을 최소화하기 위한 테스트 케이스 작성 기법을 제안한다. 이를 위해 테스트할 기능을 분석하고 기존의 테스트 케이스에 새로운 기능을 접목하여 작성할 수 있는 테스트 케이스 재사용 알고리즘을 제안한다. 또한 오류가 전체 영역에 분포하지 않고 특정 영역에 분포하는 속성을 이용하여 모든 테스트 케이스를 생성, 실행하는 것이 아니라 오류를 잘 찾을 수 있는 테스트 케이스를 선정하여 테스트하는 기법의 효율성을 증명한다.