• 제목/요약/키워드: 김현석

검색결과 401건 처리시간 0.028초

스마트카드를 이용한 패스워드 기반 인증시스템 정형분석 (Formal Analysis of Authentication System based on Password using Smart Card)

  • 김현석;김주배;정연오;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (A)
    • /
    • pp.138-139
    • /
    • 2008
  • 인터넷의 범용적인 사용으로 많은 사용자들이 분산된 컴퓨팅 환경에서 원격 서버에 접속하는 일이 빈번해 지고 있다. 하지만 인증된 보호시스템 없이 안전하지 않은 채널을 통한 데이터의 전송은 재생공격이나 오프라인 패스워드 공격 및 가장공격등과 같은 문제점들에 노출되어 있다. 이에 따라 악의적인 공격들을 막기 위해 스마트카드를 이용한 인증프로토콜들에 대해 활발히 연구되고 있다. 본 논문은 패스워드 기반 사용자 인증시스템의 취약성을 분석하고 이에 대해 개선된 사용자 인증 시스템을 제안한다.

  • PDF

모델체킹을 이용한 RFID 시스템 보안분석 (Cryptanalysis of RFID System using Model Checking)

  • 김현석;오정현;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
    • /
    • pp.109-114
    • /
    • 2007
  • RFID 기술은 유비쿼터스 환경의 편리성을 위한 목적을 쉽게 이룰 수 있는 기술로 현재 주목 받고 있으며 많은 장점을 가지고 있다. 이러한 RFID 환경에서 가장 보안적인 문제를 갖는 것은 RFID 태그에 저장 관리되어지는 식별 정보에 대한 프라이버시 침해 문제의 보호이다. 본 논문에서는 정형검증 방법인 모델 체킹을 이용하여 RFID 태그와 리더기간의 상호 인증 및 태그의 식별 정보에 대한 안전성을 분석하기 위해 RFID 보안 프로토콜의 취약성 분석 및 수정된 프로토콜을 제안함으로써 안전한 유비쿼터스 네트워크 환경을 구축하고자 한다.

  • PDF

유기/무기 복합 절연재료의 전기적 특성 (Electrical Properties of Organic/lnorganic Hybrid Composites for Insulation materials)

  • 깅상철;김현석;옥정빈;안명진;박도현;이건주
    • 한국전기전자재료학회:학술대회논문집
    • /
    • 한국전기전자재료학회 2001년도 하계학술대회 논문집
    • /
    • pp.78-83
    • /
    • 2001
  • In this work, the surface of inorganic fillers were modified with some functional groups such as stearic acid, aliphatic long chain, vinylsilane and aminosilane to control the interaction between inorganic fillers and polymer matrix. Ethylene-vinyl acetate copolymers (EVA) with various amount of vinyl-acetate content and copolyether-ester elastomer were used as polymer matrix. The addition of inorganic fillers increases flame retardancy, but results in steep drop of electrical and mechanical properties, which may be caused by the defect in the interface between organic/inorganic hybrid composites. The hybrid composites are found to show better mechanical properties and higher volume resistivities as inorganic fillers are well dispersed and have good adhesion with polymer matrix. Also, the most effective type of functional group coated on fillers depends on the chemical structure of polymer.

  • PDF

AVISPA를 이용한 전자상거래 시스템의 보안 프로토콜 명세 및 검증 (The Specification and Verification of Security Protocols on E-commerce System Using AVISPA)

  • 정연오;김주배;김현석;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (D)
    • /
    • pp.32-36
    • /
    • 2008
  • 최근 인터넷을 이용한 전자상거래(e-commerce)가 확산되면서 많은 편의를 제공하고 있다. 하지만, 인터넷을 통한 거래는 개인정보의 유출이나 주문 및 지불 정보의 유출 등의 취약점들에 대한 보안상의 요구를 만족하면서도 사용자들이 접근하기 쉽고 사용하기 편리해야 한다는 점에서 이중적인 어려움을 가지고 있다. 본 논문에서는 현재 전자상거래에서 사용되고 있는 보안 프로토콜들의 문제점들을 분석하고 이를 보완한 새로운 보안 프로토콜을 제안한다. 그리고 제안된 프로토콜을 정형검증 툴인 AVISPA를 이용하여 명세 및 검증함으로써 안전성을 검증한다.

  • PDF

안전한 유비쿼터스 컴퓨팅 환경을 위한 RFID 시스템의 프라이버시 및 인증 분석 (Privacy and Authentication Analysis of the RFID System for Secure Ubiquitous Computing Environment)

  • 송영소;김현석;김진우;최진영
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2007년도 춘계학술발표대회
    • /
    • pp.1027-1030
    • /
    • 2007
  • 유비쿼터스 컴퓨팅 환경은 네트워크를 기반으로 한 장치 간의 연결을 기본으로 하고 있다. 특히 무선중심의 근거리 통신기술이 발달함에 따라 유비쿼터스 컴퓨팅 환경을 이루는 무수히 많은 개체들은 유기적으로 연결되어, 서로 데이터를 주고받고, 이를 통해 서비스를 제공하게 된다. 이러한 개체간의 연결은 보안 취약점을 발생시키고 있으며, 이에 따른 정보보호 관점의 보안 요구사항이 도출될 수 있다. 본 논문에서는 이러한 유비쿼터스 컴퓨팅 환경내에서 발생할 수 있는 보안 취약점과 보안 요구사항을 도출하여 제시하고, RFID(무선주파수 식별자)를 이용한 인증기술을 중심으로 보안 서비스 방향을 제안함으로써, 유비쿼터스 컴퓨팅 환경이 현실화될 수 있는 기반기술인 보안 및 인증기술에 대해 연구하고자 한다.

  • PDF

