• Title/Summary/Keyword: 엔진인증

Search Result 98, Processing Time 0.055 seconds

Inter-device Mutual Authentication and Formal Verification in Vehicular Security System (자동차 보안시스템에서 장치간 상호인증 및 정형검증)

  • Lee, Sang-Jun;Bae, Woo-Sik
    • Journal of Digital Convergence
    • /
    • v.13 no.4
    • /
    • pp.205-210
    • /
    • 2015
  • The auto industry has significantly evolved to the extent that much attention is paid to M2M (Machine-to-Machine) communication. In M2M communication which was first used in meteorology, environment, logistics, national defense, agriculture and stockbreeding, devices automatically communicate and operate in accordance with varying situations. M2M system is applied to vehicles, specifically to device-to-device communication inside cars, vehicle-to-vehicle communication, communication between vehicles and traffic facilities and that between vehicles and surroundings. However, communication systems are characterized by potential intruders' attacks in transmission sections, which may cause serious safety problems if vehicles' operating system, control system and engine control parts are attacked. Thus, device-to-device secure communication has been actively researched. With a view to secure communication between vehicular devices, the present study drew on hash functions and complex mathematical formulae to design a protocol, which was then tested with Casper/FDR, a tool for formal verification of protocols. In brief, the proposed protocol proved to operate safely against a range of attacks and be effective in practical application.

Studies on Characteristics of Pressure Regulation System for Simulating Turbo Pump Unit (터보펌프 모사를 위한 압력조절계의 특성에 관한 연구)

  • Lee Joong-Youp;Jung Tae-Kyu;Chung Yong-Gahp;Kim Young-Mog
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.8 no.3
    • /
    • pp.27-36
    • /
    • 2004
  • This paper has been conducted to design for pressure regulation system. to simulate for performance of turbo pump unit using AMESim(Advanced Modeling Environment for Simulation of Engineering Systems). With optimized of system, pressure regulation system has been confirmed dynamic characteristics of transient and steady states range based on static modeling of open type turbo pump fed engine system. These results can be utilized to verify for performance test facility of propulsion control system for analysis on control valves, review of the fundamental principle on the control logic and certificating engine feeding system.

Integrated Test for Propulsion System of Space Launch Vehicle (우주 발사체 추진기관 종합 시험)

  • Cho, Sang-Yeon;Kim, Sang-Heon;Bershadesky, V.;Oh, Seung-Hyub
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2011.11a
    • /
    • pp.797-800
    • /
    • 2011
  • For the space launch vehicle, propulsion system is the most important subsystem among others. For the evaluation of development level for rocket engine, integrated system test performed in appropriate facility is needed. In this study, test article and major parameters for certifying the propulsion system of launch vehicle were reviewed.

  • PDF

Design of Game Architecture for Report Service of the Real Time Game Information based on SIP (실시간 게임정보 확인 서비스를 위한 SIP 기반의 게임 아키텍쳐의 설계)

  • Noh, Kang-Rae;Kim, Jun-Il;Lee, Jong-Youl
    • 한국IT서비스학회:학술대회논문집
    • /
    • 2002.11a
    • /
    • pp.451-456
    • /
    • 2002
  • SIP는 새로운 서비스로의 확장에 유연하다는 장점을 가지고 있다. 본 논문에서는 SIP 프로토콜을 게임서버에 접목하여, 이를 통해 얻을 수 있는 부가서비스를 제안한다. 게임서버의 사용자 인증부분을 SIP Registrar 서버로 확장하여 해결하고, SIP Personal Mobility Service를 이용하여 게임에 접속되지 않은 사용자에게 게임 정보에 대한 피드백(feedback)이 올 수 있도록 설계하였다. 즉, 사용자가 이동 가능한 위치를 SIP Registrar 서버에 등록하면, 게임서버는 게임의 진행정보를 오프라인 상태의 사용자에게 전달한다. 이 부가 서비스는 단순히 게임엔진 뿐만 아니라 증권, 뉴스속보 서비스 등 실시간 정보를 요구하는 서비스에 접목하기에 충분한 장점을 가지고 있다. 본 논문에서는 SIP 프로토콜을 게임서버에 적용하기 위한 방안으로 인터넷상의 SIP 사용자에게 실시간 온라인 게임 정보 전송 서비스 아키텍처를 제안한다.

  • PDF

