• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.16 no.6
• /
• pp.95-109
• /
• 2006

Elliptic Curve Cryptosystem (ECC) is suitable for resource-constrained devices such as smartcards, and sensor motes because of its short key size. This paper presents an efficient multi-scalar multiplication algorithm which is the main component of the verification procedure in Elliptic Curve Digital Signature Algorithm (ECDSA). The proposed algorithm can make use of a precomputed table of variable size and provides an optimal efficiency for that precomputed table. Furthermore, the given scalar is receded on-the-fly so that it can be merged with the main multiplication procedure. This can achieve more savings on memory than other receding algorithms. Through experiments, we have found that the optimal sizes of precomputed tables are 7 and 15 when uP+vQ is computed for u, v of 163 bits and 233 bits integers. This is shown by comparing the computation time taken by the proposed algorithm and other existing algorithms.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06b
• /
• pp.49-51
• /
• 2006

휴대폰의 사용영역이 넓어지면서 휴대폰에 저장되는 컨텍스트 정보 활용에 관심이 높아지고 있다. 하지만 정보의 양이 방대하기 때문에 개인이 정보를 분석하여 자신에게 필요한 정보로 바꾸기 위해서는 많은 노력이 필요하다. 본 논문에서는 휴대폰으로부터 컨텍스트 정보를 수집하여 활용할 수 있는 방법으로 개인이 하루 동안 경험한 일에 대한 정보를 한 눈에 알아볼 수 있도록 도와주는 계층적 이야기 구성 모델을 제안한다. 계층적 이야기 구성 모델은 3단계로 구성된다. 우선 각각의 로그를 분석하여 관련 있는 것들을 그룹으로 분류하고 분류된 그룹 내에서 설정된 경로에 대한 가중치를 계산하여 해당 그룹의 가중치로 저장한다. 마지막으로 그룹간의 경로에 대한 가중치를 계산하여 가장 높은 가중치를 갖는 경로를 한아 이야기 구성 모델로 설정한다. 계층적으로 이야기 경로를 선택한 경우와 그룹으로 분류하지 않고 경로를 계산한 경우의 시간 복잡도를 비교 평가하여 성능을 측정하였다. 이야기 구성모델을 계층적으로 분류했을 때의 성능이 분류하지 않은 경우보다 경로를 선정할 때 더 높은 성능을 나타내었다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1997.11a
• /
• pp.161-170
• /
• 1997

SASC(Server-Aided Secret Computation) 프로토콜은 클라이언트(스마트 카드)의 비밀정보를 공개하지 않으면서 서버(untrusted auxiliary device)에게 서명을 생성하는데 도움을 받도록 하는 프로토콜이다. RSA서명을 위한 최초의 SASC 프로토콜은 RSA-S1 으로서 그 실효성이 크기 때문에, 그 후로 SASC 프로토콜에 대한 연구가 많이 이루어져 왔다. 기존의 SASC 프로토콜들의 공통된 접근방식은, 클라이언트의 비밀정보를 서버로부터 감추기 위해, 비밀정보를 여러 조각으로 나누어 일부불만을 서버에게 전달하는 방식이었다. 그러나, 이러 한 접근방식은 클라이언트의 계산량은 줄어들지만 서버의 계산량과 통신량이 너무 많고, 능동적 공격(active attack)에 노출되기 쉽다는 단점을 가진다. 본 논문에서는 이러한 단점을 극복하기 위해 RSA서명 생성을 위한 새로운 방식의 SASC 프로토콜을 제안한다. 본 논문에서 제안하는 방식은 비밀정보를 서버로부터 감추기 위해 비밀정보에 난수들을 곱하거나 더하여 서버에게 전달하는 방식이다. 제안 프로토콜은 능동적 공격에 대해 안전하며, 안전성이 데이타의 개수에 의존하지 않으므로 서버의 계산량과 통신량이 매우 적다. 또한, 클라이언트가 수행해야 할 계산량도 기존 프로토콜들의 43%로 줄게 된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.942-945
• /
• 2009

