정보자원사전시스템을 활용한 소프트웨어 형상변경통제시스템

최광준 충남대학교 1998 국내박사

특수교육 형태별 특수아동 학부모의 만족도 비교 조사 연구

최광준 공주교육대학교 교육대학원 2004 국내석사

日本의 軍事的 役割 增大와 韓國安保

최광준 延世大學校 1992 국내석사

교육목회를 통한 교회 성장에 관한 연구 : 검단열방교회 교육프로그램을 중심으로

최광준 안양대학교 신학대학원 2008 국내석사

변혁적 리더십이 직무성과에 미치는 영향에 관한 연구 : 조직신뢰의 매개효과를 중심으로

최광준 연세대학교 대학원 2011 국내석사

북·미 관계개선이 남·북 관계에 미치는 영향 : 북·미 핵 협상을 중심으로

최광준 京畿大學校 國際大學院 2001 국내석사

본 연구는 제네바 핵합의 이후, 북·미 관계의 전개상황과 쟁점을 살펴봄으로써 남·북 관계에 미치는 영향과 이에 대한 우리의 대응책과 시사점은 무엇인지 살펴보는데 그 목적이 있다. 북미 관계 변화와 이로 인한 남북 관계의 전망과 관련하여, 북한의 미사일 문제 및 핵동결, 그리고 지하 핵의혹 시설 규명을 위해 미국이 고려할 수 있는 정책적 대안은 ‘점진적 접근’(piecemeal approach), ‘일괄 타결’(package deal), ‘군사적 대응’(military response) 등이다. 그러나 실질적 차원에서는 이러한 정책 대안들이 상호 배타적일 수는 없을 것이다. 북미 관계의 변화를 생각해볼 때, 결국 향후 남북 관계는 북미 관계를 둘러싼 몇 가지 가능성에 의해 영향을 받을 수밖에 없는데 이에 대한 가능성을 다음과 같이 들 수 있다. 첫째, 점진적 접근 방법에 입각, 북미간에 타협이 이루어져 북한이 핵의혹 시설에 대한 정기적인 현장 접근이 허용되고 영변 핵시설에 대한 동결을 지속해나가는 대신, 미국이 대북 식량 지원의 양을 늘리고 대북 경제 제재를 부분적으로 완화하는 상황이다. 둘째, 북미간의 대타협에 의해 지금까지 모든 딜레마가 일거에 해결되는 상황이다. 셋째, 북미간의 협상이 결국은 결렬되어 미 대통령이 의회에 대해 북한이 제네바합의를 준수하고 있다는 사실을 서면으로 증명(certify)하지 못할 경우, 중유 예산이 집행되지 못하게 되고 이로 인해 제네바합의가 파기될 위험에 놓이는 상황이다. 이와 관련하여 한국정부의 향후 정책 추진 과제로는 대국민 홍보 강화를 통한 국민들의 지지를 기반으로 정부의 대북정책에 대한 공감대 확산과 대북정책에 있어서 신뢰 회복 등 장기적 관점에서 일관된 대북 포용정책 추진될 필요성이 제기된다. This study was aimed at taking a look at variable factors influencing inter-Korea relation through the development circumstances and political issues of North Korea-USA relations since "Geneva Agreement on Nuclear", at the same time, there was designed to come up the countermeasures to resolve these problems. With this, there needs to represent variable alternatives with the respective to political convulsion of North Korea-USA relations and the outlook of inter-Korea relation, in other words, there need to find new areas and ways to resolve these problems. In fact, USA is considering some political alternatives, such as "piecemeal approach", "package deal", "military response" to diagnose the disbelief concerning underground nuclear facility, nuclear proliferation in North Korea. As a matter of fact, the above things were closely bound up with realistic discussions. Accordingly, in the future, inter-Korea relations would have no alternative but to be affected by some possibilities according to the convulsion of North Korea-USA relations. Such possibilities were as follows : First, North Korea-USA relations would be able to improve somewhat through periodical fact-finding for nuclear facilities and the freezing method for YoungByun nuclear facilities on the basis of "piecemeal approach". In other words, USA government would be able to help the North Korea find a "fundamental solution" to its food shortages. Second, there would be able to anticipate the circumstances which is resolved at a time hitherto problems through amicable compromise between North Korea and USA. Third, their relation would be deteriorated by severe position differences concerning their positions on key issues, such as periodical fact-finding of nuclear facilities, the certification of "Geneva Agreement", the food support in North Korea-USA agreements, and also budgetary support of heavy oil would be abolished. From the above results, Korea government need to make them comply with "Geneva Agreement" through consistent policy with the respective to Seoul government's policy on North Korea.