Design and Implementation of Distributed Web Crawler Using Globus Environment (글로버스를 이용한 분산 웹 크롤러의 설계 및 구현)

  • 이지선;김양우;이필우
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.04a
    • /
    • pp.712-714
    • /
    • 2004
  • 대부분의 웹 검색 엔진들과 많은 특화된 검색 도구들은 웹 페이지의 색인화와 분석을 위한 전처리 단계로 대규모 웹 페이지들을 수집하기 위해 웹 크롤러에 의존한다. 일반적인 웹 크롤러는 몇 주 또는 몇 달의 주기에 걸쳐 수백만 개의 호스트들과 상호작용을 통해 웹 페이지 정보를 수집한다. 본 논문에서는 이러한 크롤러의 성능향상과 효율적인 실행을 위해 그리드 미들웨어인 글로버스 툴킷을 이용하여 분산된 크롤러를 제안한다. 본 웹 크롤러의 실행은 그 기능의 분산처리를 위한 각 호스트 서버들을 글로버스로 연결하고, 인증하여, 작업을 할당하는 단계와, 크롤러 프로그램이 실행되어 자료를 수집하는 단계. 마지막으로 이렇게 수집된 웹 페이지 정보들을 처음 명령한 시스템으로 반환하는 단계로 나누어진다. 결과 수집 작업을 보다 분산화 할 수 있게 하였으며 여러 대의 저 비용의 시스템에서 고 비용, 고 사양의 서버의 성능을 얻을 수 있었으며, 확장이 용이하고, 견고한 크롤러 프로그램 및 시스템 환경을 구축할 수 있었다.

  • PDF

Information Security Strategy for Secure u-Korea – "Security Belt" (안전한 u-Korea 실현을 위한 정보화 역기능 방지 대책 – "Security Belt")

  • Cho, B.C.;Kim, K.S.;Seo, D.I.;Jang, J.S.
    • Electronics and Telecommunications Trends
    • /
    • v.20 no.2 s.92
    • /
    • pp.93-102
    • /
    • 2005
  • 유비쿼터스 코리아(u-Korea) 기본전략에 따르면 우리나라는 정치. 사회. 문화. 의료. 복지. 교육. 노동. 외교 등 사회 전반에 걸친 생활문화 혁명이 실현될 것으로 전망된다. 이러한 시점에서 정보보호는 u-Korea 실현의 중요한 핵심 엔진 기술로써u-Korea 전략 추진의 주요한 장애 요인으로 예상되는 사생활 문제와 지역 간. 계층간 정보격차 문제 등의 정보화 역기능을 해소하는 역할을 수행해야 한다. 본 고에서는 정통부가 추진하고자 하는 u-Korea 기본 전략에 대해서 살펴보고, 안전한 u-Korea 실현을 위해서 구체적인 정보화 역기능 방지 대책을 제안한다. 특히, BcN 인프라 보호 기술, RFID/USN 개인 프라이버시 보호 기술, WiBro 및 DMB 등에서 사용되는 복합단말기용 통합 인증. 인가 기술, 안전한 사용자 서비스 제공을 위한 서비스 사용의 익명성과 서비스 관리의 실명성이 제공되는 보안위임서비스 기술 등으로 형성되는 “Security Belt” 정보화 역기능 방지 대책에 대해서 소개한다.

