• 정보보호학회지
• /
• 제10권4호
• /
• pp.11-21
• /
• 2000

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

• 항공우주기술
• /
• 제11권2호
• /
• pp.216-224
• /
• 2012

본 연구는 국내에서 개발되는 KAS 23급 민간항공기에 대해 형식증명을 취득하기 위한 절차와 방법에 대해 기술하였다. 인증기준을 수립하고 형식증명 계획서에 따라 시험평가를 통해 적합성을 입증하는 절차와 적합성 입증 방안을 제시함으로써 정해진 기간 내 형식증명을 취득하는 것이 가장 중요하다고 하겠다. 본 절차는 미 FAA Order 8110.4C, 'Type Certification'과 국내규정을 참고하였으며 적합성 입증방법(MOC)을 정의하여 적합성 점검표(CCL) 작성 사례를 보여주고 있다. 또한 적합성 입증방법에 따라 시험평가 항목을 분류 하였고 그 방안을 제시하였다.

• 한국항행학회논문지
• /
• 제25권3호
• /
• pp.185-193
• /
• 2021

항공기의 성능 개선이나 관련 법규의 요건 만족을 위해 항공기 시스템 개조는 필요하다. 이러한 개조를 위해 기술력이나 항공기의 감항성을 위한 설계 검증, 형식 증명에 대한 부가형식증명(STC)의 인증 절차는 적절한 표준이 요구된다. 본 연구는 국내 항공기 개조 현황과 수요를 분석하고 현재의 부가형식증명 절차를 검토하여 그 문제점을 진단한다. 또한 늘어난 항공기의 수명에 대하여 개조기술 및 인증 능력 향상방안을 연구한 결과 개조 조직의 인가와 분야별 전문 엔지니어 자격 임명 그리고 교육 체계 개선이 요구되었고 국내 부가형식증명 절차의 개선을 도출하였다.

• 한국항공운항학회지
• /
• 제5권1호
• /
• pp.17-30
• /
• 1997

FAR 23, AC 23-8, 그리고 Order 8110.7을 이용하여 경비행기의 비행 시험 절차에 대한 연구를 수행하였다. 본 연구에서는 창공-91의 비행 시험을 통한 경험을 바탕으로 형식증명을 위한 주요 절차에 대한 연구를 수행하였다. 본 연구는 소형 비행기의 제작자, 항공관련 기술자, 비행 시험 기술자, 비행 시험 조종사, 그리고 관련 정부 관계자들에게 비행 시험에 관련된 기준을 이해하도록 하기 위해 수행된 연구이다. 본 연구에서 비행 시험 방법과 절차는 주로 소형 비행기의 형식증명에 관련된 것으로 관련자들에게 큰 도움이 될 것이다.

• 한국컴퓨터교육학회 학술대회
• /
• 한국컴퓨터교육학회 2017년도 하계학술대회
• /
• pp.131-134
• /
• 2017

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1149-1152
• /
• 2004

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

• 한국항행학회논문지
• /
• 제27권5호
• /
• pp.621-628
• /
• 2023

본 연구는 항공기용 부품 및 장비품 중 치명성 부품인 수송류 항공기용 금속계 제동패드의 부품등제작자증명 및 부가형식증명을 위한 원 부품 등과 개발품의 설계 동일성 입증을 위한 역설계 절차를 도출하였다. 역설계 절차에 대한 규정은 우리나라의 경우 부품등제작자증명 지침에 의해 규정되며, 미국의 경우 AC No; 21.303-4에 규정되어 있다. 제동패드의 역설계 절차는 각 구성품별 샘플 수량, 치수공차, 기계적 물성 측정, 자재, 무게 및 부피특성 등의 동일성 확인 항목을 선정하여 각각의 세부 절차를 정의하였다. 아울러 우리나라 및 미국의 연방항공규정을 분석한 결과, 우리나라의 경우 수송류 항공기용 제동장치의 기술표준품 표준서 및 비행시험과 관련된 규정의 제정이 필요하다.

• 정보보호학회논문지
• /
• 제31권5호
• /
• pp.959-972
• /
• 2021

분산 신원증명은 정보주체가 자신의 신원정보를 직접 관리하고, 필요시 제공한다는 자기주권 신원증명의 개념을 기반으로 하고 있다. 하지만, 발급기관으로부터 신원정보를 발급받아 온다는 절차가 필요하고, 발급기관의 관리 소홀로 인한 대량의 정보 유출 우려가 존재한다. 본 논문에서는 정보주체와 발급기관을 일치시켜 1:1 또는 1:N 소규모 그룹에서 참여자들만 신원증명이 가능한 Peer DID 기술을 기반으로 개인 간 분산 신원증명 시스템을 제안한다. 블루투스와 같은 단거리 무선 통신을 이용하여 모바일 디바이스로 직접 연결하고, 정보주체가 직접 자신의 정보를 생성하여 상대방에게 제공하므로 정보의 자기주권을 실현한다. 제안 시스템을 통하여 신원증명 절차를 간소화하고, 보안 및 프라이버시를 개선할 수 있으며, 비용도 절감할 수 있다. 나아가 제안 시스템과 분산 원장을 연결하여 다른 도메인의 이용자와 상호 신원증명 할 수 있도록 확장된 구성도 가능하다. 향후에는 다양한 기술을 기반으로 사람과 사물, 사물과 사물 인증에도 활용할 수 있는 신원증명 시스템에 대한 확장 연구가 필요하다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• pp.567-570
• /
• 2020

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

• 항공우주시스템공학회지
• /
• 제14권1호
• /
• pp.54-61
• /
• 2020

군용항공기 운용을 위해서는 군 감항당국으로부터 감항인증서를 획득해야 한다. 군 일반감항인증 절차 중, 항공기 설계가 군의 감항인증기준에 적합함을 입증하는 형식인증 절차가 있다. 수리온 헬기는 군용항공기로서 국내에서 최초로 형식인증과 생산확인, 감항인증을 획득하였고, 수리온파생형 항공기는 특수 임무를 위해 개조되어 관용으로 운용 중이다. 항공안전법에 따르면, 군용항공기인 수리온파생형 항공기를 개조하여 민간의 특수목적으로 운용(응급환자 수송, 소방활동 등)하기 위해서는 민간 감항당국으로부터 제한분류 특별감항증명을 획득해야 하며, 제한형식증명 획득은 특별감항증명을 용이하게 할 수 있는 설계에 관한 인증에 해당한다. 본 연구에서는 우리나라에서 최초로 계획하고 있는 수리온파생형 항공기에 대한 민간의 특수목적 운용을 위한 제한형식증명 획득 방안에 대해 논하였고, 국내 제한형식증명 관련 제도의 발전 방향에 대해 제언하였다.