유한차분시간영역 방법은 전자기파 관련 분야의 전산모사에 많이 사용되는 수치해석기법이다. 이 방법을 이용하여 구현한 전산모사 프로그램은 많은 계산 자원 필요로 하기 때문에 병렬 계산 환경을 이용하게 되는 경우가 많다. 병렬 계산 환경에서 전산모사를 수행할 경우, 병렬로 수행되는 각 프로세스 간의 통신 속도와 네트워크의 지연 시간은 계산의 병목 현상을 초래하여 전체적인 성능을 저하시키는 원인이 된다. 따라서, 본 논문에서는 MPI의 지속 통신 메커니즘을 이용하여 병렬 프로세스 간 동기화 속도를 증가시킴으로써 유한차분시간영역 전산모사 프로그램에서의 MPI 통신 성능의 향상을 꾀하고, 그 결과를 그래프로 도시하였다. 또한 기존의 양방향 통신과 단방향 통신 메커니즘을 사용했을 때의 성능과 비교/분석하여, 병렬 유한차분시간영역 전산모사 프로그램에 있어서 지속 통신 메커니즘의 장/단점을 제시하고, 그 효용성에 관해 논의한다.

• Annual Conference on Human and Language Technology
• /
• 2014.10a
• /
• pp.238-241
• /
• 2014

본 논문에서는 명사간의 유사도 추정을 위하여 명사 어휘와 술어-논항 관계에 있는 동사들의 유사도를 측정하여 이를 활용하는 연구를 제안한다. 어휘 유사도 추정은 정보 통합과 정보 검색 분야에서 중요한 역할을 한다. 본 연구에서는 유사한 명사 어휘들은 유사한 문맥을 가지고 있으며 동시에 명사 어휘의 문맥에 있어 가장 중요한 문맥 정보는 명사 어휘와 직접적인 구문 관계를 가지고 있는 술어 정보임을 가정하였다. 실험을 위하여 본 연구에서 제시된 유사도와 명사 계층 클래스간의 유사도간의 상관관계를 계산하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.261-264
• /
• 2012

상수 크기의 알파벳 ${\Sigma}$에 대해 길이가 각각 m, n인 두 문자열 X와 Y의 편집거리는 X를 Y로 변환하기 위해 필요한 최소 편집연산의 수로 정의된다. 두 문자열의 편집거리는 잘 알려진 동적프로그래밍을 이용하여 O(mn) 시간과 공간에 계산할 수 있으며, 4-러시안 알고리즘을 이용해도 계산할 수 있다. 4-러시안 알고리즘은 블록 크기를 상수 t라 할 때, 전처리 단계에서 $O\((3{\mid}{\Sigma}{\mid})^{2t}t^2\)$ 시간과 $O\((3{\mid}{\Sigma}{\mid})^{2t}t^2\)$ 공간이 필요하며, 계산 단계에서 O(mn/t) 시간과 O(mn) 공간을 이용하여 편집거리를 계산하는 알고리즘이다. 본 논문에서는 4-러시안 알고리즘의 계산 단계를 CUDA를 이용하여 구현하고 실험을 통해 CPU 기반의 순차적인 수행시간과 GPU 기반의 병렬적인 수행시간의 비교결과를 제시한다. 본 논문의 병렬알고리즘은 m/t개의 쓰레드를 사용하여 O(m+n) 시간에 편집거리를 계산한다. GPU 기반의 알고리즘이 CPU 기반의 알고리즘 보다 t=1일 때 약 10배 빠르고, t=2일 때 약 3배 빠른 결과를 보였다.

• Journal of The Korean Association of Information Education
• /
• v.17 no.2
• /
• pp.147-156
• /
• 2013

Computer Science has been developed thru the study of information processing, the study of what can be automated, the study of computation, and the study of information processes both natural and artificial. As developing the computer science, the aspect of informatics education was changed. Recently we focus on computational thinking education. In this paper, I review the progress of informatics education and research the applying of unplugged computing as a method of computational thinking education. I also research the considerations about applying of unplugged computing in aspects of teacher preparation, educational content, and teaching resources. As result I found that teachers change their perceptions about computer education, understand the computer science contents, and understand the promotion of students thinking skills in point of view at teacher preparation, that teachers can set the levels of abstraction and can enrich and integrate of contents, and that teacher can manage class time and educational resources preparation in point of view at educational resources.

• Proceeding of EDISON Challenge
• /
• 2013.04a
• /
• pp.89-100
• /
• 2013

