• Journal of KIISE:Software and Applications
• /
• v.37 no.10
• /
• pp.768-772
• /
• 2010

Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST aims at exploring all possible execution paths. In case of testing a specific branch or block, thus, it can be ineffective. This paper suggests a goal-oriented concolic testing that generates test data to execute a given branch or block.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2006.06a
• /
• pp.737-740
• /
• 2006

유비쿼터스 환경을 현실 세계에 구현함에 있어 가장 중요한 핵심 기술 중 하나는 컨텍스트 정보 관리이다. 하지만 기존의 많은 연구들에서 컨텍스트를 요구함에 있어 무엇을 어떻게 요구할 것인지에 대한 방법이 명확하지 않았다. 따라서 본 논문에서는 응용이 필요로 하는 컨텍스트 정보만을 컨텍스트 매니저에게 주고받는 컨텍스트 전송 프로토콜을 소개한다. 그리고 컨텍스트 요청 메시지와 응답 메시지가 어떻게 XML로 구성되고 동작하는지 보인다. 또한, 개인 정보에 관한 컨텍스트를 안전하게 처리하기 위해 정당한 사용자만이 컨텍스트 정보를 요청하고 받을 수 있도록 SPKI/SDSI(Simple Public Key Infrastructure/Simple Distributed Security Infrastructure)를 이용한 인증절차를 소개한다.

• Review of KIISC
• /
• v.17 no.1
• /
• pp.57-62
• /
• 2007

본 논문에서는 바이오인식 정보 기술(얼굴, 정맥, 지문, 홍채)을 이용하여 신뢰성 있는 Ubiquitous-Healthcare(U-HC) 서비스를 지원하는 사용자 인종 메커니즘과 암호화 기법을 제안한다. U-HC 서비스에 태동 및 특징, 국내외 산업현황, 기대효과 등을 통해 U-HC서비스의 필요성을 강조하고 있다. 하지만 지능화 및 고도화된 기술을 통하여 개인 정보를 악의적인 의도로 유출하여 개인에게 육체적 정신적 경제적 피해를 주고 있다. 바이오인식은 이러한 피해를 막고 보안 및 프라이버시 측면의 취약점 및 공격들을 분석하여 효율적으로 방어함으로서 개인의 의료정보 및 바이오 정보를 보호하기 위한 대응책인 새로운 사용자 인증과 암호화 기법이다. 사용자 인증 기법은 다수의 바이오 정보들을 인증 시에 무작위로 선택하여 2개 이상 입력하는 방안이며 암호화 기법은 사용자 스토리(Story)식 암호화(Encryption) 기법을 제안한다. 이러한 방법론을 통하여 효율적이며 신뢰 성 있는 U-HC 서비스를 보장하고자 한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1380-1385
• /
• 2006

A Pipelined Tone Wakeup(PTW) scheme(1) was proposed to support energy saving and end-to-end delay for sensor networks by providing an asynchronous wakeup pipeline to overlap the wakeup procedures with the packet transmission. But the scheme uses two radios and assumes error-free environments. In this paper, we propose a modified PTW scheme for wireless sensor networks. The proposed scheme is based on the PTW. The difference is that next hop information will be included in the ack packet from receiver node to sender node, So all the other neighbor nodes can stay in sleep mode long enough to save energy. Also ore get enhanced delay performance.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.05a
• /
• pp.795-799
• /
• 2003

Computing and Networking technologies are rapidly developed. Currently, Internet environment can offer voice, multimedia data as well as real-time movie services. But, the number of hacking has increased very much and the damages become serious. In this paper, the change of hacking method and security paradigm is investigated. And, we study in existing network security systems including newly developed security systems. Finally, we describe development directions of network sorority system for next generation network environment.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.05a
• /
• pp.766-768
• /
• 2003

There are two reasons that the remote medical is newly embossed. One is the development of the info-communications technology that is possible to the remote diagnosis. Another is changing the thinking about the new medical services for the offerers and consumers. Therefore, we suggest the mobile-environmental remote diagnosis system. The system could apply more efficient connection with the very fast developing diagnosis and medical treatment.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2014.06a
• /
• pp.273-275
• /
• 2014

