• 정보보호학회논문지
• /
• 제19권6호
• /
• pp.185-190
• /
• 2009

CRT-RSA의 사용이 대중화됨에 따라, CRT-RSA에 대한 보안 또한 중요 이슈가 되었다. 1996년, Bellcore 연구원들에 의해 CRT-RSA가 오류 주입 공격에 취약하다고 밝혀진 이래로, 많은 대응책들이 제안되었다. 첫 번째 대응책은 1999년 Shamir에 의해 제안되었으며, Shamir의 대응책은 오류 검사 기법에 기반을 두고 있다. Shamir의 대응책이 소개된 이후, 오류 검사 기법을 사용하는 많은 대응책들이 제안되었다. 그러나 Shamir의 대응책은 2001년 Joey 등에 의하여 피연산자 조작 공격에 취약함이 밝혀졌으며, 오류 검사 기법 또한 2003년 Yen 등에 의하여 연산자 조작 공격에 취약하다고 알려졌다. 이에 Yen 등은 오류 검사 기법을 사용하지 않고 오류 확산 기법을 사용하여 새로운 대응책을 제안하였으나, Yen 등이 제안한 대응책 또한 2007년에 Yen과 Kim에 의하여 안전하지 않음이 밝혀졌다. 최근에는 Kim 등이 Yen 등의 대응책을 보완한 새로운 대응책을 제안하였으며, Ha 등 또한 오류 확산 기법을 사용한 대응책을 제안하였다. 그러나 Kim 등과 Ha 등이 제안한 대응책들을 포함한 기존 대응책들은 연산자 조작 공격에 대해서는 안전성이 증명되지 않았기 때문에 본 논문에서는 피연산자 조작 공격은 물론, 연산자 조작 공격도 고려하여 지금까지 제안된 대응책들의 안전성을 분석할 것이다.

• 한국통신학회논문지
• /
• 제27권11C호
• /
• pp.1106-1111
• /
• 2002

본 논문은 원신호의 지역 평균값을 등가적으로 제거함으로써 검출 오류확률을 감소시키는 워터마킹 기법을 제안한다. 우선 원신호의 지역 평균값의 제거가 검출 오류확률을 감소시킴을 보인다. 여기서 원신호의 지역 평균값의 제거는 원신호를 변형하게 되므로 원신호를 변형하지 않고 등가적으로 원신호의 지역 평균값을 제거하는 방식을 필요로 하게 된다. 그 방식은 워터마크 신호의 지역 평균값을 제거한 워터마크를 삽입함으로써 워터마크 검출 시 원신호의 지역 평균값을 제거한 것과 같은 효과를 가짐에 기초한다. 이러한 결과들이 이론적으로 증명되며, 다양한 워터마크 신호를 적용한 실험을 통해 검증한다.

• 인지과학
• /
• 제13권4호
• /
• pp.42-42
• /
• 2002

명사 수식 부사는 서술어를 수식하는 다른 부사들과 달리, 명사를 수식하는 기능을 수행하는 부사이다. 이들 부사들은 부사의 전형적인 기능과 다른 기능을 보이기 때문에 구문 분석시 많은 오류를 일으킨다. 이 연구에서는 명사 수식 부사를 포함한 구문이 보이는 분석의 오류를 해결하기 위하여 명사 수식 부사를 분류하고 명사 수식 부사들의 사용 양태를 살펴서 구문 분석시의 처리 방안을 수립하였다. 또한 이러한 작업이 실제로 분석의 정확도를 높이는 데 기여할 수 있음을 증명하기 위해 명사 수식 부사 처리기를 구현하여 구문 분석기의 성능 향상을 실험하였다. 제안된 방법에 의해서 구문 분석의 정확도는 81.9%에서 83.6% 정도로 향상되었다.

• 인지과학
• /
• 제13권4호
• /
• pp.43-53
• /
• 2002

