• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2005년도 제17회 한글 및 한국어 정보처리 학술대회
• /
• pp.105-111
• /
• 2005

정형적인 프로그래밍 언어에서는 언어를 기계적으로 해석하기 위해 입력의 구조적인 형태를 구축하는 파싱이 필수적인 과정으로 여겨진다. 기계에 기반 해서 개발된 프로그래밍 언어와 달리, 인간의 자유로운 의사소통을 위해 형성된 자연어는 특유의 다양성으로 인해 어휘, 구문, 의미 분석이 매우 어렵다. 반대로 자연어 구조 분석이 성공적으로 이루어지면 응용 시스템의 성능 향상에 상당한 기여를 할 것이라고 여겨지고, 이로 인해 끊임없이 자연어 처리, 특히 구문 분석에 많은 연구가 이루어지고 있다. 본 논문에서는 파싱에 사용되는 문법 전체를 말뭉치로부터 자동 구축하여 영역별 이식성 및 문법의 효율성을 도모했다. 또한 확률적 차트 파싱 기법과 immediate-head 파싱 모델을 적용하여 기존 파싱 시스템의 성능 향상을 시도했다. 세종 말뭉치를 이용한 파서의 성능은 각각 LP/LR 78.98%/79.55%로 나타났다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.28-30
• /
• 2002

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-time Systems)은 분산 네트워크 상에서 협력 동작하며 특정 시간 내에 요구하는 정보를 제공하는 이동 시스템이다. MDRTS는 시간, 이동성, 분산성 등을 표현하기 때문에 명세 복잡도가 높고, MDRTS의 성공적인 동작을 보장하기 위해 보다 정확하고 효율적인 시스템의 설계가 중요하다. 특히 시스템의 분산성과 이동성에 의해 발생하는 다양한 종류의 제약 사항을 표현한 수 있는 정형기법이 필요하다. 본 논문에서는 MDRTS을 명세하기 위해 PATM(Probabilistic Abstract Timed Machine)[1]을 확장하여 정의한 DATM(Distributed Abstract Timed Machine)에 대해 기술한다. DATM은 PATM에서 표현하기 힘들었던 이동하는 기계의 분산 정보를 명세할 수 있도록 하였고, 시간, 거리, 확률, 보안에 대한 제약 사항을 명세할 수 있도륵 정의하였다. MDRTS가 가진 제약사항들은 영역을 정의하여 표현하였다. 영역의 종류에는 시간영역, 거리영역, 확률영역, 보안영역이 있다. 각 영역의 속성에 시간적인 제약을 표현할 수 있으며, 시간과 공간 논리를 사용하여 모델링하였다.

• 한국정보통신학회논문지
• /
• 제7권4호
• /
• pp.684-690
• /
• 2003

본 논문에서는 무선 ATM망에서 비실시간성의 버스트 트래픽을 서비스하기 위한 경쟁기반 예약형 접속 제어 알고리즘과 슬롯 할당 알고리즘을 제안하였다. 제안한 기법에서는 예약요청 패킷의 충돌을 줄이기 위하여 예약요청 패킷 전송을 위한 RAS 미니슬롯의 수와 예약요청 부하를 기반으로 기지국이 전송 확률을 계산하고, 이를 하향 제어채널을 통하여 단말기들에게 방송한다. 전송할 트래픽 버스트가 있는 단말기들은 임의의 RAS 미니슬롯을 선택하여 기지국으로부터 수신한 전송 확률로 단말기 버퍼에 있는 패킷 수를 포함하는 예약요청 패킷을 전송한다. 한편, 슬롯 할당은 성공적으로 수신한 단말기의 버퍼 상태정보를 기반으로 한다. 기지국에서는 단말기들이 요청한 총 슬롯 수에 비례하여 슬롯을 할당한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제6권7호
• /
• pp.315-320
• /
• 2017

본 논문에서는 무선 네트워크 환경에서 악의적인 사용자의 인증서를 폐지하여 네트워크의 안정화를 지원하는 효율적인 기법을 제안한다. 제안된 기법은 무선장치 내의 침입탐지시스템을 기반으로 실시간으로 이웃노드의 악의적인 행동을 감지한다. 침입탐지시스템의 판단은 오차가 발생할 수 있으므로 오차를 보완하여 정확한 악의적인 노드의 인증서를 폐지하기위해 신뢰도기반의 가중투표게임과 확률러닝을 사용하여 정확성을 높일 수 있었다. 폐지과정을 통해 제안된 기법이 동적인 이동 애드혹 네트워크 환경에 효율적으로 적용되는 것을 알 수 있었으며 컴퓨터 시뮬레이션을 통해 기존에 제안된 다른 기법에 비해 악의적인 she의 인증서 폐지 성공률과 네트워크의 안정성 부분에서 좋은 성능을 보였다.