생물정보학의 다양한 이론적 내용과 계산적 방법들이 갈수록 전문화 되어짐에 따라 신약 개발, 신 물질 합성, 단백질의 구조 예측 등 다양한 분야에서 필요성이 커져가고 있다. 이 중 molecular docking 기술은 단백질과 특정 분자간의 결합 형태를 분자 모델링 기법을 통해 알아내는 방법이며 신약개발 연구에 큰 영향을 미치고 있다. Molecular docking을 통하여 분자간의 결합 형태를 예측하는 과정에서 Protein-ligand complex의 정확한 에너지 측정을 가능하게 하는 scoring function이 필요하다. 그런데 본 연구에서 사용한 B-Raf kinase protein 은 active site 부분에서 ligand와 receptor 간에 aromatic ring로 인한 ${\pi}-{\pi}$ interaction이 정확한 에너지 계산을 어렵게 한다. 이러한 ${\pi}-{\pi}$ interaction 부분의 에너지를 정확하게 계산하기 위해 양자역학 계산을 실시하였다. Active site 부분에서 ligand와 receptor에서 발생하는 각각 다른 5개의 ${\pi}-{\pi}$ interaction 구조를 준비하여 Gaussian을 통해 양자역학 에너지를 계산하였다. 그리고 이러한 결과 값들이 ligand의 활성 값과 어떤 상관관계를 갖는지 살펴보았다. 그 결과 ${\pi}-{\pi}$ interaction을 양자역학으로 계산한 값이 그렇지 않은 것보다 더 좋은 상관관계를 보여주었다. 이는 특별한 구조의 영향으로 ligand와 receptor 간의 결합에너지를 정확하게 계산하기 어려운 문제에서 양자역학을 적용할 경우 더욱 좋은 결과값을 얻을 수 있었다. 또한 이러한 데이터가 신 물질 개발이나 신약 개발 등의 다양한 분야에서 계산화학 방법이 신뢰성을 얻는데 도움 될 수 있다고 생각된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.628-630
• /
• 2002

본 논문은 이상 유동장 시스템의 전기 단층촬영 기법의 성능을 향상시키기 위해 Matlab과 같은 계산 도구에 데이터 통신 기능을 추가적으로 구현하여 노드들의 협력 계산을 지원한다. 구현된 통신 기능은 Matlab 명령어 라인이나 m-file에서 직접 호출할 수 있는 동적 링크 라이브러리 형태로 제공되며 호출시 전달된 Matlab 고유 방식으로 표현된 행렬을 Windows 운영체제에서 제공하는 파이프 기능을 이용하여 네트워크를 통해 수신자에게 전달한다. O(n$^3$)의 복잡도를 갖는 다수의 연산으로 구성된 영상 복원 알고리즘에 있어서 사전 분석과정을 협력 계산함으로써 물체 내부의 상황에 따라 n의 크기를 감소시켜 알고리즘의 수행속도를 크게 개선할 수 있다. 본 논문에서 구현된 협력 계산 환경과 프로그램은 주어진 물체내부 기포 분포에 대해 동적 칼만 필터 프로그램을 8개의 노드를 사용하였을 때 15배까지 수행속도를 향상시켰다. 따라서 고가의 병렬 시스템 대신 현재 이용이 가능한 저비용의 클러스터 계산 환경을 ET 기법에 적용하여 보다 정확하고 신속한 영상 복원을 수행할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.102-104
• /
• 2011

서로 다른 XML 스키마를 바탕으로 작성된 XML 문서간의 비교 및 검색을 위해서는 두 스키마 사이의 연관관계를 계산하는 스키마 매칭 과정이 필수적이다. 스키마 매칭방법으로는 구조적 연관성을 비교하는 방법, 의미적 연관성을 계산하는 방법, 타입의 연관성을 계산하는 방법이 존재한다. 또한, 자동분류기법을 사용하여 연관성을 계산하는 방법도 존재한다. 본 논문에서는 XML 문서의 비교을 위한 효율적인 스키마 매칭 방법을 제안한다. 제안된 방법은 두 단계로 구성된다. 먼저 자동분류기법을 사용하여 단말노드 사이의 매칭정도를 계산한다. 또한 의미적, 구조적, 타입의 연관성도 계산하여 최적의 매칭결과를 선택한다. 특히 의미적 연관성은 사용자 피드백에 의해 점증적으로 갱신되는 온톨로지에 기반한다.