개발자 첨부 자료에 의한 트로이 목마 대응 기법

조은선(Eun-Sun Cho),예홍진(Hong-Jin Yeh),오세창(Se-Chang Oh),홍선호(Sun-Ho Hong),홍만표(Manpyo Hong) 한국정보과학회 2002 정보과학회논문지 : 시스템 및 이론 Vol.29 No.3·4

‘트로이 목마 프로그램 (Trojan-horse program)’ 이란 겉으로는 유용한 일을 하는 것처럼 보이지만 사용자 모르게 악성 행위를 하는 프로그램을 의미한다. 본 논문에서는 개발자의 첨부 자료에 의거하여 트로이 목마 프로그램을 감지할 수 있는 방법을 제안한다. 이 방법에서 코드는 개발자에 의해 자원 접근 정보를 가지는 첨부자료와 함께 배포되며 사용자는 첨부 자료를 통해 코드의 악성 여부를 1차 판단한다. 이 때 정상 코드로 판명되어 수행이 허가된 코드는 수행 중에 감시 시스템에 의해 자신의 첨부자료에 위배되지 않는 다는 것을 2차로 감시 받게 된다. 이로써 알려지지 않는다는 트로이 목마 프로그램의 감지가 가능함과 동시에 기존 감시 시스템 기법들에 비해 사용자 측의 정책 설정 및 판단 부담을 줄여주는 특징을 가진다. 본 논문에서는 제안된 방식을 형식 언어로 기술하고 그 안전성도 함께 보인다. Trojan-horse programs are the programs that disguise normal and useful programs but do malicious thing to the hosts. This paper proposes an anti-Trojan horse mechanism using the information attached to the code by the developers. In this mechanism, each code is accompanied with the information on their possible accesses to resources, and based on this information users determine whether the code is malicious or not. Even in the case a code is accepted by users due to its non-malicious appearance, its runtime behaviors are monitored and halted whenever any attempts to malicious operations are detected. By hiring such runtime monitoring system, this mechanism enables detecting unknown Trojan horses and reduces the decision-making overhead being compared to the previous monitoring-based approaches. We describe the mechanism in a formal way to show the advantages and the limitations of the security this mechanism provides.

Verification of a Paillier based shuffle using representations of the symmetric group

Soojin Cho,Manpyo Hong 대한수학회 2009 대한수학회보 Vol.46 No.4

We use an idea of linear representations of the symmetric group to reduce the number of communication rounds in the verification protocol, proposed in Crypto 2005 by Peng et al., of a shuffling. We assume Paillier encryption scheme with which we can apply some known zero-knowledge proofs following the same line of approaches of Peng et al. Incidence matrices of 1-subsets and 2-subsets of a finite set is intensively used for the implementation, and the idea of λ-designs is employed for the improvement of the computational complexity. We use an idea of linear representations of the symmetric group to reduce the number of communication rounds in the verification protocol, proposed in Crypto 2005 by Peng et al., of a shuffling. We assume Paillier encryption scheme with which we can apply some known zero-knowledge proofs following the same line of approaches of Peng et al. Incidence matrices of 1-subsets and 2-subsets of a finite set is intensively used for the implementation, and the idea of λ-designs is employed for the improvement of the computational complexity.

PI Mechanism을 이용한 효율적인 Hop Count Filtering 구현

정용훈(Yonghoon Jeong),홍만표(Manpyo Hong),예홍진(Hongjin Yeh) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1A

서비스 거부 공격(Denial of Service)은 최근 가장 큰 관심의 대상이 되고 있는 공격 형태로 시스템이나 네트워크의 자원을 고갈시킴으로써 더 이상의 서비스를 제공하지 못하도록 하는 공격이다. 이러한 서비스 거부 공격은 IP 스푸핑(spoofing) 기법을 사용하기 때문에 공격지의 근원지를 파악하기 어렵고, 필터링 기법을 사용하여 공격을 차단하기도 어렵다. 이러한 공격을 탐지하기 위해서 Hop Count Filtering 기법이 제안되어 있지만, 피해자에게 유입되는 각각의 패킷을 분석하여 스푸핑을 탐지하기에는 많은 지연과 과부하(Overhead)의 문제점이 있다. 이 것을 해결하기 위해서 본 논문에서는 PI (Path Identification Mechanism)기법을 적용시켜, 스푸핑 된 패킷을 이용한 서비스 공격을 차단할 수 있는 구현방안을 제안하고자 한다.

