• 한국항공우주학회지
• /
• 제36권3호
• /
• pp.298-305
• /
• 2008

항공기는 설계에서부터 완성까지 감항당국으로부터 형식증명, 제작증명 및 감항증명으로 구분된 복잡한 인증과정을 거치며, 부속품은 기술표준품형식승인 및 부품제작자증명으로 인증을 받아야 비로소 항공용으로 사용할 수 있다. 최근 국산 항공기와 부품의 개발진척에 따라 내수용과 해외 수출 확장을 위해 미국과의 상호항공안전협정이 추진되고 있다. 이러한 추세를 반영하여 본 논문에서는 항공제품의 안전성 확보를 위한 기본적인 인증절차를 기술하고 미국과 우리나라의 인증체계를 비교분석하였으며, 이를 통하여 국제적인 인증체계 수립을 위한 관련 요구조건을 제시하였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2001년도 종합학술발표회논문집
• /
• pp.117-120
• /
• 2001

본 논문에서는 약한 키를 가지는 대화식 영지식 증명을 이용한 인증 프로토콜의 안전성을 강화하는 방법을 제시한다. 일반적으로 대화식 영지식 증명을 이용한 인증 프로토콜은 충분히 길고 랜덤한 비밀키를 가정하고 그 비밀키에 대한 영지식 증명을 수행하게 된다. 하지만 때에 따라서 충분히 길지 않거나 랜덤하지 않은 비밀키가 선택될 수 있다. 즉, 좋지 않은 난수 발생기를 써야 하는 경우, 또는 패스워드처럼 의도적으로 약한 키를 사용하는 경우가 생기며, 대화식 영지식 증명은 이에 적합하지 않다고 알려져 있다. 본 논문에서는 비밀 동전 던지기(Secret Coin Tossing)라는 개념을 제시해서, 일반적인 영지식 증명을 이용한 인증 프로토콜을 약한 키를 가지는 영지식 증명 기반 인증 프로토콜로 쉽게 변환할 수 있는 프레임웍을 제안한다. 또한, 이 프레임웍을 이용해서 설계된 인증 프로토콜이 ideal cipher model에서 안전함을 보인다.

• 한국항공우주학회지
• /
• 제45권7호
• /
• pp.566-573
• /
• 2017

항공기의 설계 안전성을 보장하기 위하여 형식증명을 받아야 한다. 형식증명을 받은 항공기의 설계가 중대하게 변경되는 경우, 형식증명을 새로 받거나 개정형식증명 또는 부가형식증명을 신청하여야 한다. 국제민간항공기구, 미국 및 유럽의 인증 규정에서 부가형식증명 대상이 되는 설계변경에 대하여 매우 추상적으로 정의하고 있으므로, 본 논문에서는 설계변경에 관한 세계 각국의 인증절차와 인증사례를 분석하여 부가형식증명 대상이 되는 "광범위하지 않은 중급 설계변경"을 판단하는 기준을 제시하였다.

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

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

• 한국정보시스템학회:학술대회논문집
• /
• 한국정보시스템학회 1997년도 추계학술대회논문집 기업경쟁력 향상을 위한 정보통신 기술의 활용
• /
• pp.105-112
• /
• 1997

전자상거래(Electronic Commerce)를 광범위하게 활용하기 위해서는 시큐리티 확 보 방안이 먼저 마련되어야 한다. 전자상거래와 관련된 시큐리티 문제에는 통상적인 정보보 안 이외에 메시지 발신자의 신원을 증명하는 신원 인증과, 메시지 내용의 완전성 및 정확성 을 보장하는 메시지의 완전성 보장, 그리고 메시지의 송·수신을 증명하는 부인방지 등이 있 다. 본 논문에서는 전자상거래의 시큐리티 문제를 해결하는데 필요한 메시지 인증과 디지털 서명에 대해 소개하고, 또한 메시지 인증과 디지털 서명의 핵심적인 요소인 해쉬함수를 분 석한다.

• 정보보호학회논문지
• /
• 제12권1호
• /
• pp.33-42
• /
• 2002

