최근 확인한 콘텐츠
데이터가 존재하지 않습니다.
Tamang J.P.,Kharnaior P.,Pariyar P.,Thapa N.,Lar N.,Win K.S.,Mar A.,Nyo N.
2021 / PLoS ONE
데이터가 존재하지 않습니다.
loading...
소프트웨어 보안 평가
Architecting secure software systems
Pattern and security requirements : engineering-based establishment of security standards
An introduction to cyber modeling and simulation
Security and resilience of control systems : theory and applications
Fundamentals of ground combat system ballistic vulnerabilitylethality
Cyber Security, Cryptology, and Machine Learning : 6th International Symposium, CSCML 2022, Be'er Sheva, Israel, June 30 – July 1, 2022, Proceedings
SNA기법을 이용한 군 지휘통제체계 네트워크 효율성 평가 방안
보안 위협 모델링 : 위협 식별과 대응을 위한 소프트웨어 설계
Cyber threats and nuclear weapons
Penetration testing and network defense
Cyber warfare : building the scientific foundation
Cyber security for industrial control systems: from the viewpoint of close-loop
복합 무기체계 RAM 목표값 설정 방안
Principles of cyber-physical systems
드론 시큐리티 스펙트럼 : 하늘 위의 위협을 통제하는 보안 전략서
Designing secure systems
(버그 없는 안전한 소프트웨어를 위한) C & C++ 시큐어 코딩
Machine learning in cyber trust : security, privacy, and reliability
Safety and reliability of software based systems : twelfth annual CSR workshop (Bruges 12-15 September 1995)
최준성; 국광호 · 2014
보안공학연구논문지
최준성; 김우제; 박원형; 국광호 · 2013
보안공학연구논문지
최준성, 김우제, 박원형, 국광호 · 2013
보안공학연구논문지
최준성, 김우제, 박원형, 국광호 · 2013
한국통신학회논문지C
최준성; 국광호 · 2014
보안공학연구논문지
최준성; 국광호 · 2014
보안공학연구논문지
최준성; 박상현; 이정민; 국광호 · 2015
보안공학연구논문지
박상현; 김관영; 최준성 · 2018
전기전자학회논문지
최준성; 김우제; 박원형; 국광호 · 2013
한국통신학회논문지C
최준성, 김우제, 박원형, 국광호 · 2012
한국방위산업학회지
강지원, 문재웅, 이상훈 · 2020
융합보안 논문지
이기영 · 2015
보안공학연구논문지
전선 / 학사
이 강의는 크게 두 부분으로 나뉜다: 기계화된 수학과 소프트웨어 검증. 첫 번째 부분에서는 컴퓨터의 도움을 받아 수학을 오류 없이 수행하는 방법을 소개한다. 특히, Coq 증명 보조 도구의 이론과 응용에 대해 배운다. 이 도구는 수학적 정의, 정리 및 증명을 엄밀하게 작성할 수 있게 해주며, 이후에 자동 증명 검사를 수행하여 그 증명의 올바름을 보장한다. 이 강의의 두 번째 부분에서는 소프트웨어 명세를 표현하는 방법, 그리고 작성된 프로그램이 주어진 명세대로 오류 없이 동작함을 엄밀하게 검증하는 방법을 소개한다. 구체적으로, Coq 내에서 Hoare 논리라고 불리는 프로그램 논리를 구현하고, 이를 사용하여 다양한 프로그램을 엄밀하게 검증한다.전선 / 학사
컴퓨터 및 인터넷이 사회 인프라로 사용됨에 따라 IT 시스템에서 보안 요구사항, 보안 기본 동작, 보안 시스템의 약점 등을 이해하는 것이 컴퓨터공학자에게는 점점 더 요구되고 있다. 인터넷 보안 시스템을 근본적으로 이해하기 위해서는 암호기술 및 그 수학적 원리를 알아야 가능하다. 본 강의에서는 먼저 암호 기술들을 이해하기 위해 필요한 정수론, 이산 로그, 소인수분해, 해시 함수 등을 설명한다. 그 뒤에는 대칭키 암호기법, 공개키 암호기법, 디지털 서명, 키 관리 등 기본 보안 기술을 다루고, 마지막으로 그 뒤에 공개키기반구조(PKI), 비트코인, TLS, 웹 보안, Tor 등 응용 보안 기술을 다룬다. 본 과목은 컴퓨터 공학을 전공 혹은 부전공으로 하는 학부생들을 대상으로 하며, 학생들이 일반 고등학교 수학과 이산수학을 수강하였으면 무리 없이 본 강의를 수강할 수 있도록 강의 내용을 개발할 것이다.전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 대학원
데이타베이스, 프로그래밍 언어, 그래픽스, 운영체계 등 시스템 소프트웨어에 있어서의 최신 동향과 주요 주제를 다룬다.전선 / 대학원
컴퓨터를 설계하는 데 필요한 공학적 방법론, 설계기법, 무결함 검증방법, 기술동향, 성능평가 방법을 익힌다. 구체적으로 다루어지는 내용은 파이프라인 형태의 명령어 실행 방법, 명령어 수준의 병렬성, 메모리 계층구조, 입출력 시스템, 다중처리기, GPU 및 가속기 아키텍처 등이다.전선 / 대학원
최근 AI, 빅데이터, 사물인터넷등 새로운 응용 도메인이 대두되면서, 이를 효율적으로 실행하기 위한 새로운 컴퓨터 구조에 대한 수요가 높아지고 있다. 또한, 무어의 법칙에 따른 반도체 스케일링이 한계에 도달하면서, 이를 극복하기 위한 새로운 프로세서, 메모리 시스템 구조, 소프트웨어 스택의 혁신이 요구되고 있다. 이 과목에서는 이러한 맥락에서 컴퓨터 구조 분야의 최신 연구동향을 학습한다. 최신 논문의 강독 및 세미나 발표를 중심으로 진행되며, 기존의 범용 컴퓨터 아키텍처뿐만 아니라, 특정 도메인에 특화된 아키텍처 및 시스템 수준의 설계 이슈도 함께 다룬다.전선 / 학사
중대형 소프트웨어를 설계하고 구현하는데 필요한 실용적인 소프트웨어 개발 원리를 배우고 이 원리를 조별 프로젝트를 통해 실제로 중대형 소프트웨어를 개발하는데 적용한다. 이 경험을 바탕으로 올바르고 성능 좋은 소프트웨어를 개발할 수 있는 사고력, 자신감, 능력을 갖추도록 한다.전선 / 대학원
본 과목에서는 현대 사회의 근간을 이루고 있는 복잡한 시스템 (Complex Systems) 들의 개념 구상 및 향후 상세설계를 효율적이고 체계적으로 할 수 있도록 하는 시스템 아키텍처의 모델링 및 최적화 방법들을 소개한다. 학생들은 ISO/PAS 19450-2015 표준으로 등록된 시스템 모델링 언어인 Object Process Methodology (OPM)를 사용하여 시스템의 기능 아키텍처, 형상 아키텍처, 그리고 통합 아키텍처를 체계적으로 모델링 하는 것에 관하여 학습한다. 이러한 모델링 과정을 통해 생성된 아키텍처들을 이용하여 시스템 특성들을 최적화 하는 아키텍처들의 집합체인 파레토 전선을 구축하고 이를 통해 최적화된 시스템 아키텍처를 도출해 내는 방법론에 대하여 학습한다.전선 / 대학원
시스템 성능평가의 주요 도구 중 하나인 stochastic process와 queueing theory를 배움으로써, 컴퓨터 및 통신공학자들이 시스템을 모델링하고 성능분석 하는데 잘 활용할 수 있도록 한다. 이 강의에서는 기본 확률이론과 다양한 종류의 Markov Process, 큐잉 시스템을 포함하고 게임이론과 최적화 이론의 기본 개념을 다룬다.전선 / 대학원
본 교과목에서는 컴퓨터 및 네트워크 보안 관련 이슈들에 대해 학습한다. 기밀성, 무결성, 인증, 암호화 알고리듬과 프로토콜 등 다양한 보안 관련 이슈들의 개념을 이해하고, 다양한 공격 기법들에 대해 학습한다. 또한, dial-up security (PAP, CHAP, RADIUS, Diameter), WLAN security, IPSec & SSL based VPNs, e-mail security (PGP, S/MIME); Kerberos; X.509 certificates; AAA and Mobile IP; SNMP security; 등에 대해 학습하고, 실제 컴퓨터 및 네트워크 상에서의 공격에 대한 탐지 및 방지, 대응에 이르기까지 폭넓게 학습한다. 이를 통해, 컴퓨터 및 네트워크 보안에 대한 이해의 폭을 넓히도록 한다. 선수 과목: 데이터 통신망의 기초(선택적), C(C++) Programming전선 / 대학원
본 교과목에서는 석·박사과정 학생들에게 CPU 구조, 캐쉬 설계, 메모리 관리 정책, 파이프라이닝, 버스 구조, 입출력 장치 등 컴퓨터 구조에 관한 전반적인 동향을 소개하고, 최근 발표된 논문에 대한 강독을 통해 새로이 소개되는 기술을 익힐 수 있게 한다.전선 / 대학원
본 교과목은 강의 교수와 수강하는 학생들이 협의하여 창의적으로 주제를 선정하고, 관련 이론 및 최신 기술을 함께 배우는 세미나와 토론 및 프로젝트를 수행하는 교과목이다. 컴퓨터 기술은 빠르게 발전하기 때문에 기존의 교과목에서는 다루지 못하는 기술이 속속 등장하고 있다. 본 교과목은 이러한 신기술을 배울 수 있는 기회를 제공한다. 또한 과학기술·산업·사회 분야의 당면 문제를 컴퓨터 기술로 해결하는 창의적인 방안을 모색할 수도 있으며, 적정기술을 이용하여 사회적 약자를 위한 컴퓨팅 시스템을 개발하는 사회공헌형 주제로 강좌를 진행할 수 있다. 또한 수강생들이 창의적인 주제를 제안하고 강의 교수가 이를 인정하고 지도하는 상향식 주제 탐구도 적극 권장할 예정이다. 본 교과목에서 학생들의 연구 성과는 학기말에 결과 발표회를 통해 성과를 학부 전체에 공유한다.전필 / 대학원
전 세계 모든 컴퓨터가 네트워크로 연결되어 자유롭게 소통하며 정보를 주고받게 되면서, 전달되고 저장되는 정보의 보안이 중요한 이슈가 된지 오래다. 이 강의에서는 소프트웨어와 컴퓨터시스템에서 정보보안을 위해 개발된 기술의 원리와 한계를 강의한다. 컴퓨터가 정보를 처리할 때 보안 유지를 위해서 컴퓨터 소프트웨어와 하드웨어가 어떻게 서로 협업하여 주어진 보안의 목적을 달성하는 지를 살펴본다. 시스템 소프트웨어의 보안, 응용 소프트웨어의 보안, 소프트웨어 저작권 보장을 위한 기술적인 해결책 등등에 대한 강의를 포함한다. 또한, 이러한 기술들이 미래에 끊임없이 첨단화되고 있는 디지털포렌식 현장에서 어떤 의미를 갖는지를 살펴본다.전선 / 대학원
컴퓨터를 설계하는 데 필요한 공학적 방법론, 설계기법, 무결함 검증방법, 기술동향, 성능평가 방법을 익힌다. 구체적으로 다루어지는 내용은 파이프라인 형태의 명령어 실행 방법, 명령어 수준의 병렬성, 메모리 계층구조, 입출력 시스템, 다중처리기, GPU 및 가속기 아키텍처 등이다.전선 / 대학원
원자력 안전규제의 기본 개념과 정책에 대한 이해를 바탕으로 원자력 관련 법령 및 기준 등의 규제 이행체계를 살펴본다. 원자력시설 인허가 및 심·검사, 핵연료주기시설 및 방사선이용시설 안전규제, 방사선 방호 및 안전관리 등 원자력 안전규제 전 분야에 대한 기반 지식과 현황을 학습한다. 또한 원자력 안전규제 분야의 국제 동향과 최신 기술개발 현황을 살펴보고, 원자력 안전규제의 효과성, 정책 방향, 규제문화 등에 대해 토의한다.전선 / 대학원
차량, 항공기, 로봇 등의 제어에 사용되는 컴퓨터 시스템은 계산상의 정확성과 아울러 태스크가 주어진 시간 내에 종료되어야만 하는 실시간시스템이다. 이 과목에서는 이러한 실시간시스템 구성을 위한 태스크 스케쥴링, 프로그래밍기법, 통신, 자원관리 등의 기법에 대하여 학습한다. 또 기말과제를 통하여 각자의 연구분야의 실시간 특성에 대하여 연구할 기회를 갖는다.전선 / 대학원
경영 시스템을 운영하기 위한 전략 계획 및 통제에 대한 기법들을 바탕으로, 기업 모형을 기반으로 한 보다 상위의 의사 결정을 지원하는 전략적 운영 기법들과 적용사례들을 다루고 있다.전선 / 대학원
이 과목에서는 유닉스 운영체제를 중심으로 운영체제의 내부 구조와 운영체제 분야의 최신 이론을 배운다. 수강생들은 또한 운영체제 관련 다수의 논문을 읽고 발표해야 하며, 운영체제와 연관된 프로젝트를 수행해야 한다. 강좌 내용을 요약하면, 유닉스의 구조와 발전, 운영체제 관련 논문 연구, 프로젝트 수행 등이다.전선 / 대학원
본 과목에서는 컴퓨터시스템에 관한 최신 연구 주제를 다룬다. 컴퓨터시스템은 전통적으로 컴퓨터구조, 운영체제, 컴퓨터 네트워크, 데이터베이스, 분산 시스템 등 다양한 분야를 포함하는 연구 분야이다. 본 과목의 목표는 컴퓨터시스템의 분야의 기본 지식 뿐만 아니라 최신 연구 주제들을 살펴보고, 이를 통해 새로운 연구주제에 대한 사고를 촉진하는데 있다. 구체적으로 본 과목에서는 내장형 시스템으로부터 서버 시스템, 대규모 분산시스템에 이르는 최신의 컴퓨터시스템에서 성능, 에너지 효율성, 신뢰성, 확장성, 가용성, 일관성, 보안성 등을 향상시키기 위한 다양한 기법들을 살펴본다. 우수 국제학술회의나 학술지에 발표된 최근의 논문들이 강의자료로 활용된다.전필 / 학사
본 과목에서는 기계시스템 설계의 기본 개념과 방법에 대해 익히고 기계시스템의 구동을 위해 필수적인 로봇 프로그래밍의 기초를 배운다. 구체적으로, 설계 도면에 대한 이해와 설계안을 구체화하는 도면 작성법, 컴퓨터 이용 설계(Computer-Aided-Design, CAD) 프로그램을 이용한 설계 방법을 배운다. 이후 기계시스템을 지능적으로 구동하기 위한 프로그래밍을 학습한다. Matlab, python, C/C++ 등 다양한 프로그래밍 언어와 이를 통한 로봇 하드웨어 구동을 위한 미들웨어를 학습한다. 학기 말에 최종적으로 소프트웨어, 미들웨어, 하드웨어를 통합한 시스템을 설계한다. 본 과목에서 학습한 설계 및 프로그래밍은 향후 다양한 기계공학 전공과목의 효과적인 학습에 도움이 된다.