기계가공을 고려한 스피드 브레이크의 형상 최적화 설계

최광준 경상대학교 대학원 2011 국내석사

Aircraft speed brake is a device which increases drag to reduce aircraft speed and it is typically installed on the either wings or fuselage in an aircraft. T-50 aircraft has four speed brakes (left upper, right upper, left lower and right lower) on the edge of after fuselage. due to the speed brake location, the weight of speed brake was one on the major issues considering the effect to center of gravity of aircraft. Accordingly, a casting process believed to be weight effective process was suggested and applied to fabricate speed brakes from abroad. Starting T-50 mass production and deployment, it was reported that speed brake castings were cracked during normal flights within limited flight hours. it was revealed that the process dependent defects including porosity by casting process caused stress concentration on the cast surface and reduced material allowables. After engineering discussions with casting manufacturers, it was known that relatively long time and big budget should be required to improve current castings not to fail during normal flights so manufacturing concept change to alternative methods was considered. Among many alternative concepts available, machining method using the wrought aluminum alloys was suggested considering the advantage of short development time, low development cost and improved mechanical properties except weight penalty. With the study about the machineability of current configuration processed by casting, it was agreed that the current configuration is not valid for machining and instead I section structure and triangle-lattice structure were proposed and reviewed in the point of structural integrity and weight saving. The triangle-lattice was selected in the point of weight saving followed by configuration optimization and it was within the target weight. The speed brake triangle-lattice structured was analyzed by finite element modeling(FEM) to verify static and fatigue margin and ground structural tests and flight tests were conducted to verify the accuracy of FEM. The result showed that the machined speed brake was robust enough to stand static and fatigue loads during flights and the machined speed brake will solve cracking problems which were observed with speed brakes cast.

uC/OS-II 시스템 보안을 위한 코드 무결성 검증 기법

최광준 단국대학교 대학원 2019 국내석사

