• Title/Summary/Keyword: 증명 절차

Search Result 150, Processing Time 0.029 seconds

인증서 관리 프로토콜(CMP)의 최근 동향

  • 류종호;염흥열
    • Review of KIISC
    • /
    • v.10 no.4
    • /
    • pp.11-21
    • /
    • 2000
  • 본 논문에서는 PKI(Public Key Infrastructure)의 주요 응용 프로토콜 중에서, 인증서를 발급하고 인증서를 전달하는 절차, 인증기관간의 믿음을 확장하기 위한 상호 인증과 관련된 절차, 인증기관이 인증서를 발급 받는 최종개체의 공개키에 대응되는 개인키를 소유하고 있음을 증명하는 개인키 소유 증명(POP: Proof Of Propession)절차, 인증기관의 암호키 생신을 위한 절차 등과 같은 인증서에 대한 관리 프로토콜(CMP: Certificate Management Protocol)에 대하여 중점적으로 논의 하고자 한다.

  • PDF

Compliance procedure for type certification of civil aircraft under KAS 23 (KAS 23급 민간항공기 형식증명을 위한 적합성 입증절차)

  • Kim, Jong Yoon;Lee, Wonjoong;Kim, Kwang Hae
    • Aerospace Engineering and Technology
    • /
    • v.11 no.2
    • /
    • pp.216-224
    • /
    • 2012
  • This study described about the procedure and method to type certification of KAS 23 civil aircraft that is developed in domestic. It is important to obtain type certification within defined period based on the proposed process and method to prove compliance through certification basis according to certification plan. This process referred to FAA Order 8110.4 C, "Type Certification" and domestic regulation and showed example of compliance check list(CCL) defining means of compliance(MOC). Also, proposed method to prove compliance according to means of compliance and classified item of test & evaluation.

A Study on improvement of Korean aircraft system modification certification procedure (우리나라 항공기 시스템 개조 인증 절차 개선 연구)

  • Yoo, Beong-Seon;Lim, In-Kyu
    • Journal of Advanced Navigation Technology
    • /
    • v.25 no.3
    • /
    • pp.185-193
    • /
    • 2021
  • The system needs to be modified to improve the performance of the aircraft in operation or to satisfy the requirements of related laws. Appropriate standards are required for the technical skills for remodeling the aircraft system, design verification for airworthiness of the aircraft, and supplemental type certification (STC) certification procedures for type certification. This study analyzes the current status and demand of domestic aircraft remodeling, examines the current supplementary type certification procedure, and diagnoses the problem. In addition, as a result of researching measures to improve remodeling technology and certification capabilities to extend the life of the aircraft, improvements in the education system were derived to improve the domestic additional type certification process, such as approval of remodeling agencies and appointment of qualifications for each professional technician.

Flight Test Procedures for Light Airplane (경비행기의 비행 시험 절차에 관한 연구)

  • Lee, Jung-Mo;Eun, Hee-Bong
    • Journal of the Korean Society for Aviation and Aeronautics
    • /
    • v.5 no.1
    • /
    • pp.17-30
    • /
    • 1997
  • FIight Test procedures are studied from FAR 23, AC 23-8, and Order 8110.7. We have been studied the main procedures for the type certification of light airplane from the experiences of Chang Gong 91. This study is intended as a reference for small airplane manufacturers, engineers, flight test engineers, and engineering flight test pilots, including government personnel. This study covers flight test items of interest during type certification. These methods and procedures are promulgated, in the interest of standardization, for use during normal category airplane flight test certification activities.

  • PDF