Passive Star형 광상호연결망에서 광 / 전(光 / 電) 변환을 고려한 최적의 방송 스케쥴링

이상수(Sangsoo Lee),홍만표(Manpyo Hong),예홍진(Hongjin Yeh) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅲ

본 논문에서는 파장분할다중화 방식을 사용하는 광상호연결망에서 송신기의 지연시간과 수신 노드에서의 광/전(光/電) 시간을 동시에 고려하여 각 노드의 패킷 수신 간격이 일정하면서도 전체 방송 주기를 최적화 할 수 있는 송수신 스케쥴링 알고리즘을 제안하고자 한다. 즉, N개의 노드로 구성된 스타(star)형 구조에서 K개의 파장을 사용하여 일정한 간격으로 패킷을 수신할 경우에 최적의 방송주기를 제시하고 그에 따른 스케쥴링 알고리즘을 설명하고 있다.

환자의 감성을 고려한 청진기 가온기 디자인연구

김현선(Kim, Hyunsun),홍만표(Hong, Manpyo),주정희(Joo, Junghee),박지애(Park, Jiae) 한국디자인지식학회 2012 디자인지식저널 Vol.24 No.-

청진은 환자에게 의사에 대한 신뢰를 전달하는 첫 번째 행위이다. 청진시 환자는 자신의 병에 대한 불안감으로 예민한 상황에 놓이게 되며 질환을 확인하는 청진기에 대한 불쾌감 또한 순간적으로 높아진다. 특히 여성과 어린이는 청진기의 차가운 느낌에 대한 불편함을 강하게 나타내며 의사들은 이에 대한 개선의 필요를 느끼고 있다. 스테인레스 스틸소재에 검은색으로 대표되던 청진기디자인이 다양한 소재로 변화되고 색상 또한 밝은 계열의 제품이 소비되고 있는 것이 그 증거이다. 반면 청진기는 오랜 세월동안 의사의 권위와 신분의 상징이기도 했다. 그러나 최근 들어 의료행위는 서비스라는 의식이 확대되고 환자에 대한 개념도 과거 보살핌의 대상에서 소비자로 인식의 전환이 이뤄지고 있으며 병의 치료가 물리적인 치료와 더불어 심리적인 치유 또한 중요하게 취급되고 있다. 본 연구는 진료의 상징이며 환자들이 처음으로 접하는 불안감의 대상인 청진기에 대해 별도의 가온기를 고안, 디자인 하였다. 스톤테라피 개념에서 착안된 형태연구와 온열기능, 살균기능을 더하였으며 의사의 상징이 되어온 기존 청진기 제품을 그대로 사용하여 사용성을 높였으며 LED램프를 활용하여 감염에 대한 불신을 극복하였다. 본 청진기 가온기디자인을 통해 의료환경의 개선은 물론 환자에게는 심리적 안정감을 의사에게는 환자와의 친밀감을 기대한다. 또한 국내는 물론 세계의료기기시장에 동양적, 한국적 정서를 기반으로 한 따뜻한 감성의 의료기기를 알리고자 한다. To a patient, it is the first action to deliver faith in his doctor. In stethoscopy, a patient is driven to a sensitive situation with an anxiety to his possible diseases and instantaneously shows his displeasure at the stethoscope examining his body. In particular, women and children have strong discomforts at the cold feeling of stethoscopes and doctors need some improvements in this matter. The fact that the design of stethoscopes, traditionally symbolized by a black color and stainless steel, now uses various materials and bright colors supports the doctors" argument above. On the contrary, a stethoscope has been the symbol of doctor"s authority and social status for a long time. Recently, however, a medical practice is more perceived as a service and the concept of a patient changes to that of a customer from the traditional concept of someone to be taken care of. In addition, the importance of psychological cure is increasing along with physical cure in terms of treatment. This study designed a special warmer to a stethoscope, the symbol of treatment and the source of patient"s discomfort. This study adds heating and sterilizing functions to a stethoscope based on a morphological study of the stone therapy, increases the usability by using existing stethoscopes, and overcomes patient"s distrust of infection with LED lamps. With this new design of a stethoscope warmer, this study expects improvements in the medical environment, psychological calmness for patients, and familiarity with the patients for the doctors.

비대칭 동적 그룹 방식에 기반한 키 교환 프로토콜