IoT 기술 발전에 따라 네트워크에 연결된 임베디드 장치의 사용이 증가하고 있다. Micrium의 임베디드 시스템용 uC/OS-II 실시간 커널은 자동차, 전화기, 공장 자동화, 모터제어 등과 같이 다양한 시스템에서 사용되고 있고 네트워크에 연결되고 있다. 네트워크에 연결된 임베디드 장치가 여러 분야에서 중요 단말 역할을 수행함에 따라 점차적으로 사이버 공격의 대상이 되고 있다. 임베디드 장치를 대상으로 한 사이버 공격으로 인한 산업 시설의 가동중단 및 오작동 등으로 큰 피해가 야기될 수 있다. 따라서 네트워크에 연결된 임베디드 시스템에 대한 보안성을 강화하는 연구가 필요하다. 임베디드 시스템의 보안을 위해, 시스템의 코드가 불법으로 위변조되었는 지를 탐지하는 코드 무결성 검증 기법들이 많이 연구되어 왔다. 코드 무결성을 검증하기 위한 기존 연구로는 로컬 기반 프로그램 검증 기법과 원격 기반 프로그램 검증 기법이 존재한다. 로컬 기반 프로그램 검증 기법에는 체크섬(checksum)기반 위변조 검증 기법, secure boot를 통한 펌웨어 위변조 검증 기법, 난독화를 적용한 위변조 방지기법 등이 존재한다. 원격 기반 프로그램 검증 기법에는 소프트웨어 기반 방식과 하드웨어 기반 방식으로 분류할 수 있다. 그 외에 안전한 펌웨어 업데이트 기법을 적용하여 프로그램 위변조를 방지하고자 하는 연구가 수행되었다. 본 논문에서는 uC/OS-II 실시간 커널 수준에서 소프트웨어 기반으로 코드 무결성을 검증하는 2가지 기법을 제안하였다. 첫 번째, 임베디드 시스템 내에서 코드 무결성을 검증하는 기법은 프로그램 메모리의 일부 중요영역을 설정하여 주기적으로 MD5 해시연산을 통해 위변조가 발생하였는지를 확인한다. 이 기법은 프로그램 메모리의 일부만 검증하기 때문에 비교적 실행 오버헤드가 적어 실행 주기가 짧다. 두 번째 기법은 challenge-response 기법을 기반으로 외부 장치를 통해 코드 무결성을 검증한다. 외부 검증 장치에서 임의 값을 임베디드 시스템에 전송하면 임베디드 시스템은 전송받은 임의 값(nonce)을 이용해 의사 난수 생성을 수행한다. 생성된 난수 기반으로 프로그램 메모리 블록 접근 순서가 정해지고, 그 순서대로 블록들의 해시 값을 누적 계산하여 외부 검증장치에 전달한다. 외부 검증장치는 전달받은 최종 해시가 유효한 값인지를 확인하여 임베디드 시스템의 프로그램 메모리의 무결성을 검증한다. 이는 임베디드 시스템이 펌웨어 변조공격으로 프로그램이 변조될 경우, 효과적으로 변조 여부를 검증할 수 있다. 본 논문에서 제안한 두 기법을 uC/OS-II 상에 태스크로 구현하고 평가하여 유효성을 검증하였다. With the development of IoT technology, embedded devices become more connected to the internet. In addition, Micrium's uC/OS-II real-time kernel is used in a variety of embedded systems such as automobiles, telephones, factory automation, and motor control, and is connected to the network. As embedded devices with connectivity to a local network or internet play a critical role in many areas, they are becoming attractive targets for cyber attackers. The cyberattacks on the embedded devices can be a big threat to industrial control systems (ICS) and cause great damage to critical infrastructure. Therefore, it is very important to make embedded devices and their systems secure. As one approach to incorporating security in embedded systems, many research groups have studied on verifying code integrity on embedded systems. The integrity of program code can be verified locally or remotely. As code integrity check on the local machine, there are checksum-based forgery verification techniques, firmware forgery verification based on secure boot, and forgery prevention techniques using obfuscation. Remote-code integrity verification techniques can be classified in software-based and hardware-based method. Other studies have been conducted to prevent program tampering by applying secure firmware update techniques. This thesis proposes two techniques for verifying the integrity of program code at uC/OS-II real-time kernel level without any hardware change. The first technique for code integrity verification is operated inside the system, sets some important area of the program memory and periodically checks whether the code is modified by attackers through MD5 hash calculation. Since this technique verifies only a part of the program memory, the execution cycle is short because of a relatively low execution overhead. The second technique verifies code integrity using an external device based on a challenge-response protocol. When an external verification device transmits an arbitrary value (nonce) to the embedded system, the embedded system generates pseudorandom numbers using the arbitrary value transmitted. The memory block access sequence is determined based on the generated random numbers. Then the hash values of the blocks are cumulatively calculated in that sequence and the final hash value is transmitted to the external verification device. The external verification device verifies the integrity of the memory of the embedded system by checking whether the final hash value received is a valid value. The proposed techniques allow the embedded system to effectively check if the program code is modified by firmware tampering attacks. The effectiveness of the proposed techniques have been validated by implementing the techniques as each task on uC/OS-II and performing experiments.

万葉集の文化的背景と渡來人硏究

최광준 Fukuoka University 1998 해외박사