Enhancement Method of the Procedural Thinking Ability through Universal Programming Language Utilizing Entry (엔트리를 이용한 보편적 프로그래밍 언어 개발로 절차적 사고력 향상 방안)

  • Kim, Dong-Man;Lee, Tae-Wuk
    • Proceedings of The KACE
    • /
    • 2017.08a
    • /
    • pp.131-134
    • /
    • 2017
  • 이 연구에서 엔트리 명령 블록을 이용하여 보편적 프로그래밍 언어를 개발하고 검증하였다. 그래서 이 연구를 통해 블록형 프로그래밍 언어의 접근 수월성을 이용하여 절차적 사고력 향상을 위한 아이디어를 제공하고자 하였다. 새로운 프로그래밍 언어를 만들어 알고리즘을 적용하여 함수화된 사칙연산 프로그램을 만들면서, 다양한 알고리즘을 적용하면 엔트리에서 제시하는 모든 명령 블록을 만들 수 있음을 증명하였다. 이 연구를 통해 1)프로그래밍 언어에 포함된 다양한 기능의 명령어들도 함수화되어 있음을 증명하고 재생산 가능함을 경험할 수 있는 아이디어를 제공하고, 2)초보 프로그래머들이 프로그래밍 언어 개발에 대한 흥미와 관심을 갖게 되는 방안을 제시하며, 3)알고리즘을 경험하면서 절차적 사고력을 향상시킬 수 있는 다른 방향의 SW 교수 학습 방법과, 4)프로그래밍 언어를 미시적으로 탐구하면서 SW 교육 관점을 다양화하는 방법을 제시하였다. 이 연구에서 제시한 방안으로 학생들이 절차적 사고력 향상과 프로그래밍 언어의 다양성 인식, 프로그램을 심층적으로 분석하는 태도 등의 SW 교육에 대한 긍정적 변화를 기대한다.

  • PDF

A Study on Computer Forensics for the Legal Evidence Effect and the Proof (법적 증거능력 및 증명력을 위한 컴퓨터포렌식에 관한 연구)

  • Lee, Do-Yeong;Kim, Il-Gon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2004.05a
    • /
    • pp.1149-1152
    • /
    • 2004
  • 컴퓨터가 현대 생활의 필수 도구로 자리잡으면서 컴퓨터를 매개로 이루어지는 범죄행위에 대하여 법적인 처벌 문제가 중요하게 대두되고 있다. 컴퓨터범죄를 형사적으로 처벌하기 위하여는 디지털증거의 증거능력과 증명력이 인정되어야만 한다. 하지만 디지털증거는 그 특성상 조작, 손상, 멸실의 우려가 높다. 디지털증거가 형사소송법상 유효한 증거로서의 증거능력을 인정 받기 위하여는 데이터의 변형 없이 수집하고 때로는 손상된 디지털 증거를 복구하여 원본과 동일하게 복사하여 정확히 분석한 후 제출되어야 한다. 이와 관련된 학문 전반을 컴퓨터포렌식이라고 하는데 국내법 혹은 국제법적으로 유효한 절차 및 수단에 따라 관련 증거들을 수집하여 함은 물론이고 과학적인 논거들로 입증하는 것이 또한 매우 중요하다. 현재 국내법상 디지털증거에 관한 입법이 없으므로 일반적인 증거증력에 관한 규정과 일부 판례를 차용하여 증거능력과 증명력을 갖춘 컴퓨터포렌식 절차를 제안 한다.

  • PDF

Reverse Engineering Procedure of Metal Brake Pad for Part 25 Aircraft (수송류 항공기용 금속계 제동패드의 역설계 절차)

  • Min-ji Kim;Kyung-il Kim;Kyung-taek Kim
    • Journal of Advanced Navigation Technology
    • /
    • v.27 no.5
    • /
    • pp.621-628
    • /
    • 2023
  • This study derived a reverse engineering procedure for verifying the design identity of original parts and developed parts for PMA(Parts Manufacturer Approval) and STC(Supplemental Type Certificate) of metal brake pads for transport aircraft, which are critical parts among aircraft parts and equipment. In Korea, the regulations for reverse engineering procedures are regulated by the Parts Manufacturer Approval Guidelines, and in the United States, AC No. 21. 303-4. In the reverse engineering for the brake pad, the detailed procedures for each component were determined by selecting verification test items to confirm identity based on sample quantity, dimensional tolerance, mechanical property measurement, material, weight and volume characteristics for each component. In addition, as a result of analyzing the regulation of Korea and United States, in the case of Korea, it is necessary to establish technical standards for braking systems for transport aircraft and regulations related to flight tests.