• 한국통신학회논문지
• /
• 제38C권2호
• /
• pp.219-226
• /
• 2013

본 논문에서는 수신 노드의 수가 증가하고 전달 제한 시간이 있는 브로드캐스트 센서 네트워크에서 아웃티지 확률을 감소시킬 수 있는 다중 홉 중계 방식을 제안한다. 패킷을 수신한 여러 개의 노드들이 분산 빔 형성 기법과 같이 동시에 패킷을 전송하는 다중 홉 중계 방식을 고려한다. 그리고 제한된 전달시간 내에서 패킷을 전송하는 데에 소모되는 평균 에너지 제한 조건을 만족 시키면서 패킷 수신에 성공한 모든 노드가 중계 노드로 동작하기 위한 채널 접속제어 기법과 송신 전력 제어 방식을 제안한다. 그리고 센서 네트워크 구축에 사용되는 지그비 기술의 다중 홉 브로드캐스트 중계 방식인 플러딩 기법과 비교하여 제안하는 방식의 아웃티지 확률이 더 낮아지고 평균 총 수신 전송률은 증가하게 되는 것을 실험을 통해서 보인다.

• 한국정보통신학회논문지
• /
• 제12권2호
• /
• pp.360-368
• /
• 2008

본 논문에서는 다중 서비스 다중 사용자 OFDMA 시스템의 임의 접근채널에서 차별화된 서 비스 품질을 제공하기 위하여 backoff기반 임의 접근 알고리즘을 제안하고, 임의 접근 채널의 주 자원인 부채널의 수와 PN-코드의 수가 주어진 경우, 제안된 알고리즘의 성능을 각 서비스 클래스 접속 확률의 함수로서, 각 서비스 클래스의 접속 성공 확률, 처리율, 블로킹 확률, 접속 지연관점에서 분석한다. 수치적 분석을 통하여 제안된 backoff 기반 임의 접근 알고리즘이 서로 다른 서비스 클래스의 임의접근 시도들에게 차등한 서비스 품질을 제공할 수 있음을 보였다.

• 한국지능시스템학회논문지
• /
• 제21권1호
• /
• pp.120-127
• /
• 2011

체크포인트 기법은 실시간 시스템의 내고장성을 구현하는 대표적인 방법이다. 본 논문에서는 확률 최적화를 이용하여 체크 포인트 구간을 결정하는 기법을 제시한다. 본 논문에서 다루는 실시간 시스템은 멀티 태스크(multi-task)들로 구성되며 Poisson 분포를 가지는 과도 고장이 발생한다. 또 멀티 태스크들은 비선점형 Rate Monotonic 알고리듬으로 스케줄링된다. 이번 연구에서는 멀티 태스크들의 수행 성공 확률을 체크포인트 삽입 개수로 표현하는 최적화 문제를 설정하고 이 확률값을 최대로 만드는 체크포인트 개수와 구간 길이를 구한다. 제안된 확률 계산 과정은 체크포인트 재수행 횟수에 대한 비선점형 RM 알고리듬의 스케줄링 가능성을 판별하는 방법도 포함한다. 사례 연구를 통해서 제안된 기법의 적용가능성을 입증한다.

• 정보처리학회논문지C
• /
• 제17C권4호
• /
• pp.307-314
• /
• 2010