명사 수식 부사는 서술어를 수식하는 다른 부사들과 달리, 명사를 수식하는 기능을 수행하는 부사이다. 이들 부사들은 부사의 전형적인 기능과 다른 기능을 보이기 때문에 구문 분석시 많은 오류를 일으킨다. 이 연구에서는 명사 수식 부사를 포함한 구문이 보이는 분석의 오류를 해결하기 위하여 명사 수식 부사를 분류하고 명사 수식 부사들의 사용 양태를 살펴서 구문 분석시의 처리 방안을 수립하였다. 또한 이러한 작업이 실제로 분석의 정확도를 높이는 데 기여할 수 있음을 증명하기 위해 명사 수식 부사 처리기를 구현하여 구문 분석기의 성능 향상을 실험하였다. 제안된 방법에 의해서 구문 분석의 정확도는 81.9%에서 83.6% 정도로 향상되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.385-388
• /
• 2013

물류 고도화를 통한 기업 생산성 확보 및 생존 경쟁력 강화를 위해 기존의 공급망 관리(SCM) 기술에 RFID 기술을 융합함으로써 물품자동 인식, 물류정보 교환 및 추적 등의 지능화 서비스를 온라인상에서 실시간으로 제공할 수 있는 기술이 적용되고 있다. 하지만 물류정보 동기화 기술 개발 측면에서는 물류정보의 단순 가시화 시스템 개발 수준에 머물고 있는 것이 현실이고, 본격적인 확산을 위해 수집된 데이터 오류 검출 및 보정이라는 물류정보 동기화 기술 개발로 물류 시스템 운용 비용을 절감할 수 있다면 그 파급 효과가 매우 클 것이다. 지금까지는 RFID 인프라 기술 개발에 집중해 왔기에 물류정보 동기화 기술은 아직 초기 연구 단계에 머무르고 있다. 본 논문은 RFID 기반 공급망 상에서 발생할 수 있는 물류정보 동기 오류를 검출하고 보정할 수 있는 물류정보 동기화 알고리즘을 설계하고, 향후 공급망의 변화 및 확장 등의 이유로 알고리즘을 효율적으로 수정 보완할 수 있는 비즈니스 룰엔진 기반의 아키텍처를 구현하여 글로벌 물류 기업에 적용하고, 그 결과를 분석하여 물류정보 동기화 알고리즘과 구현 아키텍처의 효율성을 증명하였다.

• 인터넷정보학회논문지
• /
• 제17권4호
• /
• pp.43-50
• /
• 2016

본 논문은 차량용 지능형 네트워크에서 각광 받게 될 이더넷중심의 프로토콜과 데이터 전송 시 임의의 오류에 내성이 있는 알고리즘을 제안하였다. 동시에 시뮬레이션과 실험을 통해 구현과 검증을 시도하여 시스템의 유용성을 증명하였다. 기존의 차량 통신 서비스 시스템에 적용시키기 위한 알고리즘에 대하여 문헌 조사하고 최종적으로 새로운 알고리즘을 구현하였다. 실제 차량용 실시간 데이터의 경우 임의의 값이 불규칙적으로 발생하기 때문에 임의의 데이터를 생성하여 실험을 진행하고 payload의 설정을 표준 형식에 맞추었다. 구현된 알고리즘의 성능을 확인하고자 기존의 알고리즘에서 단일 데이터에서부터 혼합형 (Hybrid-type) 데이터까지 확인하였을 때의 문제점을 확인하고 제안하는 알고리즘의 실효성을 확인하였다.

• 한국통신학회논문지
• /
• 제41권6호
• /
• pp.640-651
• /
• 2016

