• 한국컴퓨터정보학회논문지
• /
• 제17권9호
• /
• pp.91-101
• /
• 2012

키 교환 프로토콜은 공개 네트워크상에서 안전한 통신 채널을 구축하는데 필수적인 요소이다. 특히, 패스워드 기반 키 교환 프로토콜에서는 패스워드를 이용하여 사용자 인증이 이루어지며 이를 바탕으로 안전하게 키 교환이 이루어지도록 설계되어야 한다. 그러나 패스워드는 인간이 쉽게 기억할 수 있는 반면에 엔트로피가 낮고 따라서 사전공격에 쉽게 노출될 수 있다. 최근, Zhao와 Gu가 서버의 도움을 필요로 하는 새로운 패스워드 기반 키 교환 프로토콜을 제안하였다. Zhao와 Gu가 제안한 프로토콜은 일회성 비밀키의 노출 상황을 고려하는 공격자 모델에서도 안전성이 증명가능하다고 주장하였다. 본 논문에서는 Zhao와 Gu의 프로토콜에 대한 재전송 공격을 통하여 이 프로토콜이 저자들의 주장과 달리 일회성 비밀키의 노출 시에 안전하지 않다는 것을 보일 것이다. 본 연구 결과는 Zhao와 Gu가 제시한 안전성 증명이 성립하지 않음을 의미한다.

• 인지과학
• /
• 제2권2호
• /
• pp.405-428
• /
• 1990

언어는 정보교환이라는 사회적 기능을 가지고 있다. 60년대 이래로 언어학자들의 관심이 언어의 정보전달 기능, 즉 어떠한 의미가 어떤 형식을 통하여 어떻게 전달되는가 하는, 의미, 형식, 기능의 관계에 점차 집중되게 되었다. 이러한 관계는 문장분석보다는 담화분석을 통하여 더욱 명백하게 파악된다. 본 연구는 한국 설화문에서 사용되는 화제표현의 방법과 표현된 화제의 연속성을 측정함으로 효율적인 정보교환의 방법을 살펴보았다. 분석된 문법구조들은 영대용, 인칭대명사, 지시대명사, 고유대명사, 지시사 뒤에 오는 명사, 소유격을 따르는 명사, 한정적 명사 그리고 비한정적 명사, 모두 8가지이다. 본 연구의 결과를 다음과 같이 요약할수 있다. 첫째, 한국 설화문에서 '인간임'(humanness)이 가장 강한 화제의 연속성을 나타낸다. 인간지시 논항들은 주로 행위자 또는 경엄자를 나타내기 때문에 절이난 담화의 화제역학을 한다. 둘째, 이들 문법구조들은 각기 다른 화제표현의 연속성 정도를 나타낸다. 연속성 정도가 높은 구조일수록 표현이 간단하며, 연속성의 정도가 낮을수록 표현이 복잡하다. 셋째, 화제표현의 연속성은 구조들의 통사적 특성 이외에 사회적문화적 요인들과 작가의 화용상의 목적 등에 좌우되기도 한다. 마지막으로, 실질적인 정보교환의 방법을 파악하기 위하여, 구어체와 문어체 담화문을 비교분석하여 화제표현의 효율적 방법을 고찰할 것을 제의한다.

• 생명과학회지
• /
• 제18권8호
• /
• pp.1132-1139
• /
• 2008

CpG island는 유전자의 발현 기작과 많은 관련이 있다. 포유동물 유전자의 약 $30{\sim}60$% 정도의 프로모터와 엑손부위에 CpG island가 존재 한다. 최근의 연구 결과에 따르면 CpG island의 과메틸화는 주요 암 억제유전자들을 불활성화 시켜 암을 일으키는 주요 요인이 되는 것으로 밝혀졌다. CpG island의 과메틸화는 거의 모든 암 종류에서 발견되고 있다. 따라서 CpG island를 검색하는 프로그램은 매우 중요한 의미를 갖는다. 그래서 D. Takai 와 P. A. Jones 등이 2002년 검증한 CpG island 정의 기준을 이용하여 윈도우 기반의 소프트웨어 프로그램인 CpGi를 개발하였다. CpGi는 Visual C++ 6.0로 구현하였으며, 입력서열 양식은 FASTA 포맷을 허용하도록 구성하였다. CpGi의 검색 성능을 평가하기 위해 2개의 인간 Contig, 즉, AP00524 (22번 염색체)와 NT_029490.3 (21번 염색체) 등을 대상으로 기존의 다른 CpG island 검색 프로그램인 Emboss-CpGPlot 및 CpG Island Searcher 등과 검색결과를 비교 분석하였다. CpGi에 의한 검색 결과는 다른 두 프로그램에 비해 같거나 오히려 보다 정확한 검색 결과를 보여주었다. CpGi는 사용자 친화적인 윈도우 인터페이스로 구현되어 있어 사용자가 프로그램을 구동하고 이용하기 매우 쉽고, 분석결과에 대한 이해도 용이하다. 본 프로그램은 사용자가 지정한 파라미터 값들(%GC, Obs (CpG)/Exp (CpG), 분석 윈도우 크기, 스텝크기, Gap 허용치, #CG)에 의해 CpG island의 위치를 결정하고, G+C%와 CpG island의 위치를 시각적으로 보여준다. 결과적으로, CpGi는 CpG island 관련 실험 연구자들뿐만 아니라 대용량 서열 분석 및 주석 작업을 위해 매우 유용한 도구로 활용될 수 있을 것이다.