• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2005년도 창립60주년 기념 추계 학술대회
• /
• pp.225.2-225.2
• /
• 2005

• 한국항공운항학회지
• /
• 제13권2호
• /
• pp.27-34
• /
• 2005

This study is performed to analyze the turbulence distribution of Fev. & Mar. in 2000 by the analysis of the parameters related with flight data of FDR(Flight Data Recorder). In the analysis, we selected the Solid State Flight Data Recorder(SSFDR) & Universal Flight Data Recorder(UFDR) flight data of the exact same aircraft(capacity 120 persons). Through this study, we verified that turbulence is concerned with configuration of the ground and flight situation of aircraft.

• 한국항공운항학회지
• /
• 제11권1호
• /
• pp.57-66
• /
• 2003

This study is performed to secure the safety of civil aviation by establishing systematic analysis ability of Flight Data Recorder. Through this study, we analysed the flight data of A321 & A330 aircraft with lift angles and take-off actions of flight crew members.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.211-213
• /
• 2004

무선 인터넷의 활성화와 더불어, 사용자 인증을 위해 801.1x EAP, CHAP 및 PAP를 이용한 다양한 인증 방식이 사용되고 있다. 그 중에서도 RADIUS 및 CiscoSecure ACS와 같은 인증 서버에서는 RSA의 SecureID 및 S/Key와 같은 일회용 패스워드 방식을 지원하고 있다. 본 논문에서는 Casper 도구를 사용하여 CiscoSecure ACS 환경에서 동작하는 일회용 패스워드 방식을 명세하고, 모델체킹 도구인 FDR을 이용하여 안전성을 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.46-48
• /
• 2004

무선 이동 시스템을 기반으로 안전한 키 교환 및 사용자 인증을 위한 다양한 보안 프로토콜이 제시되고 있다. 무선 이동 시스템 기반 보안프로토콜은 유선기반 보안프로토콜과 다르게 공개키와 대칭키가 혼합된 암호화 방식을 사용하고 있다. 본 논문에서는 이동 시스템 환경에서 동작하는 BCY 프로토콜의 안전성을 분석하기 위한 기술에 대해 언급하고, Casper/CSP 언어 및 FDR 도구를 이용하여 보안 취약성을 분석하고자 하였다.

• 한국항공운항학회지
• /
• 제11권2호
• /
• pp.93-107
• /
• 2003

This study is performed to secure the safety of civil aviation by establishing systematic analysis ability of Flight Data Recorder. Through this study, readouting UFDR(Universal Flight Data Recorder) to personal computer, flight data numerical analysis and regulations of Missed Approach. In the analysis, the flight data of B747-400 model aircraft with Missed Approach in San Francisco(KSFO) was selected.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.289-291
• /
• 2004

인터넷을 통한 통신의 안전성을 확보하기 위해서는 전송될 정보를 암호화해야 한다 따라서 통신의 주체간에는 공통적인 키의 공유와 상대방의 신원 확인을 위한 절차가 필요하다 정형검증기법은 이러한 네트워크상에서 통신의 안전성을 확보하기 위한 수단으로 사용되며, 본 논문에서는 무선환경기반 보안 프로토콜인 Carlsen BCY프로토콜을 모델 체커인 FDR을 사용하여 검증하였다.

• 디지털융복합연구
• /
• 제12권9호
• /
• pp.219-223
• /
• 2014

최근 무선통신 시스템의 기술이 발전함으로 M2M(Machine-to-Machine)이 산업분야에서 관심이 되고 있다. 기기간 통신인 M2M은 재난, 안전, 건설, 보건복지, 기상, 환경, 물류, 문화, 국방, 의료, 농.축산 등 사람의 접근이 어려운 공간 등에 설치되어 운용된다. 이는 사람을 대신해 장비들이 자동으로 상황에 맞추어 통신을 하고 어느 정도의 조치는 자동으로 취해지도록 함으로써 사람을 대신한 정보 관리 및 장비 운영을 할 수 있다. M2M이 디바이스간 통신이 무선으로 이루어지는 경우 공격자의 공격에 노출되어 운영되는 보안적 문제로 정당한 장치인지 상호인증 등 적절한 보안이 필요하다. 관련하여 최근 보안적으로 안전한 많은 프로토콜이 연구 되고 있으며 본 논문에서는 M2M 보안문제를 해결하기 위하여 SessionKey, HashFunction, 및 Nonce 를 적용하였으며 보안취약성을 보완한 안전한 프로토콜을 제안한다. 제안프로토콜을 기존의 대부분의 연구처럼 수학적 정리증명으로 안전함을 주장하지 않고 Casper/FDR을 이용하여 정형검증 하였으며 실험결과 제안프로토콜이 안전함이 확인되었다.

• 디지털융복합연구
• /
• 제12권8호
• /
• pp.229-234
• /
• 2014

자동차산업의 발전과 함께 차량전자통신시스템이 고성능화 되어가고 있으며 사용자 편의 면에서도 상당히 많은 발전을 거듭해가고 있다. 그러나 통신시스템의 특성상 전송구간에서 공격자의 공격에 대한 문제가 제기되고 있으며 안전한 통신에 대한 필요성이 중요시 되고 있다. 자동차의 운행, 제어계통 및 영상장비 등에 공격자의 공격이 성공하게 되면 안전 및 프라이버시에 심각한 문제가 발생하게 된다. 따라서 하드웨어적인 보안 및 보안통신프로토콜에 대한 연구가 중요한 부분으로 이루어지고 있다. 본 논문에서는 안전한 차량 통신프로토콜을 제안하며 공격자의 각종 공격에 안전한 프로토콜을 정형검증도구인 Casper/FDR 도구를 이용하여 실험하였으며 제안 프로토콜이 안전하며 문제없이 종료됨을 확인하였다.

• 한국통신학회논문지
• /
• 제35권12C호
• /
• pp.1020-1028
• /
• 2010

릴레이는 차세대 이동통신 시스템에서 기지국의 서비스 커버리지 영역을 확대하고 음영지역을 해소하기 위해 반드시 필요한 기술이다. 하지만, 기존의 릴레이 관련 연구는 주로 반이중 모드, 즉 서로 다른 시간 혹은 주파수에서 송수신을 수행하도록 제한하고 있다. 반이중 릴레이는 구현이 쉬운 반면 릴레이 송수신 지원 구분이 필요하기 때문에 전체 시스템 용량이 줄어드는 단점이 있다. 본 논문에서는 다중 안테나를 갖는 전이중 릴레이의 다중 사용자 precoding 및 sum rate 정합 기반의 전력 할당 방식을 제안한다. 전이중 릴레이는 같은 주파수에서 동시에 송수신을 수행하기 때문에 릴레이의 송수신 안테나 사이에 발생하는 자기 간섭 문제를 해결해야 한다. 본 논문에서 제안하는 precoding 기법을 통해 다중 사용자 MIMO 전송이 가능하면서 동시에 전이중 릴레이의 자기 간섭을 제거할 수 있다. 또한, 릴레이가 기지국으로부터 수신하는 정보량과 단말국으로 전달하는 정보량이 동일하도록 하는 조건 하에서 전체 시스템 용량을 최대화하는 전력 할당 기법을 제안한다.