본 논문은 실내 환경에서 정확도를 고려한 효과적인 도래시간 기반 무선 측위 방법을 제안하였다. 위치 측위의 목적은 타겟의 위치를 추정하는 것이다. 실내 환경에서 타겟의 정확한 위치를 추정하는 것은 다양한 오류들 때문에 어렵다. 무선 측위의 정확성은 비가시성 오류에 큰 영향을 받는다. 도래시간 기반 측위는 수신기와 3개 이상의 송신기 들 사이에서 거리 값을 이용하여 위치를 추정한다. 그러나 송신기와 수신기의 위치에 따라 장애물들로 인해 각각의 비가시성 오류도 다르다. 수신기의 위치를 정확하게 추정하기 위해서는 최적화된 위치 측위 방법이 필요하다. 본 논문은 무선 센서 네트워크에서 정확도를 높이기 위한 효과적인 측위 방법을 제안한다. 측위 시스템의 정밀도를 높이기 위해 거리 측정 단계에서의 거리 값을 보정하는 방법과 비가시성 환경에서 발생하는 오차들을 최소화시켜 효율적으로 송신기들을 선택하는 알고리즘을 제안하여 성능을 향상시켰다. 제안한 방법의 성능 평가는 다양한 오차들이 존재하는 실제 환경에서의 실험들로 인해 제시되었고, 실험적인 결과들은 기존의 방법과 제안된 방법을 가진 측위 절차의 추정 오차 결과들의 비교를 통해 측위 시스템의 정확도가 향상된 것을 증명하였다.

• 한국통신학회논문지
• /
• 제38C권1호
• /
• pp.109-117
• /
• 2013

극 부호(polar codes)는 광범위한 이진 입력 이산 무기억 채널(binary input discrete memoryless channel: BI-DMC)에서 채널 용량에 달성하는 것이 이론적으로 증명된 최초의 채널부호이다. 하지만 유한한 길이를 갖는 극 부호는 연속 제거 리스트(successive-cancellation list: SCL) 복호기에서 오류마루(error floor)가 발생하는 문제점이 있다. 선행 연구에 따르면 이 오류마루 현상은 극 부호에 오류 검출 코드(error detection codes) 중 하나인 CRC(Cyclic Redundancy Check) 부호를 연접했을 때 효과적으로 낮출 수 있는 것으로 알려져 있다. 본 논문에서는 외부 부호(outer codes)를 사용하지 않고 극 부호와 RM(Reed-Muller) 부호의 생성 행렬 연관성을 이용하여 기존 극 부호보다 확장된 최소거리를 갖는 극 부호를 제안한다. 그리고 제안된 극 부호와 CRC 부호를 연접한 극 부호의 성능을 비교한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2006년도 추계 종합학술대회 논문집
• /
• pp.609-611
• /
• 2006

분산 시스템에서 어떠한 시스템 요소에 결함이나 오류가 발생하더라도 시스템이 정상적으로 동작하게 하는 결함 허용 기법은 해당 분산시스템의 효용성을 높이는데 기여한다. 본 연구는 분산 시스템의 결함 허용 기법 중 시간 제약성 측면에서 강한 여분기반 결함허용 기법을 수용한다. 이 기법의 구성 요소인 어플리케이션 서버는 그 상태가 결정적(deterministic)이냐 비결정적(nondeterministic)이냐에 따라 그 처리 기법을 달리하고 있다. 그 중 SAR(Semi-Active Replication)이 자원 활용도 측면에서 그 효율성 증명된바 있다. 본 논문에서는 SAR의 단점인 응답시간 지연문제와 클라이언트 측면에서의 결함 허용(fault-tolerance) 문제를 해결하기 위한 기반 구조를 제안한다.

• 논리연구
• /
• 제10권1호
• /
• pp.25-64
• /
• 2007

본 논문에서 필자는 수학에 대한 구조주의적 해석들은 수학의 객관성을 설명하는 문제인 비공허성의 문제를 해결하지 못하고 있음을 보이고자 한다. 제거적 구조주의가 비공허성의 문제를 해결하지 못한다는 것은 대부분의 수학철학자들 사이에서 공유되는 견해이며, ante rem 구조주의는, 케래넨의 논증을 수정한 필자의 강한 논증에 의하면, 수학적 대상들에 대한 적절한 동일성 설명을 결코 제공할 수 없기 때문에, 결국 비공허성의 문제를 해결하지 못한다. 또한, 양상 구조주의자인 헬만의 경우에는, 비공허성의 문제에 대한 양상 구조주의적 해결을 가능케 해주는 주장(산수와 관련하는 경우, "${\omega}$-순서열 체계가 논리적으로 가능하다")에 이르는 그의 증명이, 필자의 판단에 따르면, 논점 선취의 오류를 저지르고 있다.