육상으로부터 다양한 고급 정보를 전달 받아서 항해의 안전성과 효율성을 높이는 항해지원 기술의 필요성이 제기되고 있고, 이러한 맥락에서 e-navigation에서도 육상-선교간 정보 교환을 토대로 항해 관련 정보를 주고 받는 기술에 대해 강조하고 있다. 본 연구에서는 실시간 항행정보시스템의 구축을 위한 요소 기술 개발 단계에서 개발된 교통정보 및 사고정보 모듈을 실선에 탑재하여 실해역 시험을 수행하고, 실해역 시험 결과를 통해 파악된 문제점을 분석하여 향후 실시간 항행정보시스템의 구축 방향을 정비할 수 있는 방안을 마련하였다. 실험 결과, 육상과 선교간 통신 인프라의 한계를 체감하였으며, 실시간 항행정보시스템에서 육상-선교간 정보 컨텐츠 뿐만 아니라, 제한된 통신 인프라에서의 정보 교환 방법에 대한 적극적인 해결 방안이 마련되어야할 필요성을 인지하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2007.12a
• /
• pp.283-286
• /
• 2007

최근 우리나라 여러 주요 항만에 해상교량의 건설이 진행 중이거나 계획 중에 있는데, 이들 교량의 설치 위치나 규모가 주로 경제적인 측면만을 강조하여 이루어짐으로써, 선박 동항안전에 위협을 주고 있으며, 이해 당사자 간의 갈등이 고조되고 있는 현실이다. 따라서 이 연구에서는 선박 통항로 상에 많은 해상교량을 가지고 있는 미국의 해상교량 관련 법령과 절차를 조사${\cdot}$연구하여 우리나라의 제도를 제안하는데 참조하고자 한다.

• Information and Communications Magazine
• /
• v.29 no.8
• /
• pp.26-33
• /
• 2012

차세대 통신 시스템에서는 고속 데이터 전송을 위해 다수의 송신자와 수신자가 네트워크를 구성하여 정보를 주고 받는 다자간 협력 통신을 가정한다. 이러한 상황에 적합한 오류 정정 부호로 이미 탁월한 오류 정정 능력을 검증 받은 저밀도 패리티 체크 (low-density parity-check, LDPC)부호, 이진 입력 이산 비기억 (discrete memoryless) 채널에서 무한한 길이에 대하여 채널 용량 (channel capacity)을 달성하는 것으로 알려진 극 부호 (polar code), 아직은 많이 개발되지 않았지만 보다 높은 전송률을 달성할 수 있는 다중점 (multiple point) 채널에서의 새로운 부호 등이 거론될 수 있다. 본고에서는 이러한 차세대 통신 시스템을 위한 오류 정정 부호들에 대해서 기본 이론과 최근 연구 동향, 그리고 향후 연구 방향 등을 소개하도록 한다.

• Annual Conference of KIPS
• /
• 2017.04a
• /
• pp.350-353
• /
• 2017

사물 인터넷(Internet of Things, IoT)이란 사물 인터넷으로서 사물을 서로 연결 및 통신하여 정보를 주고 받을 수 있게 하는 기술이다. 사물 인터넷의 급속한 성장으로 인해 수많은 데이터가 발생하게 되었고, 이러한 이유로 인해 빅데이터(big-data) 기술이 대두되었다. 빅데이터는 정형 데이터 뿐만 아니라 사진, 동영상 등의 비정형 데이터 또한 분석하고 활용하는 기술이기 때문에 사물 인터넷과 빅데이터 기술은 서로 보완적인 관계에 있다. 이러한 두 가지 기술의 특성에 기초하여, 본 논문에서는 빅데이터와 사물 인터넷에 대한 정의와 동향에 대하여 알아보고 이러한 두 가지 기술을 연계해 활용한 실제 플랫폼과 스마트 시티 등에 대한 실생활에 쓰이는 실제 사례 및 기술들에 대해 연구하였다.