• 정보보호학회논문지
• /
• 제20권1호
• /
• pp.51-61
• /
• 2010

Koinonia 시스템은 무선 네트워크에서 QoS를 보장하는 Binary CDMA(Code Division Multiple Access)의 장점을 이용하여 설계되었다. 본 논문에서는 Koinonia 시스템을 기반으로 한 새로운 네트워크 구조인 BLAN(Binary CDMA LAN)을 제시하고, 이 구조에 적합한 안전하고 효율적인 AKA 프로토콜을 제안한다. 제안한 프로토콜을 이용한 BLAN은 강한 안전성과 높은 이동성을 지원할 수 있으며, 사용자 신원 모듈을 이용하여 보다 강한 사용자 인증을 제공하는 특징을 가진다. 우리는 이러한 연구가 특수한 환경의 공공망에도 적합하며 더 나아가 WLAN을 대체할 수 있는 새로운 네트워크 모델 제시에 도움이 될 수 있을 것으로 기대한다.

• 융합정보논문지
• /
• 제12권2호
• /
• pp.23-29
• /
• 2022

최근 사물인터넷(Internet of Things, IoT) 기기 사용 증가로 인해 클라우드 컴퓨팅 서버로 전송해 처리하는 데이터양이 급증하고, 그 결과 네트워크 관련 문제점(지연, 서버의 과부하 및 보안 위협)들이 크게 대두되고 있다. 특히, 연산 능력이 클라우드 컴퓨팅보다 낮은 에지 컴퓨팅은 수많은 IoT 기기들을 손쉽게 인증할 수 있는 경량화된 인증 알고리즘이 필요하다. 본 논문에서는 IoT와 에지 장치 간 익명성과 순방향·역방향의 비밀성을 보장하고 중간자 공격과 재전송 공격에 안정적이며, 에지 장치와 IoT 기기 특성에 적합한 경량화 알고리즘의 키 동의 프로토콜을 제안하였고, 제안한 키 동의 프로토콜을 기존 연구와 비교·분석한 결과 IoT 기기와 에지 장치에서 효율적으로 사용 가능한 경량화 프로토콜임을 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1759-1762
• /
• 2003

최근 키 분배 프로토콜과는 다르게 하드웨어에 암호키를 저장하여 사용하는 것과 달리, 사용자가 기억할 수 있는 길이의 패스워드(password)를 사용해 서버와의 인증과 키 교환을 동시에 수행하는 패스워드 기반 키 분배 프로토콜이 제안되고 있다. 본 논문에서는 이러한 패스워드 기반의 키 분배 프로토콜 중 BPKA(Balanced Password-authenticated Key Agreement)에 속하는 DH-EKE(Diffie-Hellman Encrypted Key Exchange), PAK(Password-Authenticated Key exchange), SPEKE(Simple Password Exponential Key Exchange) 프로토콜을 비교 분석하고, 이를 바탕으로 기존의 BPKA 프로토콜에 비해 적은 연산량을 가지면서 사용자와 서버가 각기 다른 정보를 갖는 패스워드-검증자 기반 프로토콜을 제안한다. 본 논문에서 제안하는 패스워드 기반 키 분배 프로토콜의 안전성 분석을 위해 Active Impersonation 과 Forward Secrecy, Off-line dictionary attack, Man-in-the -middle Attack 등의 공격모델을 적용하였다.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제13권1호
• /
• pp.877-888
• /
• 2021

The water entry behaviors of projectiles with different cone-headed angles were studied numerically, experimentally and theoretically, mainly focusing on the hydrodynamic impact in the initial stage. Based on MMALE algorithm, it was proposed a formula of impact deceleration, which relied on the initial entry velocity and cone-headed angle. Meanwhile, in order to verify the validity of the simulation model, experiments using accelerometer and high-speed camera were carried out, and their results were in a good agreement with simulation results. Also, theoretical calculation results of cavity diameter were compared with experiments and simulation results. It was observed that the simulation method had a good reliability, which would make forecast on impact deceleration in an engineering project.

• 정보처리학회논문지C
• /
• 제12C권2호
• /
• pp.157-168
• /
• 2005

그룹 키 동의 프로토콜은 공개된 통신망을 통해 안전하게 통신하려는 그룹 구성원들에게 세션키를 제공하기 위해 설계된다. 모바일 컴퓨팅 기술은 프로토콜 참가자의 계산적인 능력 측면에서 비대칭적이다. 즉 프로토콜 참가자는 충분한 계산 능력을 가진 고정된 서버(애플리케이션 서버)와 제한된 계산 자원을 가진 모바일 장치들(클라이언트)로 구성되어 있다. 스마트카드나 개인 휴대 정보 단말기(PDA)와 같은 저전력 모바일 장치를 포함하는 그룹에서는 각 구성원의 계산량을 최소화하는 것이 바람직하다. 또한 그룹 구성원이 현재의 그룹을 탈퇴하거나 다수의 새로운 구성원이 현재의 그룹에 참여할 필요가 있을 때 길은 계산 비용으로 그룹 키의 갱신이 요구된다. 본 논문에서는 저전력 모바일 장치인 클라이언트 쪽의 계산 효율성이 높은 동적 그룹 키 동의 프로토콜을 제안한다. 제안한 프로토콜과 기존 프로토콜을 통신과 계산 비용 측면에서 비교하고, 제안한 프로토콜의 안전성은 랜덤 오라클 모델에서 수동적인 공격자에 대하여 안전함을 증명한다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2008년 영문 학술대회
• /
• pp.775-780
• /
• 2008

