• Journal of applied mathematics & informatics
• /
• 제26권1_2호
• /
• pp.283-290
• /
• 2008

This paper is motivated by the problem of fitting a group of cuboids into a simplified rotating vessel of the artificial satellite. Here we introduce a combinatorial optimization model which reduces the three-dimensional layout problem with behavioral constraints to a finite enumeration scheme. Moreover, a global combinatorial optimization algorithm is described in detail, which is an improved graph-theoretic heuristic.

• 한국정보전자통신기술학회논문지
• /
• 제4권3호
• /
• pp.182-188
• /
• 2011

최근 Yoon 등은 스마트카드를 이용하여 원격지에 있는 사용자를 인증할 수 있는 개선된 스킴을 제안하였다. Yoon 등은 인증 서버의 비밀키 유출과 도용 시에도 보안성이 있으며, 사용자와 인증서버 간 상호인증이 가능한 효율적인 사용자 인증 방법을 소개하였다. 그러나 패스워드 기반 스마트카드를 이용한 사용자 인증 스킴에서 고려하는 보안 요구사항을 완전히 만족하지 못하고 있다. 본 논문에서는, 허가받지 않은 침입자가 사용자의 스마트카드를 훔치거나 일시적으로 접근할 수 있는 경우에 Yoon 등의 스킴이 오프라인 패스워드 추측공격에 취약하다는 것을 밝혀낸다. 따라서 제안하는 사용자 인증 스킴은 이와 같은 보안 문제를 해결하기 위해 Hash 함수와 랜덤 nonce를 기반으로 패스워드 추측공격을 포함한 다양한 공격에 견딜 수 있는 개선안을 제시한다. 보안성을 위한 비교분석을 통해 제안하는 인증 스킴은 무시할 정도의 exclusive-OR 연산의 수행이 조금 더 요구되지만, Yoon 등의 인증 스킴보다 안전하고 효율적인 스킴임을 알 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제15권2호
• /
• pp.119-125
• /
• 2010

최근 Hsiang-Shih는 Yoon 등의 스킴[7]을 개선한 사용자 인증 스킴을 제안하였다[10]. 그러나 제안된 스킴은 패스워드를 기반으로 하는 스마트카드를 이용한 사용자 인증 스킴에서 고려하는 보안 요구사항을 만족하지 못한다. 본 논문에서는, Hsiang-Shih가 제안한 스킴은 off-line 패스워드 추측공격에 취약함을 보였다. 즉, 공격자가 사용자의 스마트카드를 훔치거나 일시적으로 접근하여 그 안에 저장된 정보를 추출하여 사용자의 패스워드를 알아낼 수 있음을 보였다. 또한 이와 같은 문제점들을 해결한 해쉬함수와 난수에 기반한 개선된 사용자 인증스킴을 제안하였다. 제안한 인증 스킴은 패스워드 추측공격, 위조 및 위장공격이 불가능함을 알 수 있었다. 그리고 사용자와 서버가 상대방을 인증할 수 있는 효율적인 상호 인증방식을 제시하였다.

• 한국컴퓨터정보학회논문지
• /
• 제15권3호
• /
• pp.91-97
• /
• 2010

최근 Hu-Niu-Yang은 Liu 등의 스킴을 개선한 사용자 인증 스킴을 제안하였다. 그러나 Hu-Niu-Yang의 스킴은 패스워드 기반 스마트카드를 이용한 사용자 인증 스킴에서 고려하는 보안 요구사항을 만족하지 못하고 있다. 본 논문에서는, 공격자가 사용자의 스마트카드를 훔치거나 일시적으로 접근할 수 있는 경우에 Hu-Niu-Yang의 스킴은 off-line 패스워드 추측공격에 취약하다는 것을 증명하였다. 또한 이와 같은 안전성 취약점들을 해결한 개선된 사용자 인증 스킴을 새로이 제안하였다. 제안된 사용자 인증 스킴은 패스워드 추측공격, 위조 및 위장공격, 그리고 재생 공격 등을 방지한 안전한 인증 스킴임을 알 수 있었고, 이와 같은 공격들을 방지하기 위하여 hash 및 exclusive-OR 연산이 상대적으로 Hu-Niu-Yang의 스킴보다 다수 필요함을 알 수 있었다.

• 한국군사과학기술학회지
• /
• 제20권1호
• /
• pp.90-97
• /
• 2017