특징 형상의 간섭 표현에 대한 연구 (A Study on the Expression of Features Interaction)

  • 김경영;이수홍;고희동;김현석
    • 한국CDE학회논문집
    • /
    • 제2권3호
    • /
    • pp.142-149
    • /
    • 1997
  • This study is intended to develop a Feature based modeler. It is difficult to integrate CAD and CAM/CAPP with information that is given only by a conventional CAD system. Therefore a lot of studies have concentrated on a Feature based CAD system. But conventional Feature based modelers have had limitation on providing sufficient information related to Feature interaction. If a Feature based modeler is to be used in assembly simulation, a new Feature-based modeling method needs to be developed. Also to support collision detection between parts, we have to handle Feature interaction systematically. Therefore we suggest Cell data structure which handles interaction of Features by volume. The volume created by Feature interaction is saved as a Cell. With the Cell structure we solve problems involved with Feature interaction. This study shows how the Cell data structure can manage Feature interaction and give enough information in assembly simulation.

  • PDF

고등급 평가 기술 : 정형화 기법 개요

  • 심재환;김현석;유희준;최진영
    • 정보보호학회지
    • /
    • 제17권6호
    • /
    • pp.67-74
    • /
    • 2007
  • 정보통신과 인터넷 기술의 발전으로 실생활에서 정보의 이용이 용이해 지면서, 쉽게 정보를 얻기 위한 정보에 대한 공유와 검색에 관련한 기술이 발전하게 되었다. 그 결과로 정보는 쉽게 얻을 수 있게 되었지만, 개인정보 유출, 악의적인 시스템 파괴 등 역기능 빠른 속도로 늘어나고 있다. 이에 따라 국제적으로 정보보호의 중요성대 대두 되고 보안에 대한 필요성이 극대화 되었으며, 시스템 보안성의 신뢰도를 일관성 있게 평가하기위하여 공통평가기준이 제정되었다. 특히, 높은 신뢰도를 요구하는 보안기능에 대해서는 수학적, 논리적 기반의 명확한 명세와 엄밀한 증명을 수행하는 정형기법을 사용한 경우에만 고등급을 획득할 수 있다. 본고에서는 공통평가기준과 정형기법의 상관관계를 설명하고, 고등급 평가에 관련된 국외 동향을 기술한 후, 간단한 예를 들어 보안정책모델의 정형화 방법에 대하여 기술하였다.

6.6kV/200A급 유도형 초전도한류기용 DC 리액터의 제작 및 특성 실험 (Fabrication and Characteristic Test of the DC Reactor for 6.6kV /200A Inductive Superconducting Fault Current Limiter)

  • 안민철;이승제;강형구;배덕권;김현석;고태국
    • 한국초전도ㆍ저온공학회논문지
    • /
    • 제5권2호
    • /
    • pp.36-40
    • /
    • 2003
  • Inductive superconducting fault current limiter(SFCL) with DC reator rated on 6.6k $V_{rms}$/200 $A_{rms}$ has been developed in Yonsei University. The development of the DC reactor is the key technology in this type SFCL. This paper deals with the fabrication and characteristic test of the DC reactor. For the development of this magnet, the winding machine for high-Tc superconducting solenoid was manufactured. Using this machine, a large-scale HTS solenoid using Bi-2223 tape was fabricated successfully. This coil has 5 layers which are connected in series each other. The inductance of the DC reactor coil is 84mB. The cooling system was the sub-cooled nitrogen whose temperature is about 65K. The characteristic test of the coil was performed. The full quench current of this coil is about 490A.90A.

차세대 메모리 개발 동향(나노 플로팅 게이트 메모리) (Memory Device for the Next Generation(Nano-Floating Gate Memory))

  • 길상철;김현석;김상식
    • 한국전기전자재료학회:학술대회논문집
    • /
    • 한국전기전자재료학회 2004년도 추계학술대회 논문집 Vol.17
    • /
    • pp.199-202
    • /
    • 2004
  • NFGM(Nano-Floating Gate Memory) is a very prospective candidate memory for the next generation with MRAM, PRAM, PoRAM. Among these memory devices for the next generation, NFGM has a lot of merits such as a simple low cost fabrication process, improved retention time, lower operating voltages, high speed program/erase time and so on. Therefore, many intensive researches for NFGM have been performed to improve device performance and reliability, which depends on the ability to control particle size, size distribution, crystallity, areal particle density and tunneling oxide quality. In this paper, we investigate the researches for NFGM up to recently.

  • PDF

저가격 핸드헬드 3차원 동작 추적 장치의 설계와 실험 (Design and Experiments of Cheap Handhold 3-Dimensional Motion Tracker)

  • 김현석;이상훈;서일홍;박명관
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 하계학술대회 논문집 D
    • /
    • pp.2392-2394
    • /
    • 2004
  • 핸드헬드 3차원 동작 추적 장치는 새로운 Human Computer Interaction의 도구로 Wearable Computing, Ubiquitous Computing, 3차원 Game 등의 분야에 요구되어 지고 있다. 본 논문에서는 저가의 관성 센서를 사용한 소형의 핸드헬드 3차원 동작 추적 장치를 설계하였다. 특히, 저가의 관성 센서를 적용하는데 있어 센서신호처리의 문제점을 제시하고, 문제점을 제거하기 위한 신호 처리 방법과 관성센서의 누적오차를 줄이기 위한 방법을 제안하고 실험으로 입증하였다.

  • PDF