• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권11호
• /
• pp.5639-5653
• /
• 2016

Security models for key exchange protocols have been researched for years, however, lots of them only focus on what secret can be compromised but they do not differentiate the timing of secrets compromise, such as the extended Canetti-Krawczyk (eCK) model. In this paper, we propose a new security model for key exchange protocols which can not only consider what keys can be compromised as well as when they are compromised. The proposed security model is important to the security proof of the key exchange protocols with forward secrecy (either weak forward secrecy (wFS) or strong forward secrecy (sFS)). In addition, a new kind of key compromise impersonation (KCI) attacks which is called strong key compromise impersonation (sKCI) attack is proposed. Finally, we provide a new one-round key exchange protocol called mOT+ based on mOT protocol. The security of the mOT+ is given in the new model. It can provide the properties of sKCI-resilience and sFS and it is secure even if the ephemeral key reveal query is considered.

• 정보처리학회논문지C
• /
• 제10C권5호
• /
• pp.541-548
• /
• 2003

공평한 비밀정보 교환이란 서로 신뢰하지 못하는 당사자간에 공평한 비밀정보 교환의 목적을 가지는 프로토콜을 말한다. 두 당사자가 비밀정보를 교환할 때, 어느 한 쪽이 프로토콜을 임의로 중지하거나 부정을 저지름으로 인하여 다른 한 쪽이 불이익을 당하지 않는 특징을 가지며, 서로 신뢰하지 못하는 당사자간의 거래에 있어서 공평한 비밀정보 교환은 가장 중요한 요소가 된다. 이 논문에서는 새로운 공평한 비밀정보 교환을 설계하기 위해 기본개념과 정의에 대해 살펴보고, ELGamal의 공개키를 이용한 비대화형 OT 프로토콜을 설계한 후 설계한 프로토콜을 이용해 새로운 공평한 비밀정보 교환 알고리즘을 설계한다. 새로운 공평한 비밀정보 교환에서는 서로 신뢰하지 못하는 두 당사자가 비밀 정보를 불확정 전송하며 자신이 수신한 정보가 참인지를 양방항으로 확장한 영지식 증명을 이용하여 검증한다. 이때 두 당사자는 상대의 비밀정보를 복호화 할 수 없고, 양측의 검증 절차가 끝난 후 복호화가 가능하다. 상대의 신원을 밝히지 않아도 부정을 저지를 수 없는 특성 때문에 익명성과 공평성을 제공한다는 것이 가장 큰 장점이다.

• 한국멀티미디어학회논문지
• /
• 제13권11호
• /
• pp.1687-1697
• /
• 2010

스마트 폰 환경에서 모바일 결제 시스템을 수행하기 위해서는 USIM 기반의 AKA 인증 절차가 필수적인 이다. 본 논문에서는 개방형 스마트 폰 환경에 적합한 모바일 결제 시스템을 위한 결제 프로토콜과 AKA 모듈을 설계하였다. 결제 프로토콜은 모바일 결제 시스템의 구성요소들 간에 상호인증을 하도록 설계하여 신뢰성을 향상시켰고, 3GPP-AKA 프로토콜에 기반을 둔 모바일 결제 시스템의 AKA 모듈은 사전 등록을 통해 공유 비밀키(SSK)를 생성함으로써 IMSI 노출을 방지하고, 타임스탬프를 이용해 SQN(SeQuence Number) 동기문제를 해결하였다. 또한, SN과 인증기관 사이의 인증벡터 대신에 공유비밀키를 사용하도록 하여, 기존의 SN과 인증기관 사이의 대역폭이 $(688{\times}N){\times}R$ bit에서 각각 $320{\times}R$ bit, $368{\times}R$ bit로 감소시켰으며, MS와 SN간에는 일회용 공유비밀키인 OT-SSK를 사용해 메시지 암호화키인 CK와 IK를 생성하도록 하여 접속할 때마다 새로운 OT-SSK를 생성함으로써 데이터 재전송 공격을 방지하였다.

• Tuberculosis and Respiratory Diseases
• /
• 제57권5호
• /
• pp.425-433
• /
• 2004