만엽집은 일본이 자랑하는 가장 오래된 노래집이다. 7세기 중엽부터 노래되어졌다고 생각되는 만엽집에는 4500여수의 노래들이 수록되어 있다. 만엽집이라고 이름붙여진것은 언제인지, 또한 성립연대가 언제인지에 대한 의견들이 매우 분분한데 이러한 곳에서부터 만엽집의 연구가 시작한다고 이야기되어지고 있다. 만엽집에 대한 기록이 나오는것은 중고시대에 쓰여진 고금집에 보여지고, 만엽집에 대한 연구는 만엽집주석에서 시작해서 만엽집대고, 만엽대장기, 만엽명의고등 여러각도에서 연구되어지고 있다. 또한 명치시대 이후에는 문예학적연구, 민속학적연구, 역사적 ·사회적연구, 풍토적연구, 비교문학적 연구, 국어학적연구등의 다각도적인 연구가 행하여지고 있다. 그리고 현재 작가 만엽의 풍토등에 관한 새로운 연구도 행하여지고 있다. 본 연구는 이러한 연구를 기본으로 해서 만엽집의 문화적배경과 도래인의 문학을 중심으로 하고 있다. 왜냐하면 문학작품을 이해하려면 우선 작품이 쓰여졌던 시대의 문학적 풍토를 이해하지 않으면 안되기 때문이다. 특히 만엽집과 같이 오래전에 만들어진 작품은 더욱 그러하다. 만엽집이 만들어진 그 당시 밀접한 관계에 있던 고대한국과의 역사적 관계, 역사적 소산인 도래인등의 문제, 도래인들이 만엽집에 끼쳤던 영향등에 관해서도 생각해 보았다. 만엽집에 보이는 인물은 총 480여명인데 이중 도래인으로 추정되는 인물은 90여명으로 전 작가의 2할 정도를 차지하고 있다. 그러나 도래인에 관한 연구는 매우 미흡한 실정이며 이러한 관점에서도 본 연구는 매우 의미가 있다고 생각한다. 제1편에서는 문화적 ·역사적시야에서 살펴보았고, 제2편에서는 전 도래인을 한사람 한사람씩 분석해 보았다. 제3편에서는 중요한 도래인의 작품을 중심으로 살펴보았다. 일본인의 입장에서 본 만엽집의 해석과 외국인의 입장에서 본 만엽집의 해석에는 큰 차이가 있다고 생각한다. 다른 시점에서 보는것에 의해 지금까지 보이지 않았던 새로운것이 보일 가능성이 있기 때문이다. 이러한 시점에 있어서의 새로운 해석이 본 연구의 목적이며 새로운 연구의 시도라고 생각한다.

Windows 11 on ARM에서의 Stack Buffer Overflow 취약점 공격 및 완화기법 분석

최광준 서강대학교 정보통신대학원 2022 국내석사

Microsoft has been developing ARM architecture-based Windows operating system since 2012, but it has not received much attention due to limitations in performance and lack of compatibility. Recently, as ARM processors have improved performance and started supporting x86 and x86-64 emulations in operating system, compatibility has improved, and more and more people are using Windows 11 on ARM. However, compared to the time that has been developed, security research in ARM architecture-based Windows operating system environment is far short. For this reason, there is a lack of data for security research in the environment, such as vulnerability search and mitigation techniques development, making it difficult to conduct in-depth research. In this paper, we examine the Stack Buffer Overflow vulnerabilities occurring in Windows 11 on ARM and analyze whether related mitigation techniques are properly applied to verify the effectiveness of the mitigation techniques. In addition, based on the analysis, the difference in applied mitigation techniques is compared with other operating systems. Microsoft는 ARM 아키텍처 기반 Windows 운영체제를 2012년부터 개발해 왔지만, 성능의 한계와 호환성 부족으로 인해 많이 주목받지 못했다. 최근 ARM 프로세서의 성능이 향상되고 x86 및 x86-64 에뮬레이션을 운영체제 단에서 지원하기 시작하면서 호환성이 개선되어 점점 더 많은 사람들이 Windows 11 on ARM을 사용하고 있다. 하지만 개발되어온 시간에 비해 ARM 아키텍처 기반 Windows 운영체제 환경에서의 보안 연구는 턱없이 부족하다. 이로 인해 취약점 탐색, 완화기법 개발 등 해당 환경에서의 보안 연구를 위한 자료가 부족하여 심화 연구를 진행하는데 어려움이 존재한다. 본 논문에서는 Windows 11 on ARM에서 발생하는 Stack Buffer Overflow 취약점을 살펴보고 이와 관련된 완화기법들이 제대로 적용되어 있는지 분석하여 해당 완화기법들의 실효성을 검증한다. 또한, 분석한 내용을 토대로 타 운영체제들과 비교하여 적용된 완화기법의 차이를 비교한다.