최근 근접 인증에 사용되는 비접촉식 스마트카드와 같은 RFID 태그들이 경계 위조(distance fraud) 공격, 마피아 위조(mafia fraud) 공격, 테러리스트 위조(terrorist fraud) 공격과 같은 다양한 위치 기반 공격인 중계 공격(relay attack)들에 매우 취약함이 증명되었다. 더 나아가 이러한 중계 공격들을 방지하기 위해 리더와 태그사이의 메시지 송수신 왕복 시간을 측정하는 경계 결정(distance-bounding) 프로토콜이 한 해결책으로 연구되고 있다. 2005년에 Hancke과 Kuhn은 처음으로 해쉬 함수 기반의 RFID 경계 결정 프로토콜을 제안하였다. 하지만 Hancke-Kuhn 프로토콜은 공격자에게 n번의 왕복에서 (3/4)$^n$의 성공 확률을 제공하여 중계 공격을 완벽히 방어할 수 없다. 본 논문에서는 공격자에게 n번의 왕복에서 (5/8)$^n$의 성공 확률을 제공하는 새로운 경량 RFID 경계 결정 프로토콜을 제안한다. 연구 결론으로 제안한 프로토콜은 안전한 해쉬 함수와 XOR 연산을 기반으로 하여 높은 저장 공간 효율성을 제공할 뿐만 아니라, 공격자의 성공 확률을 (5/8)$^n$으로 최적화하여 중계 공격에 대해서도 더욱 더 안전하다.

• 한국통신학회논문지
• /
• 제35권9B호
• /
• pp.1350-1359
• /
• 2010

최근에 근접 인증(proximity authentication)을 위해 사용하는 RFID 시스템이 경계 위조(distance fraud), 마피아 위조(mafia fraud), 테러리스트 위조(terrorist fraud) 공격들과 같은 다양한 위치 기반의 중계 공격(relay attack)들에 취약함이 증명되었다. 이러한 중계 공격들을 방지하기 위해 리더와 태그사이의 데이터 왕복 전송 시간을 측정하는 경계 결정(distance-bounding) 프로토콜이 한 해결책으로 연구되고 있다. 2008년에 Munilla와 Peinado는 Hancke-Kuhn이 제안한 프로토콜을 수정하여 보이드-시도(void-challenge) 기법을 적용한 RFID 경계 결정 프로토콜을 제안하였다. Hancke-Kuhn 프로토콜과 비교하여 Munilla-Peinado의 프로토콜은 공격자에게 n번의 왕복에서(5/8)n의 성공 확률을 제공함으로써 공격 성공 확률을 감소시켜준다. 하지만 저장 공간 낭비와 많은 해쉬 함수 연산으로 인해 저비용 수동형 태그에는 비효율적이다. 이에 본 논문에서는 태그측의 해쉬 함수 연산량을 줄이고, 적은 저장 공간을 요구함으로써 저비용 수동형 태그에 적합한 새로운 RFID 경계 결정 프로토콜을 제안한다. 결론적으로 제안한 경계 결정 프로토콜은 Munilla-Peinado의 프로토콜과 비교하여 저장 공간 효율성과 연산 효율성을 높여줄 뿐만 아니라, $(5/8)^n$의 공격자 성공 확률을 보장함으로써 동일한 안전성을 제공할 수 있다.

• 한국정보전자통신기술학회논문지
• /
• 제12권4호
• /
• pp.406-412
• /
• 2019

본 연구에서는 H2H와 M2M 서비스가 공존하는 LTE-A 시스템에서 유사한 지연특성을 갖는 서비스들을 3개의 클래스로 분류하고 우선순위에 따라 무선자원을 할당하는 2가지 알고리즘을 제시한다. 첫 번째는 높은 우선순위의 클래스에서 낮은 순위의 클래스로 자원을 할당하며, 각 클래스에서는 M2M보다 H2H에 우선권을 주는 알고리즘이며, 두 번째는 가장 높은 우선순위의 클래스를 제외하고 나머지 클래스에서는 지연특성에 상관없이 H2H에 우선순위를 주는 방법이다. 각 클래스에서 M2M 기기들의 접속률(${\alpha}$)에 따라 임의접속 성공확률을 분석하였다. 기존시스템과의 비교에서, 2개 클래스(4개의 서비스)에 ${\alpha}_{2M}=0.05$인 경우 0.5에서 0.52로 향상되었다. 3개의 클래스에서, ${\alpha}_{2M}={\alpha}_{3M}=1$인 경우에는 0.5에서 0.57로, ${\alpha}_{2M}=0.5$, ${\alpha}_{3M}=0.1$인 경우에는 0.5에서 0.58로 성공확률이 약간 증가함을 알 수 있었다. 또한 제안된 두 알고리즘의 성능은 거의 동일했다. 이것은 제안된 방식에서 최대 6개의 서비스를 고려했지만, 각 클래스의 H2H의 평균 유입률을 동일하게 설정했기 때문에 임의접속 성공확률은 기존 방식과 거의 유사한 결과가 얻어졌음을 알 수 있다.