Cooling Design and Flight Test for Airplane Reciprocating Engine (항공기 왕복엔진 냉각설계 및 인증시험)

  • Lee, Kangyi;Park, Jonghyuk;Park, Sunghwan
    • Journal of Aerospace System Engineering
    • /
    • v.6 no.2
    • /
    • pp.35-41
    • /
    • 2012
  • A reciprocating engine installed on a normal category airplane shall be effectively cooled by air flown through the engine compartment. A airplane powerplant designer has to design cooling air inlets, baffles, seals, and outlets to maintain cylinder head temperatures and oil temperature under the limits, and show compliance with appropriate airworthiness standard. In this study, cooling designs of the installed engine and compliance requirements applicable to the cooling designs were reviewed, and engine cooling flight test results were evaluated for design changes. Engine cooling certification test will be conducted in a next step.

DAC (Divide-And- Conquer) Based Segmentation Algorithm (DAC(Divide-And-Conquer) 기반 분할 알고리즘)

  • Koo, Chan-Mo;Wang, Gi-Nam
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2001.10a
    • /
    • pp.781-784
    • /
    • 2001
  • 본 논문은 음운 및 음향학적인 정보를 최대한 이용하고 분할에러를 줄이기 위해서 조절 메카니즘의 하나로 DAC(Divide And Conquer)개념을 사용하여 음성을 speechlet으로 나누고(signal localization) 나누어진 음성구간에 대해서 레이블링을 시도(case study)하는 DAC기반 분할알고리즘을 제안한다. HMM과 같은 통계학적인 방법을 이용하지 않고 음운학적, 음향학적 지식만을 이용하는 신뢰할 수 있는 분할 알고리즘이며 대용량 음성DB에 대한 레이블링 작업을 단시간에 수행할 수 있고 일관성이 있으며 효과적인 음성엔진 구현 및 음성합성, 화자인증에도 이용 가치가 높다.

  • PDF

A Smart Car Software Security System based on Code Splitting (코드 분리 기반 스마트 자동차 소프트웨어 보안 시스템)

  • Kim, Kyung-ri;Seo, Hyemin;Tae, Heejee;Lee, Soowon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2018.10a
    • /
    • pp.225-226
    • /
    • 2018
  • 최근 스마트 카가 발전하면서 물리적 키에서 스마트 키로 차량용 키도 변화하고 있다. 이에 따라 스마트 키에 대한 해킹 위협도 증가하고 있으며 스마트 키의 보안은 점점 중요해지고 있다. 기존의 스마트키는 자동차 시스템이 부팅 된 후에 데이터 값을 비교하는 방식으로 사용자 인증을 진행한다. 이러한 방식은 시스템이 이미 부팅된 상태이므로 여전히 해킹의 위협이 존재한다는 점에서 안전하지 않다. 본 연구에서는 이를 개선하기 위해 Python 코드 분리 기술과 APK 바이트 코드 분리 기술을 자동차 부팅 코드와 엔진 APK의 바이트 코드에 적용하는 방법을 제안한다. 제안 기술이 적용되지 않은 APK와 적용된 APK를 리패징하여 해킹에 대한 본 연구의 안정성을 검증하였다.

The Legal System Method of Software Safety to Strengthen Aviation Safety (항공안전을 강화하기 위한 소프트웨어 안전성 법제도 방안)

  • Jee, Jung-Eun;Lee, Sang-Ji;Shin, Yong-Tae
    • Journal of Advanced Navigation Technology
    • /
    • v.15 no.5
    • /
    • pp.687-695
    • /
    • 2011
  • The defect caused by the software industry that is the source of knowledge-centric, information-centric and technology-centric affects an engine which operate a major role for operation of aircraft. Therefore, we should minimize the danger from the defect by strengthening the stability of aviation through the stability analysis of software. In this paper, we examine the laws and systems about the aircraft defects and software safety and propose the enhancement and the enactment of the law or measures to strengthen aviation safety. We should the existing law or system as items, such as the revision related to the safety analysis, standards of quality assurance including safety, application of quality assurance that you must attach the safety analysis report, assessment of detailed instructions of certification authorities. In addition, we should enact the new law and system as items such as the mandatory software evaluation and certification, continuous assessment based on the software life cycle, mandatory introduction of a standardized development methodology, strengthening of advanced workforce system. We can expect the improvement of software quality and an enhanced aviation safety by improving existing laws or systems and enacting new laws or systems.