윤영빈(Youngbin Yun),홍민표(Manpyo Hong),김종욱(Jonguk Kim),강석인(Sukin Kang) 한국정보과학회 2011 한국정보과학회 학술발표논문집 Vol.38 No.1A

그룹 키 협정 (Group key agreement)1)은 그룹 내의 노드 (member)가 하나의 비밀 키 (secret key)를 공유하도록 하는 프로토콜이다. 이 때, 그룹 키를 맺는 시간을 줄이기 위해 메시지의 수, 지수연산, 라운드수가 적을수록 좋다. 그렇기 때문에 기존의 연구들에서는 이러한 요소들을 고려하여 프로토콜을 구성하였다. 하지만 그룹 내의 노드들이 계속 머무르는 상태에서 똑같은 그룹을 형성하는 것이 아니라 중간에 어떤 노드가 그룹을 떠나는 경우 (leave)도 있고 새로운 노드가 들어오는 경우 (join)도 있다. 또한, 그룹이 빠지는 경우 (group leave)도 있고, 그룹이 들어오는 경우 (group join)도 있다(Group Dynamics)2)3). 이러한 시나리오는 충분히 발생할 수 있기 때문에 이러한 요소들도 고려하여 프로토콜을 구성해야 한다. 그래서 이 논문에서는 그룹 노드들의 join과 leave, 그룹들 간의 join, leave가 빈번한 경우도 고려하여 프로토콜을 제시할 것이다.

소프트웨어 기반 네트워크 환경에서 라운드 로빈과 부하기반 방식을 결합한 하이브리드 부하분산 방법

이승혁(Lee Seunghyeok),홍만표(Manpyo Hong),김재훈(Jai-Hoon Kim),김강석(Kangseok Kim) 한국통신학회 2015 한국통신학회 학술대회논문집 Vol.2015 No.06

Go anywhere: user-verifiable authentication over distance-free channel for mobile devices

Kang, Sukin,Kim, Jonguk,Hong, Manpyo Springer-Verlag 2013 PERSONAL AND UBIQUITOUS COMPUTING Vol.17 No.5

분산 서비스거부 도구들의 위상 탐지를 위한 분산 탐지 기법

정유석(Yoosuk Jung),홍만표(Manpyo Hong) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.1A

인터넷 발전의 대표적인 역기능인 시스템 공격 방법 중 분산 서비스거부 공격은 공격 도구가 분산되어 있고 도구를 분산화 하는 과정을 찾기 힘들다는 특징 때문에 현재까지의 연구 대부분에서 공격이 발생한 시점에서의 대응 방법이 제안됐다. 그러나 이 시점에서의 대응은 시스템에 대한 보호가 늦어질 가능성이 높기 때문에, 공격이 발생되기 이전에 네트워크 상의 패킷의 흐름을 거시적으로 판단해서 공격의 징후를 찾고 이에 대해 대처할 수 있는 방법이 필요하다. 따라서 본 논문에서는 분산화 된 보안 에이전트들에 의해 공격 시점 이전에 분산 서비스거부 공격 도구의 위상의 탐지하는 기법을 제안한다. 이 기법은 분산된 공격 도구에서 발생할 수 있는 의심스러운 접속들을 포괄적으로 판단하여 공격이 발생하기 전에 공격도구들의 설치된 위치를 찾게 된다.

파장분할 다중방식에 따른 광상호연결망에서의 최적의 전방송 스케쥴링 알고리즘

장석문(Sukmun Chang),예홍진(Hong-Jin Yeh),홍만표(Manpyo Hong) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A

본 논문에서는 파장분할다중(WDM)방식에 따른 광상호연결망에서의 전방송(all-to-all broadcast)을 위한 송수신 스케쥴링 문제를 다루고 있다. 즉, N 개의 노드로 구성된 스타(star)형 구조에서 자기 자신을 제외한 모든 노드로의 방송을 위하여, k 개의 파장을 사용하여 N(N-1) 개의 패킷을 최단 시간 내에 전송하고자 한다. 이 때, 주어진 단위시간내에 임의의 노드간에 한개 이상의 패킷 송수신이 가능하다고 할 때, 송신기의 파장조정시간(tuning delay)을 δ 라 하면 최적 방송시간이 주기(cycle length)는 max{[N/k](N-1), kδ+N-1} 이 됨을 증명하고 그에 따른 최적의 송수신 스케쥴링 알고리즘을 제시하였다.