This paper reports on the internal flow of a centrifugal mini pump working at the low flow rate operating conditions. The RNG $\kappa-\varepsilon$ turbulence model was employed to simulate the three-dimensional turbulent flow in the pump. To examine and certify the simulation results, a transparent acrylic centrifugal mini pump model which is suitable for PIV measurement has been developed. The tongue region and the passages region between blades were investigated using PIV. In order to eliminate the effect of refraction on the area closed to the wall and increase the measurement accuracy, the fluorescent particles were scatted into the working fluid with the tracing particles. It is found from the calculation and PIV measurement results that there is a large area of recirculation flow near the tongue at low flow rate operating conditions. The computationally predicted water head using the $\kappa-\varepsilon$ turbulence model at low flow rate operating conditions are in very good agreement with the experimentally measured water head and the mean velocity distributions at investigation area obtained by PIV and calculation showed a satisfactory agreement as well. Meanwhile, the results of PIV measurements show that the flow status in one passage is different to another. And for capturing the internal flow detail information, the $\kappa-\varepsilon$ turbulence model is not very suitable.

• 한국중재학회지:중재연구
• /
• 제16권2호
• /
• pp.89-120
• /
• 2006

If the existence and effect of the arbitration agreement becomes an issue in international business transactions, it is the key point how we shall determine the applicable law by national rules for the conflict of laws, or by other methods. The argument in determination of the applicable law to the existence and effect of the arbitration agreement is related to regal nature of the arbitration agreement. As there are foreign factors in international arbitration, therefore we must consider such an aspect. Besides, we have to examine whether the general theory of contract is universally applicable to the arbitration agreement. Currently, it is the general trend that the party's autonomy principle is applicable in determining the applicable law for the arbitration agreement. However, it is a difficult problem to recognize the applicable law chosen by the parties, whether it is based on any regal standard(for example New York Convention or the private international law or the essential quality of the arbitration agreement). In the light of the actual transactions, when the parties don't make a choice of the applicable law expressly, it will finally come down to presuming the party's implied intent. Nevertheless, finding the implied intent is a difficult problem. Some argue that we shall presume the choice of applicable law by an objective standard such as a place of arbitration, to prevent too much expansion of the scope of the recognition. But we need to review that this interpretation harmonizes with the principle of party autonomy. Especially, if we desire to detect the vital point where it is most closely linked to the arbitration agreement, we have to inquire how we will decide such a relation by means of any standard. However, as the existing Arbitration Act doesn't offer the solution to these issues, therefore we have to settle these problems through the development of adjudications and theories.

• 수산해양교육연구
• /
• 제11권2호
• /
• pp.150-183
• /
• 1999

Korea-Japan Fisheries Agreement concluded in 1965 made a contribution to the stable development of fisheries relationship for both countries until the year of 1980. From the time on thereafter a series of respectable fishery disputes occurred throughout the period of fisheries self-regulation in accordance with alteration of home and abroad conditions. And both countries marched into a cooperation era by enforcement of the new fisheries agreement from the 23 January 1999, because the Fisheries Agreement system of 1965 had many limitations to settle the fundamental fisheries problems. In this paper, the author carried out the legal interpretation, arrangement of historical facts and evaluation of actual results of the Korea-Japan Fisheries Agreement of 1965. The key contents of the Fisheries Agreement were the establishment of 12-nautical mile exclusive fishery zone and the joint-control fishery zone under the principles of maintenance of MSY for fishery resources, freedom of high seas and mutual cooperation. The legal foundation of the conclusion of the Fisheries Agreement were the San Francisco Peace Treaty of 1952 and the four International Conventions on the Law of the Sea of 1958. During the 33 years, the fisheries power of Korea made a rapid stride, on the other hand that of Japan was almost stagnated. And in the meantime, there were very important development on the international law of the sea, for instant, the settlement of 12-nautical mile territorial sea regime and the establishment of 200-nautical mile exclusive economic zone regime. Annual meetings of the Joint Fisheries Committee were not successful to fill the role for conservation of fishery resources. The Fisheries Self-Regulation Agreement concluded in 1980 was also insufficient to accept the new international regime on the law of the sea, for that reason it was terminated on 23 January 1999. But it is true that the Fisheries Agreement of 1965 made a contribution to normalization of fisheries relationship between both countries and fisheries development of Korea.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제6권2호
• /
• pp.751-765
• /
• 2012

Key establishment protocols are fundamental for establishing secure communication channels over public insecure networks. Security must be given the topmost priority in the design of a key establishment protocol. In this work, we provide a security analysis on two recent key establishment protocols: Harn and Lin's group key transfer protocol and Dutta and Barua's group key agreement protocol. Our analysis shows that both the Harn-Lin protocol and the Dutta-Barua protocol have a flaw in their design and can be easily attacked. The attack we mount on the Harn-Lin protocol is a replay attack whereby a malicious user can obtain the long-term secrets of any other users. The Dutta-Barua protocol is vulnerable to an unknown key-share attack. For each of the two protocols, we present how to eliminate their security vulnerabilities. We also improve Dutta and Barua's proof of security to make it valid against unknown key share attacks.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.640-645
• /
• 2001

본 논문에서는 무선환경을 고려하여 타원곡선 암호시스템을 기반으로 하는 AKC 프로토콜(Authenticated Key Agreement with Key Confirmation Protocol)을 제안한다. 제안 프로토콜은 2명의 객체가 한번의 세션과정을 통해서 복수개의 공유키를 생성하며 주기적으로 키를 refresh함으로써, 현재 안전한 암호 알고리즘의 수출규제에 따른 대안으로 사용되어질 수 있다. 또한 이미 알려진 여러 공격에 대한 안전성을 상세히 고찰한다.