연구배경 : 경구면역관용 유도는 4주 이내의 급성천식모델에서 알레르기 염증반응을 효과적으로 억제하는 것으로 알려져 있다. 하지만 경구면역관용 유도가 4주 이상 지속되는 만성천식모델에서도 알레르기 염증반응을 효과적으로 억제할 수 있는 지에 대해서는 아직 불확실하다. 본 연구에서는 8주 동안 지속되는 만성천식모델을 이용하여 경구면역관용 유도가 알레르기 염증반응 및 기도재형성에 어떤 영향을 미치는 지를 관찰하였다. 방 법 : 5주된 암컷 BALB/c 마우스에 ovalbumin(OVA)을 복강 내로 투여하여 감작시킨 후, 6주 동안 주 2회 OVA를 반복 흡입시킴으로써 만성천식모델을 만들었다. 경구면역관용은 감작시키기 전에 OVA를 경구 투여함으로써 유도하였으며, 저용량 군(OVA 1 $mg/day{\times}6$일)과 고용량 군(OVA 25 $mg/day{\times}1$일)으로 나누었다. 기도과민성은 농도별 메타콜린 흡입에 따른 enhanced pause (penh) 값의 변화로 평가하였으며, 기관지폐포세척액 내의 염증세포수를 측정하고 IL-13, IFN-${\gamma}$ 농도 및 혈청 내 OVA 특이 IgE, IgG1, IgG2a 농도를 ELISA로 측정하였다. 기도재형성 정도는 폐조직의 PAS 및 Masson's trichrome 염색으로 관찰하였다. 결 과 : 경구면역관용군은 천식군에 비해 penh 값, 기관지폐포세척액 내의 염증세포 수, IL-13 및 IFN-${\gamma}$ 농도, 혈청 내의 OVA 특이 IgE, IgG1 및 IgG2a 농도, 폐조직 술잔세포의 과다형성, 기저막하부의 섬유화 정도가 유의하게 감소되었다 (P<0.05). 결 론 : 알레르기 기관지천식모델에서 경구면역관용 유도는 8주까지 장기적으로 기도과민성, 염증반응 및 기도재 형성을 억제하였으며, 그 기전에는 항원 특이 면역글로불린과 Th1 및 Th2 시토카인들에 대한 억제작용이 중요한 역할을 하는 것으로 추측되었다.

• 영어영문학
• /
• 제57권6호
• /
• pp.1043-1065
• /
• 2011

This study investigates i-umlaut which occurred in the period of pre Old English (OE) in two aspects: what motivates i-umlaut in OE and how the phenomenon can be analyzed within the framework of OT. Unlike root-controlled vowel harmony, i-umlaut in OE is triggered by the suffixal i or j in the unstressed syllable whereby a stressed root vowel becomes fronted or raised. In this study, it is proposed that i-umlaut in OE is driven by the weak trigger i or j to improve its poor perception: I-umlaut improves the poor perceptibility of the weak trigger by extending its feature-either [-back] or [-low]-onto the vowel in the stressed syllable. This study provides an OT-theoretic analysis utilizing the licensing account to vowel harmony proposed by Walker (2004, 2005). The licensing constraints, IDENT-IO(F) and the locally conjoined constraints are proposed and their interaction correctly captures the pattern of i-umlaut in OE. Also, it is shown that the licensing account proposed in this paper is superior to the previous analyses as well as the nonlicensing approaches in that it can provide a perceptual motivation couched in i-umlaut in OE.

• 한국IT서비스학회지
• /
• 제19권5호
• /
• pp.33-47
• /
• 2020

In recent years, due to the demand for operating efficiency and cost reduction of industrial facilities, remote access via the Internet is expanding. the control network accelerates from network separation to network connection due to the development of IIoT (Industrial Internet of Things) technology. Transition of control network is a new opportunity, but concerns about cybersecurity are also growing. Therefore, manufacturers must reflect security compliance and standards in consideration of the Internet connection environment, and enterprises must newly recognize the connection area of the control network as a security management target. In this study, the core target of the control system security threat is defined as the network boundary, and issues regarding the security architecture configuration for the boundary and the role & responsibility of the working organization are covered. Enterprises do not integrate the design organization with the operation organization after go-live, and are not consistently reflecting security considerations from design to operation. At this point, the expansion of the control network is a big transition that calls for the establishment of a responsible organization and reinforcement of the role of the network boundary area where there is a concern about lack of management. Thus, through the organization of the facility network and the analysis of the roles between each organization, an static perspective and difference in perception were derived. In addition, standards and guidelines required for reinforcing network boundary security were studied to address essential operational standards that required the Internet connection of the control network. This study will help establish a network boundary management system that should be considered at the enterprise level in the future.

