• 제목/요약/키워드: 동적 탐지

검색결과 298건 처리시간 0.032초

스마트카드 기반 Tsai et al. 인증기법의 안전성 분석과 새로운 보안기법 연구 (Security Analysis and Enhancement of Tsai et al.'s Smart-Card Based Authentication Scheme)

  • 김명선
    • 한국통신학회논문지
    • /
    • 제39B권1호
    • /
    • pp.29-37
    • /
    • 2014
  • 최근, Tsai 등의 연구자는 동적 ID 기반 스마트카드 인증 기법을 제안하였다. 본 논문에서 그들이 제안한 기법은 잘못된 패스워드의 검증을 조기에 탐지하지 못하기 때문에 발생하는 서비스거부 공격과 내부자 공격에 취약하고 패스워드 변경시 안전성이 보장되지 않는 문제가 있음을 제시하고, 이러한 문제를 해결하는 기법을 제시하려고 한다. 본 논문에서 제안하는 기법의 안전성은 일방향 해시 함수의 안전성과 이산대수 문제의 어려움에 기반을 둔다. 특히 기존 기법과 거의 대등한 수준의 연산량을 요구하면서 안전성 문제를 해결한다. 추가로 제안하는 기법의 안전성과 연산량에 대한 좀 더 자세한 분석을 제시한다.

정적 교정 제어기를 이용한 비동기 순차 회로의 내고장성 구현 (Static Corrective Controllers for Implementing Fault Tolerance in Asynchronous Sequential Circuits)

  • 양정민;곽성우
    • 한국지능시스템학회논문지
    • /
    • 제26권2호
    • /
    • pp.135-140
    • /
    • 2016
  • 비동기 순차 회로를 위한 교정 제어기는 회로를 재설계하지 않고도 회로 내에 존재하는 여러 고장을 탐지하고 극복하는 능력을 보인다. 이번 논문에서는 교정 제어기의 크기를 줄이기 위한 방법으로서 정적 교정 제어기(static corrective controller)를 제안한다. 동적 제어기에 비해 정적 제어기는 제어기 상태가 필요 없으므로 조합 회로(combinational circuit)만으로 구현 가능하다. 본 논문에서는 상태 천이 고장에 대한 정적 내고장성 교정 제어기가 존재할 조건과 설계 과정을 규명한다. 또한 제안된 제어 기법을 FPGA로 구현된 SEU 오류 카운터에 적용하여 그 효용성을 실험적으로 검증한다.

FPGA 기반 설계의 온도 센서 최적 배치 알고리즘 (Thermal Sensor Allocation and Placement Algorithm on FPGA Based Design)

  • 현철환;남형욱;김용주;김태환
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
    • /
    • pp.292-297
    • /
    • 2008
  • 본 논문은 FPGA 기반 설계에서 주변보다 급격한 온도 변화를 보이는 hotspot들을 탐지하기 위한 열 감지 센서 수를 정하고, 센서의 놓여야 할 배치 장소를 결정하는 알고리즘을 제안한다. 열 감지 센서로는 동적으로 설계가 가능한 ring oscillator 센서 기술을 사용한다는 가정 하에, 센서의 사용 개수를 최소화함과 동시에 최적의 센서 배치 위치 찾는다. 기존의 연구의 단점은 센서가 감지하는 영역 범위를 적당한 크기의 정사각형으로 간주하였기에, 실제 원형의 관측 범위를 보이는 센서 감지 영역의 현실을 올바로 반영하지 못하였으며, 또한 잘 알려진 회로 분할(partition) 기법에 의존한 휴리스틱으로 최적의 결과를 보장하지는 못하였다. 이와는 달리 본 연구에서는 센서의 관측 범위를 원형으로 할 수도 있게 함과 동시에 최적의 해를 보장하는 센서 할당 및 배치 알고리즘을 제안한다. 구체적으로 본 제안 알고즘에서는 소위 “Candidate Coloring 기법”을 통해 센서가 놓여야 할 모든 후보 영역을 표시하며, “Candidate Filtering 기법”을 통해 불필요한 후보 영역들을 완전히 삭제하여 탐색 공간을 줄이게 되며 (해의 최적 해는 항상 유지 되도록 하면서), 마지막으로 Branch-and-Bound 알고리즘을 적용해 최적의 센서 할당 및 배치 결과를 찾아내었다.

  • PDF

CodeSonar를 이용한 지역 SW개발 업체의 결함 유형분석 (Defect-Type Analysis of Regional SW Development Companies using CodeSonar)

  • 노정현;이종민;박유현
    • 한국정보통신학회논문지
    • /
    • 제19권3호
    • /
    • pp.683-688
    • /
    • 2015
  • 최근 소프트웨어의 결함을 탐지할 수 있는 다양한 종류의 동적분석 도구가 점점 더 많이 활용되고 있다. 하지만 업계에서 실제로 발생하는 결함에 대한 조사는 지금까지 거의 없었다. 본 논문에서는 C/C++, 자바 프로그램에서 결함을 찾아내는 툴인 CodeSonar가 찾아낸 결과를 분석하고자 한다. 분석결과 동남권 지역에서 가장 많이 발생하는 결함들을 다양한 방법으로 제시한다.

마모 단계의 볼 베어링에 대한 적외선 열화상 비파괴 결함 진단 연구 (Study on NDT Fault Diagnosis of the Ball Bearing under Stage of Abrasion by Infrared Thermography)

  • 서진주;홍동표;김원태
    • 비파괴검사학회지
    • /
    • 제32권1호
    • /
    • pp.7-11
    • /
    • 2012
  • 기존 진단법과 달리 동적 하중조건하 회전체의 마모 단계에 따른 결함 진단을 위해 비접촉, 비파괴의 적외선 열화상 기법이 제안된다. 본 연구에서는 시험시편인 단열 깊은 홈의 볼 베어링을 설정하여 기존의 스펙트럼 분석과 같은 고장탐지법에 대한 대안으로써 수동형 열화상시험이 수행되었다. 본 연구로부터, 적외선 열화상시험은 신뢰성을 평가하기 위해 기존 진동 스펙트럼 분석시험과 비교, 분석되었다. 연구의 비파괴시험의 결과로써, 마모 단계에 따른 볼 베어링의 온도 특성이 분석되었다.

필수 서비스 생존성 향상을 위한 자원 재할당 기법 (A Resource Reallocation Scheme Enhancing the Survivability of Essential Services)

  • 김성기;민병준;최중섭;김홍근
    • 정보처리학회논문지C
    • /
    • 제10C권1호
    • /
    • pp.95-102
    • /
    • 2003
  • 새로운 방법의 시스템 공격에 대해서도 필수 서비스의 생존성을 보장하기 위해서는 서비스가 필요로 하는 중요 자원을 식별하고 위급 상황에 적절히 대응하는 방안이 필요하다. 본 논문에서는 침입 감내 시스템 구축을 위한 핵심 기술의 하나인 동적 자원 재할당 기법을 제시한다. 이 기법에서는 선택된 편수 서비스에 대해 해당 호스트 내에서 자원을 재할당하여 침입이 발생한 후에도 필수 서비스가 생존할 수 있도록 한다. 테스트베드를 구축하여 실험을 실시한 결과 본 자원 재할당 기법의 타당성을 입증할 수 있었다 향후 이 기법을 침입 탐지 시스템과 접목 시키면 매우 효과적인 공격 대응 방안이 될 것이다.

물체 탐지와 범주화에서의 뇌의 동적 움직임 추적 (Brain Dynamics and Interactions for Object Detection and Basic-level Categorization)

  • 김지현;권혁찬;이용호
    • 한국감성과학회:학술대회논문집
    • /
    • 한국감성과학회 2009년도 춘계학술대회
    • /
    • pp.219-222
    • /
    • 2009
  • Rapid object recognition is one of the main stream research themes focusing to reveal how human recognizes object and interacts with environment in natural world. This field of study is of consequence in that it is highly important in evolutionary perspective to quickly see the external objects and judge their characteristics to plan future reactions. In this study, we investigated how human detect natural scene objects and categorize them in a limited time frame. We applied Magnetoencepahlogram (MEG) while participants were performing detection (e.g. object vs. texture) or basic-level categorization (e.g. cars vs. dogs) tasks to track the dynamic interaction in human brain for rapid object recognition process. The results revealed that detection and categorization involves different temporal and functional connections that correlated for the successful recognition process as a whole. These results imply that dynamics in the brain are important for our interaction with environment. The implication from this study can be further extended to investigate the effect of subconscious emotional factors on the dynamics of brain interactions during the rapid recognition process.

  • PDF

지능형 악성코드 분석을 위한 안티리버싱 코드 우회 프레임워크 설계 및 구현 (Design and Implementation of Anti-reversing Code Evasion Framework for Intelligent Malware Analysis)

  • 이선준;김규호;신용구;이정현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2018년도 추계학술발표대회
    • /
    • pp.218-221
    • /
    • 2018
  • 최근 악성코드의 수가 급격하게 증가하고 있으며 단순히 악성 행위를 하는 것 뿐 아니라 안티디버깅과 같은 다양한 분석 방지 기능을 탑재하여 악성코드의 분석을 어렵게 한다. 역공학 방지 기법이 적용된 지능형 악성코드를 기존 분석 도구를 사용하여 분석하면 악성행위를 하지 않거나 임의로 자기 자신을 종료시키는 방식으로 분석이 용이하지 않다. 이러한 지능형 악성코드들은 분석하기 어려울 뿐만아니라 기존 백신의 탐지 기능에 전혀 제약을 받지 않는다. 본 논문은 이와 같은 최신 지능형 악성코드에 보다 빠르게 대처하기 위해 역공학 방지 기법이 적용된 악성코드들이 메모리상에서 종료되지 않고 정상 동작하여 악성행위를 자동으로 파악할 수 있는 동적 코드 계측 프레임워크를 제안한다. 또한, 제안한 프레임워크를 개념 검증하기 위해 프로토타입을 설계 및 구현하고, 실험을 통해 그 유효성을 확인한다.

모바일 ad hoc 네트워크에서 동적인 토폴로지 변화에 따른 리더 결정 (Leader Decision Protocol for Dynamic Changing Topology in Mobile Ad hoc Networks)

  • 김영란;한현구;박성훈
    • 한국산학기술학회논문지
    • /
    • 제11권11호
    • /
    • pp.4543-4552
    • /
    • 2010
  • 리더는 그룹 내의 여러 프로세스 중에서 조정자 역할을 하는 특별한 프로세스이다. 분산 시스템에서 하나의 조정자를 선출하는 과정을 리더선출이라 하며 이는 결함허용 분산시스템을 구축하기 위한 매우 중요한 문제이다. 현재 정상 작동하고 있는 두 개의 모바일 ad hoc 네트워크 그룹들이 병합되면 두 개의 리더가 존재하게 된다. 이것은 안전성 속성에 위배되므로 이를 감지하고 처리할 수 있는 메커니즘이 필요하다. 본 논문에서는 모바일 ad hoc 분산 컴퓨팅 시스템에서 그룹 멤버십 탐지 기반의 리더 경쟁 프로토콜을 제안하고 이를 시제논리로 검증하고자 한다.

표적 개수 추정 및 근접 채프 탐지를 위한 고해상도 거리 프로파일을 이용한 움직임 미분 기반 엔트로피 특징 추출 기법 (Motion Derivatives based Entropy Feature Extraction Using High-Range Resolution Profiles for Estimating the Number of Targets and Seduction Chaff Detection)

  • 이정원;최각규;나경일
    • 한국군사과학기술학회지
    • /
    • 제22권2호
    • /
    • pp.207-214
    • /
    • 2019
  • This paper proposes a new feature extraction method for automatically estimating the number of target and detecting the chaff using high range resolution profile(HRRP). Feature of one-dimensional range profile is expected to be limited or missing due to lack of information according to the time. The proposed method considers the dynamic movements of targets depending on the radial velocity. The observed HRRP sequence is used to construct a time-range distribution matrix, then assuming diverse radial velocities reflect the number of target and seduction chaff launch, the proposed method utilizes the characteristic of the gradient distribution on the time-range distribution matrix image, which is validated by electromagnetic computation data and dynamic simulation.