본 논문에서는 약한 키를 가지는 대화식 영지식 증명을 이용한 인증 프로토콜의 안전성을 강화하는 방법을 제시한다. 일반적으로 대화식 영지식 증명을 이용한 인증 프로토콜은 충분히 길고 랜덤한 비밀키를 가정하고 그 비밀키에 대한 영지식 증명을 수행하게 된다. 하지만 때에 따라서 충분히 길지 않거나 랜덤하지 않은 비밀키가 선택될 수 있다. 즉, 좋지 않은 난수 발생기를 써야 하는 경우, 또는 패스워드처럼 의도적으로 약한 키를 사용하는 경우가 생기며, 대화식 영지식 증명은 이에 적합하지 않다고 알려져 있다. 본 논문에서는 비밀 동전 던지기(Secret Coin Tossing)라는 개념을 제시해서, 일반적인 영지식 증명을 이용한 인증 프로토콜을 약한 키를 가지는 영지식 증명 기반 인증 프로토콜로 쉽게 변환할 수 있는 프레임웍을 제안한다. 또한, 이 프레임웍을 이용해서 설계된 인증 프로토롤이 ideal cipher mode에서 안전함을 보인다.

• 항공우주정책ㆍ법학회지
• /
• 제17권
• /
• pp.133-152
• /
• 2003

항공기의 안전성과 신뢰성을 확보하기 위하여 항공기, 엔진, 프로펠러는 물론이고 항공기용 부품소재 및 장비품에 대해서도 법적인 인증이 요구된다. 미국을 비롯한 항공선진국에서는 항공기용 부품에 대해서는 부품제작자증명을 받도록 하고, 표준화된 장비품 등에 대해서는 기술표준품 형식승인을 받도록 법적으로 규정하고 있으나, 국내의 경우에는 이에 대한 법적인 인증제도를 갖추지 못하고 있다. 따라서 본 연구에서는 미국의 부품제작자증명 제도를 분석하고 국내항공산업의 특성을 고려하여 항공기용 부품의 인증에 필요한 법적인 요건을 개발하여 항공법 개정안으로 제시하였으며, 이를 바탕으로 항공산업체의 인증시스템 구축을 지원하였다.

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

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

• 월간 기계설비
• /
• 통권266호
• /
• pp.42-48
• /
• 2012

녹색인증 제도는 '저탄소 녹색성장'을 실현할 새로운 경제 패러다임으로서, 미래 기술을 선점할 수 있는 발판 마련과 함께 주계약자공동도급을 위한 파트너 선정 시 기술력 증명의 근거가 되는 등 설비건설업계가 경쟁력을 갖출 수 있는 한 방안으로 부각되고 있다. 국토해양부, 지식경제부, 기획재정부 등 8개 주요 부처가 공동으로 지원하는 녹색인증제는 크게 ▲녹색기술 인증 ▲녹색사업 인증 ▲녹색전문기업 확인 등으로 구분된다. 녹색기술인증은 신재생에너지와 탄소저감 등 10개 분야를 중심으로 핵심 요소기술을 선정하며, 녹색사업은 녹색성장과 관련된 경제활동으로 경제 기술적 파급효과가 큰 사업을 선정하고 있다. 또한 녹색전문기업 확인은 녹색기술에 의한 매출액 비중에 따라 선정하고 있다. 녹색인증을 획득하면 대외적으로 기술력을 증명할 수 있을 뿐만아니라, 녹색금융상품 세제 혜택, 녹색기술사업화 기업지원 등 각종 지원 혜택을 받을 수 있다. 본지는 이번 호부터 녹색인증제에 대해 연재한다.

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

부인가능 인증은 수신자가 전송된 메시지에 대한 출처를 확인할 수 있지만, 제 3 자에게는 전송된 메시지의 출처를 증명할 수 없는 인증 메커니즘이다. 이러한 부인가능 인증을 통하여 프라이버시 노출 가능한 전자투표와 전자상거래에서 메시지 전송에 대한 익명성을 보장할 수 있다. 본 논문에서는 그룹 멤버의 익명성을 보장하기 위한 환 서명을 이용하여 부인 가능한 서명을 제안함으로써 서명자의 프라이버시를 보호한다. 또한 추후에 서명에 대한 출처 확인이 필요할 경우, 서명자가 서명 생성을 위한 지식을 증명함으로써 서명에 대한 출처를 제 3 자에게 증명할 수 있다.