• 한국인터넷방송통신학회논문지
• /
• 제19권5호
• /
• pp.135-141
• /
• 2019

대한민국의 스마트팩토리 추진은 매우 중요한 시점에 와 있다. 국제 경쟁력 확보와 제조업 활성화를 위해 대규모 자금과 인력이 투입되어 IT와 OT의 결합을 추진하지만, IT 공급자 중심으로만 접근하는 소프트웨어 투자는 현장 실정에 맞지 않는 시스템 구축으로 끝날 수 있다. 이로 인해 제조업 현장에서는 스마트팩토리 추진의 반감이 커지거나 제조업 혁신의 피로감마저 느끼게 할 수 있는 문제점이 도사리고 있다. 소규모 기업은 기초 수준부터 점검하고 점진적인 통합형 시스템을 구축해야 IT 투자의 실패를 줄이고 현장에서 활용하는 OT 중심의 스마트팩토리를 구현해야 한다. 이를 위해 공정 시각화 솔루션을 제안하여 기초단계와 ICT 미적용 수준에서 한 단계 혁신하기 방안을 제시하였다.

• 천문학회보
• /
• 제44권1호
• /
• pp.83.4-83.4
• /
• 2019

We present multi-color, high-cadence photometric study of a distant SU UMa-type dwarf nova KSP-OT-201611a discovered by the Korea Microlensing Telescope Network (KMTNet) Supernova Program (KSP). From October 2016 to May 2017, two outbursts with an interval of approximately 90 days were detected in the BV I-bands. The shapes and amplitudes of the outbursts reveal the nature of KSP-OT-201611a to be a SU UMa-type dwarf nova of outside-in origin with a superhump and an inferred orbital period of 1.69 h. The two observed bursts show a distinctively different color evolutions during the bursts due most likely to the viscosity different in accretion disk between them. The observed quiescent magnitudes and properties of the source during the outbursts indicate that it is at a large distance (~7.3 kpc) and height (~1.7 kpc) from the Galactic disk, possibly belonging to the group of poorly-studied Population II dwarf novae. The continuous monitoring of this source may offer a rare opportunity to study a PopII dwarf nova.

• 한국군사과학기술학회지
• /
• 제19권6호
• /
• pp.703-711
• /
• 2016

The purposes of this study is to identify the problems arising from current Test & Evaluation process of the naval ship acquisition program and to suggest methods to increase the acquisition efficiency. Considering that the present rule of developmental test &evaluation(DT&E) and operational test & evaluation(OT&E) has caused an inefficiency effect on the acquisition procedures due to the limited practices on it, the DT&E and OT&E procedures through test & evaluation master plan(TEMP) is proposed based on the selective practices of the defense instruction articles. Also, considering characteristics of naval ship acquisitions, efficient procedure systems are derived through case analysis results by comparing each performances of the system. The suggested methods are able to meet the requirements of the changed acquisition environments and also increase efficiency of acquisition systems by adoption of DT&E and OT&E combined test scheme.

• 접착 및 계면
• /
• 제14권2호
• /
• pp.57-67
• /
• 2013

FTIR (Frustrated Total Internal Reflection) 터치스크린에서 아크릴 내의 전반사(TIR) 현상이 깨지는 원인을 조사하였다. 먼저 3층 박막(매질1 ($n_1$)-매질2 ($n_2$)-매질3 ($n_3$), $n_1=n_3{\neq}n_2$에서 굴절율의 상대적인 크기에 따라 매질1에서 FTIR 또는 매질1로부터 매질3으로 일반투과(Ordinary Transmission : OT) 현상이 나타남을 확인하고, 이들(FTIR과 OT)의 투과율 이론값은 인접한 두 반사광(또는 투과광)들의 위상차의 실수화 또는 허수화 과정을 통해 서로 전환됨을 이론적으로 유도하였다. 이와 병행하여 터치스크린에 손가락과 같은 외부 접촉에 의해 아크릴판(acrylate) 내에 형성된 전반사 조건이 깨지는 현상을 분석하였다. 이러한 분석과 실험을 토대로, 접촉 인식을 좋게 하기 위한 투명하고 굴절율이 아크릴과 유사한 젖음성 매체(wettable medium)를 적용한 FTIR 터치스크린 구조를 제안하였다.