최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
데이터가 존재하지 않습니다.
loading...
국방과학기술과 무기체계
국방과학기술과 무기체계
국방과학 기술과 무기체계연구
국방R&D관리 =
Cyber warfare : building the scientific foundation
소프트웨어 보안 평가
Architecting secure software systems
(최신) 무기체계학
미래전을 대비한 국방정보체계 발전 방안
보안 위협 모델링 : 위협 식별과 대응을 위한 소프트웨어 설계
Security requirements engineering : designing secure socio-technical systems
Cyber threats and nuclear weapons
신편무기체계학
무기체계학 =
방위사업 이론과 실제 : 위기의 방위사업, 무엇이 문제이고 어떻게 혁신할 것인가?
Aircraft systems integration of air-launched weapons
군사 OR 이론과 응용 =
Pattern and security requirements : engineering-based establishment of security standards
(4차 산업혁명과) 신흥 군사안보 : 미래전의 진화와 국제정치의 변환 =
군사력 건설과 무기체계론
최준성; 국광호 · 2014
보안공학연구논문지
최준성; 김우제; 박원형; 국광호 · 2013
보안공학연구논문지
최준성, 김우제, 박원형, 국광호 · 2012
한국방위산업학회지
최준성, 김우제, 박원형, 국광호 · 2013
보안공학연구논문지
이승규 · 2020
한국IT정책경영학회 논문지
서석호, 최은진, 노승일, 이현호 · 2026
인터넷정보학회논문지
안정근; 조광수; 정한진; 정지훈; 김승주 · 2023
정보보호학회논문지
최준성, 김우제, 박원형, 국광호 · 2013
한국통신학회논문지C
양창숙 · 2026
정보과학회 컴퓨팅의 실제 논문지
소정기; 길총경; 김용철; 신규용 · 2024
융합보안 논문지
최준성; 박상현; 이정민; 국광호 · 2015
보안공학연구논문지
전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전필 / 대학원
전 세계 모든 컴퓨터가 네트워크로 연결되어 자유롭게 소통하며 정보를 주고받게 되면서, 전달되고 저장되는 정보의 보안이 중요한 이슈가 된지 오래다. 이 강의에서는 소프트웨어와 컴퓨터시스템에서 정보보안을 위해 개발된 기술의 원리와 한계를 강의한다. 컴퓨터가 정보를 처리할 때 보안 유지를 위해서 컴퓨터 소프트웨어와 하드웨어가 어떻게 서로 협업하여 주어진 보안의 목적을 달성하는 지를 살펴본다. 시스템 소프트웨어의 보안, 응용 소프트웨어의 보안, 소프트웨어 저작권 보장을 위한 기술적인 해결책 등등에 대한 강의를 포함한다. 또한, 이러한 기술들이 미래에 끊임없이 첨단화되고 있는 디지털포렌식 현장에서 어떤 의미를 갖는지를 살펴본다.전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 대학원
해당과목은 공학분야에서 중요한 통계적 데이터 처리, 통계적 공학해석, 통계기반 공학설계 이슈들을 다룬다. 통계적 데이터 처리에서는 공학통계, 통계적 데이터 처리의 정성적, 정량적 접근법과 베이지안 통계학을 배운다. 통계적 공학해석은 신뢰성함수, 위험도함수, 가속수명시험, 불확실성 해석, 신뢰성해석, 건전성 진단 및 예지기술을 배운다. 통계기반 설계에서는 통계기반 민감도 해석, 반응함수법, 신뢰성기반 최적설계를 다룬다. 끝으로 공학시스템의 건전성 모니터링기술을 간단히 다룬다.전선 / 학사
중대형 소프트웨어를 설계하고 구현하는데 필요한 실용적인 소프트웨어 개발 원리를 배우고 이 원리를 조별 프로젝트를 통해 실제로 중대형 소프트웨어를 개발하는데 적용한다. 이 경험을 바탕으로 올바르고 성능 좋은 소프트웨어를 개발할 수 있는 사고력, 자신감, 능력을 갖추도록 한다.전선 / 학사
본 과목은 빅데이터를 활용하는 ML/AI/인지과학의 서비스를 개발할 때, 특히 많이 접하면서 까다로운 시계열 데이터 처리와, 파이썬 등으로 서비스를 개발을 효과적으로 할 수 있는 MLOps/DevOps 실전 가이드를 다루고자 한다. 연구 성과를 검증/공유하기 위해 패키지로 deploy하기 위한 도커/쿠버네티스 기술과 마이크로서비스 구축에 필요한 방법을 학습한다.전선 / 대학원
사회체계와 규범의 변화, 수요패턴의 다양화, 시장구조의 변화등의 시장요인과 기술개발투자의 규모와 위험도의 증가 등 제품요인을 동시에 고려하여 첨단기술제품의 개발아이디어 발굴, 개발과 마케팅의 연계, 시장개척과 확대, Global 마케팅전략 등에 관한 이론과 실제의 이해를 모색한다.전선 / 대학원
위성의 궤도정보 확인 및 위성 운영 목적 정의, 임무 규정, 임무 분석, 요구사항 정의와 같은 위성 임무 분석 과정에 대하여 학습한다. 또한, 과학관측 및 우주 공간상에서 실험 등, 다양한 우주임무에 대해 알아보고, 그 특성을 분석한다.전선 / 대학원
사회체계와 규범의 변화, 수요패턴의 다양화, 시장구조의 변화등의 시장요인과 기술개발투자의 규모와 위험도의 증가 등 제품요인을 동시에 고려하여 첨단기술제품의 개발아이디어 발굴, 개발과 마케팅의 연계, 시장개척과 확대, Global 마케팅전략 등에 관한 이론과 실제의 이해를 모색한다.전선 / 학사
컴퓨터 및 인터넷이 사회 인프라로 사용됨에 따라 IT 시스템에서 보안 요구사항, 보안 기본 동작, 보안 시스템의 약점 등을 이해하는 것이 컴퓨터공학자에게는 점점 더 요구되고 있다. 인터넷 보안 시스템을 근본적으로 이해하기 위해서는 암호기술 및 그 수학적 원리를 알아야 가능하다. 본 강의에서는 먼저 암호 기술들을 이해하기 위해 필요한 정수론, 이산 로그, 소인수분해, 해시 함수 등을 설명한다. 그 뒤에는 대칭키 암호기법, 공개키 암호기법, 디지털 서명, 키 관리 등 기본 보안 기술을 다루고, 마지막으로 그 뒤에 공개키기반구조(PKI), 비트코인, TLS, 웹 보안, Tor 등 응용 보안 기술을 다룬다. 본 과목은 컴퓨터 공학을 전공 혹은 부전공으로 하는 학부생들을 대상으로 하며, 학생들이 일반 고등학교 수학과 이산수학을 수강하였으면 무리 없이 본 강의를 수강할 수 있도록 강의 내용을 개발할 것이다.전필 / 대학원
디지털포렌식 수행과정에서 암호화된 디지털 증거를 분석하기 위한 암호해독 방법을 다룬다. 그리고 법정에서 디지털 데이터가 증거로 채택되기 위해서는 증거의 무결성 유지가 요구되는데, 이 과목에서 이를 보장하는데 필요한 암호학적 도구를 강의한다. 또한 클라우드 컴퓨팅 환경이 마련되면서 새로운 기능을 가지는 암호 기술이 급격히 발전하고 있다. 이러한 미래 암호 기술을 구체적으로 살펴봄으로써 새로운 환경에서의 디지털포렌식을 대비할 수 있도록 한다.전선 / 대학원
이 과목은 운영제체에 대한 기본적인 지식이 있다고 가정한다. 실시간 시스템에 있어서 각 작업이 요구되는 시간제한을 맞추기 위하여 어떤 스케줄링이 필요하고 어떻게 시스템을 설계해야 하는지를 배운다. 또한 이를 응용하여 어떻게 실제 시스템에 응용할 수 있는지 배운다.전선 / 학사
본 과목은 정보기술의 발달로 인해 야기되는 국제정치의 변화 또는 연속성을 국제정치의 이론적 경험적 시각에서 검토한다. 관련 주제의 보다 심층적인 이해를 위해 과학기술에 대한 개념적, 역사적, 학제 간 논의를 다룰 것이며, 군사안보, 정치경제, 지식문화 등의 분야에서 제기되는 정보화시대 세계정치의 구체적인 사례들을 살펴볼 것이다.일선 / 학사
안전 및 조직관리 사례연구 과목은 3학년 2학기 후보생을 위한 과정이다. 군인의 안전관련 방법론, 안전대책, 안전이 확보된 군사작전 및 훈련내용을 배우는 과정과 조직 리더로서 효율적인 조직관리학, 조직관리 기본규칙 등을 학습한다. 또한 안전 및 조직관리에 대한 사례연구와 분석을 통해 장차 군 장교로서 갖추어야 할 총괄적인 통제능력을 습득한다.전선 / 학사
본 강좌는 학부 3~4학년 교과목으로 공과대학 전 분야의 학부생을 대상으로 한다. 실습이나 과제가 일부 포함되지만, 기본적으로 Flipped Learning 방식의 강의 위주의 기초 개념 학습 중심의 과목이다. 4차 산업혁명 시대에 대규모의 민감한 정보를 다루는 컴퓨터 시스템의 안전한 데이터 처리, 보관, 보호 등에 필요한 정보 보안 및 프라이버시 보존 기술의 기초 개념 습득을 목표로 한다. 주요 내용은 (1) 컴퓨터 시스템 보안의 기본 이론, (2) 암호학의 기본개념 및 기초 암호 기술과 이를 활용한 데이터 프라이버시 보존 기술, (3) 블록체인 개념과 주요 합의 알고리즘 및 관련 암호 기법 및 실습과 (4) 데이터의 안전한 처리를 위한 데이터 보안 및 보호 기술 등을 포함한다. 선수과목: 기초수학, 컴퓨터의 개념 및 실습전선 / 대학원
차세대 (환경친화적, 정보집약적, 대량맞춤형) 제품 및 서비스의 경쟁력 제고를 목표로, 제품개발 과정에서의 각종 의사결정을 합리화하고, 제품의 기능, 구조 및 원가 측면에서의 설계최적화를 꾀하며, 이들을 지원하기 위한 효과적 정보시스템을 구축하는 측면에서의 각종 연구논제를 다룬다.전선 / 대학원
간호정보시스템을 체계적으로 개발하고 관리하기 위한 기본 지식의 배양과 정보시스템을 분석하고 설계하는데 필요한 기본 개념과 활용방법을 사례를 중심으로 다룬다. 본 교과목에서는 정보시스템 개발 방법론, 구조적 분석과 설계, 데이터베이스 분석과 설계, 객체지향 분석과 설계에 대해 학습한다.전선 / 학사
이 강의는 크게 두 부분으로 나뉜다: 기계화된 수학과 소프트웨어 검증. 첫 번째 부분에서는 컴퓨터의 도움을 받아 수학을 오류 없이 수행하는 방법을 소개한다. 특히, Coq 증명 보조 도구의 이론과 응용에 대해 배운다. 이 도구는 수학적 정의, 정리 및 증명을 엄밀하게 작성할 수 있게 해주며, 이후에 자동 증명 검사를 수행하여 그 증명의 올바름을 보장한다. 이 강의의 두 번째 부분에서는 소프트웨어 명세를 표현하는 방법, 그리고 작성된 프로그램이 주어진 명세대로 오류 없이 동작함을 엄밀하게 검증하는 방법을 소개한다. 구체적으로, Coq 내에서 Hoare 논리라고 불리는 프로그램 논리를 구현하고, 이를 사용하여 다양한 프로그램을 엄밀하게 검증한다.전선 / 대학원
본 강의에서는 시스템-온-칩 뿐 아니라 분산 임베디드 시스템을 체계적으로 설계하기 위한 방법론으로 많은 주목을 받고 있는 하드웨어-소프트웨어 통합설계 방법론에 관하여 공부하도록 한다. 우선, 시스템을 정형적으로 명세하기 위한 다양한 계산 모델(model of computation)에 관하여 살펴보고 시스템의 시뮬레이션과 빠른 성능 예측 기술, 그리고 시스템의 최적 구조를 탐색하는 기술 등 시스템 설계에 관한 핵심 기술들을 개괄적으로 살펴본다. 끝으로 병렬/분산 임베디드 소프트웨어의 검증과 유지를 용이하게 하기 위한 임베디드 소프트웨어 설계 기술을 배운다.전선 / 대학원
환경 및 인체 위험을 최소화할수 있는 국토환경 조성을 위한 개념과 기술, 설계 및 시공 기법을 포괄하는 녹색복원 기법에 대한 내용을 소개한다. 세부내용은 자연상태로부터 현저히 저하되거나 회복탄력성을 상실한 지역 또는 대상에 적용가능한 생태복원 기법과 개발로 인해 유발되는 환경 유해요인을 감소시키거나 상쇄시키기 위한 친환경적인 기술 또는 공법을 다루는 저영향개발 기법으로 나누어 진다. 이 강의는 녹색복원의 기본개념에대한 강의, 각분야별 전문가의 특강과 현장견학 및 실습으로 이루어 진다. 이 강의를 통해 녹색복원 분야의기초지식 및 응용능력을 갖춘 전문인력 양성을 목표로 한다.