Proposal for a Peer Decentralized Identity System Using Short-Range Wireless Communications (단거리 무선 통신을 이용한 개인 간 분산 신원증명 시스템 제안)

  • Yeo, Kiho;Park, Keundug;Youm, Heung Youl
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.31 no.5
    • /
    • pp.959-972
    • /
    • 2021
  • Decentralized Identity is based on the concept of self-sovereign identity, in which holders manage and provide their own credentials. However, a procedure is required to obtain credentials from issuers, and there is a risk of mess personal information leaking due to negligence of the issuers. In this paper, we propose a peer decentralized identity system based on Peer DID technology that allows only participants to verify their identity in 1:1 or 1:N small groups by matching the holder with the issuer. It is directly connected to a mobile device using short-range wireless communications such as bluetooth, and the holders create and provide their own credentials in person to the other party, thus fully realizing the self-sovereignty identity. The proposed system can simplify the identification process, improve security and privacy, and reduce costs. Furthermore, an extended architecture is possible to connect the proposed system and the distributed ledger to identify users in other domains. In the future, based on various technologies, it is also necessary to expand research on identity systems that can be utilized for human-to-thing and things-to-things authentication.

A Survey on Consensus Algorithm of Blockchain: Focusing on PoW (블록체인의 합의 알고리즘 - 작업증명을 중심으로)

  • Lee, Myung-Suk;Kim, Kee-Joo
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2020.07a
    • /
    • pp.567-570
    • /
    • 2020
  • 본 논문에서는 신뢰를 기반으로하는 블록체인의 이론적 영향에 접근하기 위하여 작업증명(PoW)에 대한 합의 알고리즘을 면밀히 조사·분석하고자 한다. 그 방법으로 합의 알고리즘에 대한 파악, 작업증명의 허가 절차에 대한 구체적 조사, 신뢰를 쌓아가는 방법에 대해 살펴보고 그 장단점을 분석하였다. 향후에는 작업증명 외에도 대표적 합의 방식인 지분증명과 위임형지분증명 알고리즘을 분석하여 블록체인이 어떻게 시스템적으로 신뢰를 구축하고 있는지 파악하고 사회철학적 접근의 기초 자료로 사용하고자 한다.

  • PDF

A Study on Restricted Category Type Certification Procedure of Surion Derivatives Rotorcraft (수리온파생형 회전익항공기 민간 제한형식증명 획득 절차에 관한 연구)

  • Kim, Yonghee;Park, Sanghyuk;Lee, Seunghyun;Kim, Sungjin;Kang, Youngho
    • Journal of Aerospace System Engineering
    • /
    • v.14 no.1
    • /
    • pp.54-61
    • /
    • 2020
  • For operating military aircraft, military certificate of airworthiness (MCA) must be obtained from military authority. Among procedures of general airworthiness certification, there is a military type certification process that aircraft design complies with military airworthiness certification criteria. The Surion is the first military rotorcraft which has obtained military type certificate, production validation and airworthiness certificate in Korea, and the Surion derivatives for special mission are being operated for government services. Based on Aviation Safety Act, in order to operate the Surion derivatives (military aircraft) for special purpose (such as emergency patient transportation and firefighting), the issuance of special airworthiness certificates was needed from civil airworthiness authority, and the restricted category type certification (RTC) is one of design approvals for special airworthiness certification to be streamlined. This study discussed the procedures for acquiring RTC for special purpose operation of the Surion derivatives classified as military derived aircraft, and suggested procedural ideas to improve Korean RTC system.