In this paper, we propose a new array antenna scheme which has an improved side lobe level (SLL) as well as a simplified feeding network and a high gain. The proposed array scheme is based on a non-uniformly excited sub-array. For analysis, we use an array factor of sub-array antenna. In the simulation results, the simulated SLL and gain provide more than 18.43 dB and 26.63 dBi, respectively. For the verification of the proposed design scheme, the prototype antenna with $16{\times}8$ radiating elements was designed by the proposed array scheme. The measured SLL and gain are more than 19.85 dB and 25.53 dBi, respectively. This measurement result indicates that the proposed array scheme is reasonable.

• 한국통신학회논문지
• /
• 제40권9호
• /
• pp.1728-1730
• /
• 2015

본 논문은 LDPC 부호화된 MIMO 시스템을 위한 패리티 검사 기반 반복 간섭제거 기법을 제안한다. 제안 기법은 반복적인 복호 및 간섭제거 과정을 수행하며, 이 때 매 반복 과정의 복호 과정 이후 패리티 검사식을 만족하는 체크 노드의 비율이 사전 설정된 문턱값 이상인 부호어들만을 간섭제거 과정에 활용한다. 모의실험을 통해 제안 기법이 기존 기법 대비 높은 SNR 영역에서 향상된 블록 오율을 달성할 수 있음을 확인하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권2호
• /
• pp.764-785
• /
• 2018

In this paper, we present a new public key encryption scheme with equality test (PKEwET). Compared to other PKEwET schemes, we find that its security can be improved since the proposed scheme is based on non-Abelian factorization problems. To our knowledge, it is the first scheme regarding equality test that can resist quantum algorithm attacks. We show that our scheme is one-way against chosen-ciphertext attacks in the case that the computational Diffie-Hellman problem is hard for a Type-I adversary. It is indistinguishable against chosen-ciphertext attacks in the case that the Decisional Diffie-Hellman problem is hard in the random oracle model for a Type-II adversary. To conclude the paper, we demonstrate that our scheme is more efficient.

• 한국자동차공학회논문집
• /
• 제8권6호
• /
• pp.142-155
• /
• 2000

A MIMO model reference control scheme incorporating the variable structure theory for a vehicle four wheel steering system(4WS) is proposed and evaluated for a class of continuous-time nonlinear dynamics with known or unknown uncertainties. The scheme employs an neural network to identify the plant systems, where the neural network estimates the nonlinear dynamics of the plant. By the Lyapunov direct method, the algorithm is proven to be globally stable, with tracking errors converging to the neighborhood of zero. The merits of this scheme is that the global system stability is guaranteed and it is not necessary to know the exact structure of the system. With the resulting identification model which contains the neural networks, it does not need higher degrees of freedom vehicle model than 3 degree of freedom model. Th proposed scheme is applied to the active four wheel system and shows the validity is used to investigate vehicle handing performances. In simulation of the J-turn maneuver, the reduction of yaw rate overshoot of a typical mid-size car improved by 30% compared to a two wheel steering system(2WS) case, resulting that the proposed scheme gives faster yaw rate response and smaller side angle than the 2WS case.

• International Journal of Aeronautical and Space Sciences
• /
• 제1권1호
• /
• pp.21-28
• /
• 2000

The flowfield of hypersonic shock-shock interaction has been simulated using a two-dimensional Navier-Stokes code based on AUSMPW+ scheme. AUSMPW+ scheme is a new hybrid flux splitting scheme, which is improved by introducing pressure-based weight functions to eliminate the typical drawbacks of AUSM-type schemes, such as non-monotone pressure solutions. To study the real gas effects, three different gas models are taken into account in the present paper: perfect gas, equilibrium flow and non equilibrium flow. It has been investigated how each gas model influences on the peak surface loading, such as wall pressure and wall heat transfer, and unsteady structure of flowfield in the region of shock-shock interaction. With the results, the value of peak pressure is not sensitive to the real gas effects nor to the wall catalyticity. However, the value of peak heat transfer rates is affected by the real gas effects and the wall catalyticity. Also, the structure of the flowfield changes drastically in the presence of real gas effects.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제8권10호
• /
• pp.3607-3623
• /
• 2014

The increasing demand in promoting cloud computing in either business or other areas requires more security of a cloud storage system. Traditional cloud storage systems fail to protect data integrity information (DII), when the interactive messages between the client and the data storage server are sniffed. To protect DII and support public verifiability, we propose a data integrity verification scheme by deploying a designated confirmer signature DCS as a building block. The DCS scheme strikes the balance between public verifiable signatures and zero-knowledge proofs which can address disputes between the cloud storage server and any user, whoever acting as a malicious player during the two-round verification. In addition, our verification scheme remains blockless and stateless, which is important in conducting a secure and efficient cryptosystem. We perform security analysis and performance evaluation on our scheme, and compared with the existing schemes, the results show that our scheme is more secure and efficient.