교과목 소개

전공선택

  • 과목코드IS511
  • 과목코드정보보호론
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 정보보호론 부제목
과목코드 IS511 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기

SYLLABUS

ㅇ Course Name : Introduction to Information Security (정보보호론)

ㅇ Course Type : Lecture

ㅇ Course Number : IS511

ㅇ Lecture:Recitation/Practice:Grade : 3:0:3

ㅇ Instructor : 학과교수

ㅇ 강의조교 : to be announced

ㅇ 강의 홈페이지: to be announced

ㅇ Semester : Spring 2019

ㅇ Course Overview :

이 과목은 정보보호에 대한 전반적인 내용을 포괄적으로 다룬다.

전반부에는 정보보호관련 개론, 암호학, 네트워크 공격 및 관련 보안을 다룬다. 후반부에서는 시스템 및 소프트웨어에 대한 공격 및 보안, 프라이버시 및 사용자 중심 보안에 대한 내용을 다룬다.

ㅇ No text book; papers will be handed out if required

ㅇ Evaluation criteria: Midterm exam 20%, Final exam 25%, HW 20%, Project 30%, Participation 5%

ㅇ Weekly Plan

Period

Contents

Period

Contents

1week

정보보호개론

9week

부채널, x86 어셈블리

2week

암호 개론 (Symmetric/Public Key Encryption 등)

10week

소프트웨어 보안 개론

3week

암호 개론 (Authentication, Key Management 등)

11week

Secure Coding

4week

네트워크 기초

12week

웹 보안 개론

5week

네트워크 보안 개론

(DNS, NAT, IDS, DDoS, TLS 등)

13week

모바일 및 서비스 보안 개론

6week

UNIX 시스템 기초

14week

사용자 중심 보안

7week

시스템 보안 개론

15week

프라이버시 및 익명성

8week

Midterm exam

16week

Final exam

 

  • 과목코드IS521
  • 과목코드정보보호실습
  • 강:실:학2:3:3
  • 개설학기봄 or 가을학기
과목명 정보보호실습 부제목
과목코드 IS521 과목분류 전공선택
선행이수과목 강:실:학 2:3:3
과정 대학원 세미나 봄 or 가을학기

 

IS-521: Information Security Laboratory

(Spring 2018)

 

 

 

 

Course Description The primary goal of this course is “to learn by doing”. Students will learn fun- damental ideas in computer systems and security by creating and solving CTF-based problems. Please note that the main focus of this course is on designing and implementing a large, complex, and reliable software systems. We assume that students are familiar with C.

 

Time    Mon. 9:00~11:00 Wed. 9:00~12:00

 

Location    N5 #2243

 

Office Hour   By appointment

 

Schedule (Tentative)

  1. Week 1: Introduction
  2. Week 2: Introduction to Capture The Flag (CTF)
  3. Week 3: Software Engineering Fundamentals (1)
  4. Week 4: Software Engineering Fundamentals (2)
  5. Week 5: Group-based Software Engineering (1)
  6. Week 6: Group-based Software Engineering (2)
  7. Week 7: Project design
  8. Week 8: Midterm week
  9. Week 9: Software Debugging
  10. Week 10: Software Testing (1)
  11. Week 11: Software Testing (2)
  12. Week 12: CTF Engineering (1)
  13. Week 13: CTF Engineering (2)
  14. Week 14: CTF Engineering (3)
  15. Week 15: CTF Event
  16. Week 16: Final week

 

Grading   20% Participation, 50% Homework, 30% Project

  • 과목코드IS542
  • 과목코드웹 서비스 보안
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 웹 서비스 보안 부제목
과목코드 IS542 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기

SYLLABUS

Course Type

Elective

Course Code

IS542 웹 서비스 보안

Course Name

Korean

IS543

Course Name

English

Web Service Security and Privacy

Instructors

Sooel Son

Lecture:Exp.:Credit(Homework)

3:0:3

Mutually Recognized Course(BS/MS) : ( X )

 Term :  Spring

Descriptions

 of Courses

The course provides in-depth studies of numerous attacks and defenses in Web & Mobile services. The course covers comprehensive security vulnerabilities/ privacy risks in Web and Android mobile applications. We will also discuss how to detect and avoid such vulnerabilities and risks.

       

 

•Schedule

Period

Topics

Remarks

Week 1

Course introduction

 

Week 2

Server-side web attacks

 

Week 3

Cross-site scripting

 

Week 4

CSRF and Content security policy

 

Week 5

Clickjacking and Browser Extensions

 

Week 6

Phishing and Spams

 

Week 7

Password and 2-Factor authentication

 

Week 8

Mid-term exam

Reviews

Week 9

Password Manager

 

Week 10

Web side-channel attack

 

Week 11

Web tracking, Fingerprint

 

Week 12

TLS and HTTPS

 

Week 13

Semantic logic bugs

 

Week 14

Attacks on emerging Web technology

 

Week 15

Project Presentations

 

Week 16

Final Exam

Reviews

 

 

  • 과목코드IS593
  • 과목코드정보보호 기초특강 (데이터 센터 보안)
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 정보보호 기초특강 (데이터 센터 보안) 부제목
과목코드 IS593 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기
  • 과목코드IS893
  • 과목코드정보보호특강
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 정보보호특강 부제목
과목코드 IS893 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기
  • 과목코드CS548
  • 과목코드고급정보보호
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 고급정보보호 부제목
과목코드 CS548 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기
  • 과목코드EE515
  • 과목코드신기술의 보안(IS523 해킹의 이해 대체과목)
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 신기술의 보안(IS523 해킹의 이해 대체과목) 부제목
과목코드 EE515 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기
  • 과목코드IS572
  • 과목코드임베디드 시스템 보안
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 임베디드 시스템 보안 부제목
과목코드 IS572 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기

SYLLABUS

Course Type

Selective

Course Code

IS572

Course Name

Korean

임베디드 시스템 보안

Course Name

English

Embedded Systems Security

Name

학과교수

Lecture:Exp.:Credit(Homework)

3:0:3

Mutually Recognized Course (Undergraduate/Graduate): (O )

Term

spring

Descriptions

 of Courses

Embedded systems are just everywhere around us. All we have smart phones, and we are surrounded by IoT devices, network appliances, military systems, vehicular devices, and/or industrial control devices. Recently, media covers the security problems in deploying such embedded systems almost everyday. This course aims to raise the ability of security analysis in view of offensive manner so that students also can design any defense measures around this area.

         

 

•Schedule

Period

Topics

Remarks

Week 1

Introduction

 

Week 2

Background Knowledge

 

Week 3

Static F/W Code Analysis

 

Week 4

MIPS/PPC Architecture

 

Week 5

Home Router Architecture

Toolchain Setup and Debugging

 

Week 6

Control Flow Jujitsu

 

Week 7

Native Shellcode in MIPS/PPC Architecture

 

Week 8

Midterm Exam/Project Planning

 

Week 9

Buffer Overflow in MIPS/PPC Architecture

 

Week 10

Return Oriented Programming

 

Week 11

Home Router Exploitation Session

 

Week 12

Network Appliances

High-end Router Architecture

 

Week13

High-end Router Exploitation Session

 

Week 14

Attack Amplification in Networked Embedded Systems

 

Week 15

Defense Measures

 

Week 16

Project Presentation

 

 

     

 

  • 과목코드IS581
  • 과목코드암호안전성 증명 및 공격
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 암호안전성 증명 및 공격 부제목
과목코드 IS581 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기

 

Syllabus

 

 

 

 

정보보호 기초특강

 

- 암호 안전성 증명 및  공격

 

(Introductory   Special   Topics   in  Security   and   Privacy –

Proof and Attacks in  Cryptography)

 

Security

 

 

This course deals with provable security and generic attacks in cryptography. We will prove security for various cryptographic constructions. The topics include block cipher structures such as Feistel networks and key alternating ciphers, message authentication codes, block cipher-based hash functions, key length extension schemes  such as triple encryption.

 

Week

Contents

Week

Contents

 

1

 

Introdu ction/Security Not ions

 

9

Modes  of Operation/MAC/

Authenticated  Encryption

 

2

Feistel networks:

Attacks  and  Provable Security

 

10

 

Tweakable Block Ciphers

 

3

Feistel networks:

Attacks  and  Provable Security

 

11

Hash Functions/

PGV construction

 

4

Key  Alternating Ciphers:

Attacks  and  Provable Security

 

12

 

Multi-user Security/PRP  to PRF

 

5

 

Key Length  Extension

 

13

 

Indifferentiability/Coupling

 

6(-2)

 

-

 

14(-1)

 

Presentation

 

7(-1)

 

SP Networks

 

15

 

Presentation

 

8

 

Midterm  Exam  (no class)

 

16

 

Final Exam  (no class)

 

  • 과목코드IS522
  • 과목코드시스템보안개론
  • 강:실:학2:3:3
  • 개설학기봄 or 가을학기
과목명 시스템보안개론 부제목
과목코드 IS522 과목분류 전공선택
선행이수과목 강:실:학 2:3:3
과정 대학원 세미나 봄 or 가을학기
  • 과목코드IS523
  • 과목코드해킹의 이해
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 해킹의 이해 부제목
과목코드 IS523 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기

SYLLABUS

Course Type

Selective

Course Code

IS523

Course Name

Korean

해킹의 이해

Course Name

English

Hacking Exposed

Name

김용대

Lecture:Exp.:Credit(Homework)

3:0:3

Prerequisites

 

Mutually Recognized Course (Undergraduate/Graduate): (O )

Term

Fall

Descriptions

 of Courses

Every scientific research starts from finding new problems. Likewise, the most important step in security research is to discover new attacks. Today, media is filled with attacks on various systems: Web servers, DNS, Internet banking, e-voting systems, cellular networks, social networks, mobile phones, nuclear power plants, and implantable medical devices. These attacks are originated from various vulnerabilities, such as user interface design, ignorance or security by obscurity, deployment mistakes, and physical exposure. The main objective of this course is to learn how to think like an adversary. In other words, we will look at various ingenuous attacks and discuss why and how such attacks were possible. This is first crucial step to design and deploy systems robust against various attacks.

 

•Schedule

Period

Topics

Remarks

Week 1

Introduction

 

Week 2

Attack Model, Security Economics, Legal Issues, Ethics

 

Week 3

User Interface and Psychological Failures

 

Week 4

Software Engineering Failures and Malpractices

 

Week 5

Data mining/Machine Learning Failures

 

Week 6

Peer-to-Peer System Security

 

Week 7

Social Network Security and Privacy

 

Week 8

Botnet

 

Week 9

Cloud Computing Security

 

Week 10

Internet Control Plane Security

 

Week 11

Cellular Network Security

 

Week 12

Mobile Phone Security

 

Week13

Security of Automobiles

 

Week 14

Smart Grid/Meter Security

 

Week 15

Medical Device Security

 

Week 16

Group Project Presentation

 

 

         * Laboratory topics should be given in Remark for courses with lab hours.

  • 과목코드IS531
  • 과목코드컴퓨터 구조와 보안
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 컴퓨터 구조와 보안 부제목
과목코드 IS531 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기

컴퓨터 보안에 필수적인 컴퓨터 시스템의 구조를 이해하도록 하는데 목적이 있으며
기본적인 컴퓨터 구조와 시스템 보안에 관련된 토픽을 다룬다. 첫 번째로 컴퓨터 구조의
기본이 되는 프로세서 구조, 캐쉬 및 메모리 시스템, 가상 메모리 및 시스템 가상화 지원,
I/O 시스템을 이해하도록 한다. 두 번째로 하드웨어 기반의 보안 기술에 대해 다루도록 한다.

1week

Introduction and Technology

2week

Instruction Set Architecture

3week

Pipelining

4week

Cache and Memory Organization

5week

Instruction-level Parallelism (ILP)

6week

ILP II

7week

Multiprocessors

8week

Midterm and Cache Coherence

9week

Midterm and Cache Coherence

10week

Many Core Architecture

11week

HW Support for Virtualization

12week

HW Support for Computer Security

13week

Memory Protection

14week

HW-rooted Security Architecture

15week

Trusted Computing

16week

Final Exam

  • 과목코드IS532
  • 과목코드정보보호 정책 및 경영
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 정보보호 정책 및 경영 부제목
과목코드 IS532 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기
  • 과목코드IS534
  • 과목코드컴퓨터 보안을 위한 머신러닝
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 컴퓨터 보안을 위한 머신러닝 부제목
과목코드 IS534 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기

 

기계 학습의 기본 이론과 이와 관련된 여러 기술들과 알고리즘들을 소개한다. Percepton 이론에서 부터 최근의 Boosting, SVM 그리고 Bayesian networks 이론에 대해서 설명한다. 또한, 대부분의 알고리즘에서 사용되는 통계적 추론을 기본으로 수업이 진행된다

1week

Registration, Introduction ML, Bayesian approach I

2week

Registration, Introduction ML, Bayesian approach I

3week

Non-parametric Methods EM

4week

Graphical Model I

5week

Graphical Model lI / Graphical Model IlI

6week

Graphical Model lV / Security&Graphical model

7week

Regression Linear Classifiers

8week

No Class(Midterm exam week)

9week

Registration, Introduction ML, Bayesian approach I

10week

Kernel Classifiers I / Kernel Classifiers II

11week

Model selection I / Model selection II

12week

Generalization bounds, VC dimensions

13week

Nearest Neighbor Boosting l

14week

Boosting ll Feature Selection

15week

Network Security Issues Non-parametric Bayesian approach

16week

Final Exam

 

  • 과목코드IS539
  • 과목코드네트워크 보안
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 네트워크 보안 부제목
과목코드 IS539 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기

 

< 강의계획서 >

 

□ 교과목 개요

◦ 국문(3줄 정도로 요약하여 주십시오)

이 과목에서는 네트워크 보안과 관련된 기본적인 이론 및 기술에 대해서 강의 합니다. OSI 7 layer를 기준으로 각 layer에서 발생할 수 있는 기본적인 보안 이슈와 이를 해결하는 방법에 대해서 강의 합니다.

 

◦ 영문(3줄 정도로 요약하여 주십시오)

In this coursework, students will learn about basic network security theories and issues. Based on OSI-7 layer, we will investigate network security issues and solutions in each layer. In addition, students will learn some basic network attacks, such as worm and DDoS.

 

□ Syllabus(Please write in English)

Period

Contents

Period

Contents

1week

network security overview

9week

wireless security part 2

2week

encryption and message confidentiality

10week

e-mail security

3week

message authentication

11week

routing security

4week

key distribution and authentication

12week

IP security

5week

transport level security part 1

13week

network scan and worm

6week

transport level security part 2

14week

denial of service attack

7week

wireless security part 1

15week

firewall and network intrusion detection system

8week

midterm exam

16week

Final exam

 

 

  • 과목코드IS541
  • 과목코드무선이동인터넷과 보안
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 무선이동인터넷과 보안 부제목
과목코드 IS541 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기

SYLLABUS

ㅇ Course Name : Wireless Mobile Internet and Security

ㅇ Course Type : Lecture

ㅇ Course Number : CS546 and IS541

ㅇ Lecture:Recitation/Practice:Grade : 3:0:3

ㅇ Instructor : Myungchul Kim (mck@kaist.ac.kr)

ㅇ TA :

ㅇ Undergraduate․Master Program Reciprocity : ( No )

ㅇ Semester : Spring 2018

ㅇ Course Overview : This course is intended for graduate students who want to understand Wireless Mobile Internet and related security issues. It provides a comprehensive technical guide covering introductory concepts, fundamental techniques, recent advances and open issues in wireless networks with their security matters. The course consists of lectures, exams and term project.

ㅇ No text book; papers will be handed out if required

ㅇ Evaluation criteria: Midterm exam 20%, Final exam 20%, Project 40%, Participation 20% (The instructor may change the grading policy if needed)

ㅇ Academic Dishonesty: Plagiarism and cheating are serious offenses and may be punished by failure on exam or assignments; failure in course; and or expulsion from the University.

ㅇ Weekly Plan

Period

Contents

Period

Contents

1week

Introduction - Smartphone Trend

9week

Tool for Multimedia over Networks

2week

IoT

10week

Secure Multimedia Communications

3week

WiFi

11week

Security in WiFi (Jamming)

4week

Power control

12week

Location Based Services

5week

Mobility Management

13week

Network Privacy

6week

Mobile Edge Computing

14week

Standardization

7week

Project Proposal

15week

Project Presentation

8week

Midterm exam

16week

Final exam

* This schedule is subject to change.

  • 과목코드IS551
  • 과목코드사용자중심 보안
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 사용자중심 보안 부제목
과목코드 IS551 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기
  • 과목코드IS561
  • 과목코드바이너리코드 분석과 소프트웨어 보안
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 바이너리코드 분석과 소프트웨어 보안 부제목
과목코드 IS561 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기

 

IS561:  Binary Code Analysis and Secure Software Systems

(Spring 2016)

 

 

 

 

Course Description This course provides an in-depth study of attacks and defenses in software. The major themes this course will teach include memory safety vulnerabilities, control-flow hijacking, malicious software, web attacks, program analysis techniques, and software model checking. We will offer significant hands-on experience on each topic: students will work on CTF (Capture The Flag) style hacking challenges during the semester.

 

Time    Tue./Thu. 13:00~14:30

 

Location   N1 #422

 

Office Hour   By appointment

 

Auxiliary Textbook    Hacking: The Art of Exploitation by Jon Erickson

 

Schedule (Tentative)

  1. Week 1: Introduction to Software Security & Assembly Overview
  2. Week 2: Memory Safety Vulnerabilities
  3. Week 3: Memory Exploitation and Shellcoding
  4. Week 4: Basic Defenses
  5. Week 5: Advanced Exploitation (ROP, Heap Spray, etc.)
  6. Week 6: Advanced Defenses (CFI, Sandboxing, Code Randomization, etc.)
  7. Week 7: Type Safety
  8. Week 8: Midterm Exam
  9. Week 9: Malware Analysis (Detection, Deobfuscation)
  10. Week 10: Fuzzing
  11. Week 11: Detection and Monitoring
  12. Week 12: Software Model Checking
  13. Week 13: Web Security
  14. Week 14: Advanced Web Attacks and Defenses
  15. Week 15: Side Channel Attacks
  16. Week 16: Final and Project Presentation

 

Grading   5% Quiz, 40% Homework, 20% Project, 15% Midterm, 20% Final

  • 과목코드IS571
  • 과목코드고급 사이버보안 실무
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 고급 사이버보안 실무 부제목
과목코드 IS571 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기

SYLLABUS

Classification

Elective

Course Code

IS571

Course Name

Korean

고급  사이버보안 실무

Course Name

English

Advanced Cyber Security Practice

Name

Jaeseo Lee

Lecture:Exp.:Credit(Homework)

3:0:3

Mutually Recognized Course(BS/MS) : ( O )

Term : Fall

 

Descriptions of Courses

The goal of the course is raising up the ability of security vulnerability analysis. We will practice debugging and exploitation of the vulnerability examples. Each student will analyze, exploit and present assigned vulnerabilities which are patched vulnerabilities of the web browsers.

 

Schedule

Period

Topics

Remarks

1 Week

Introduction

 

2 Week

Security Vulnerability

 

3 Week

Windows Heap Internals

 

4 Week

Reverse Engineering

 

5 Week

C++ Objects Debugging

 

6 Week

Script Objects Debugging

 

7 Week

Exploitation Techniques

 

8 Week

Midterm

 

9 Week

RW Primitives Techniques

 

10 Week

Information Leakage & Control-Flow Hijacking

 

11 Week

Return-Oriented Programming

 

12 Week

Shellcode Programming

 

13 Week

MacOS Architecture & Development Environments

 

14 Week

MacOS Security Mechanisms & Binary Analysis

 

15 Week

Project Presentation

 

16 Week

Final Exam

 

* More info : https://github.com/jaeseolee/IS571-ACSP-Fall-2018

  • 과목코드IS593
  • 과목코드정보보호 기초특강 (하드웨어 보안 기술)
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 정보보호 기초특강 (하드웨어 보안 기술) 부제목
과목코드 IS593 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기
  • 과목코드IS631
  • 과목코드커널 시스템 보안
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 커널 시스템 보안 부제목
과목코드 IS631 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기

SYLLABUS

◦ 국문

운영체제의 커널은 시스템의 기본적인 기능들을 제공하며 어플리케이션들이 동작할 수 있는 환경을 제공하는 시스템의 가장 핵심적인 소프트웨어이다. 본 과목에서는 시스템의 핵심인 운영체제 커널의 동작방식에 대한 개념과 원리를 보안과 관련된 부분에 중점을 두고 공부하여, 학생들은 오픈소스 운영체제인 리눅스의 동작 원리를 익히고, 운영체제 커널 레벨 프로그래밍을 통해 커널에 대한 이해도를 높여, 이러한 운영체제 커널을 공격하는 악성코드인 루트킷을 분석하고 이를 탐지 차단 하는 방법을 디자인 할 수 있는 능력을 배양한다.

 

◦ 영문

Operating system kernel is the most critical component in the system as it provides the basic functionalities and the secure environment in which applications run and operate. In this course, the fundamentals of OS kernel and system programming, principles and operation of the open-source Linux operating system are taught with an emphasis on security aspect, so that students can acquire a comprehensive understanding of operating system kernel, analysis methods and countermeasures against various rootkit malware that compromise and manipulate operating system.

 

 

Syllabus(Please write in English)

Period

Contents

Period

Contents

1week

Introduction to Linux OS kernel

9week

Process Address Space Issues

2week

Process Management

10week

Rootkit Malware

3week

System Calls

11week

LKM and System Programming

4week

OS Kernel Data Structures

12week

Multics OS

5week

Secure Memory Management

13week

Security Enhanced Linux

6week

Virtual File System

14week

System Call Hooking / IDT Hooking

7week

Linux Network Subsystem

15week

VFS Hooking / Network Hooking

8week

Midterm exam

16week

Final exam

 

  • 과목코드IS632
  • 과목코드가상화 시스템 보안
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 가상화 시스템 보안 부제목
과목코드 IS632 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기

- 강의계획서 -

교과목 개요

◦ 국문(3줄 정도로 요약하여 주십시오)

하이퍼바이저는 OS 가상화 기술의 핵심적인 요소로서 현재 대중화 되고 있는 클라우드 서비스 등의 중추가 된다. OS 가 프로세스의 동작환경을 가상화한다면 하이퍼바이저는 OS의 동작 환경을 가상화 한다. 이러한 하이퍼바이저의 OS 가상화 기술은 물리적 자원의 활용효율을 극대화 한다는 이점도 있지만 운영체제의 보안 감시 기능 구현에 있어 매우 유용한 환경을 제공하기도 한다. 본 과목에서는 오픈소스 하이퍼바이저인 Xen 을 기반으로 하이퍼바이저의 상세한 작동원리를 학습하고 하이퍼바이저 레벨에서 OS 의 커널레벨 악성코드를 탐지 및 차단할 수 있는 방법에 대하여 이론적으로 학습한 뒤 실습을 통해 구현할 수 있는 능력을 배양한다.

 

◦ 영문(3줄 정도로 요약하여 주십시오)

Hypervisor is a software platform that virtualizes computer hardware to support multiple instances of operating system running concurrently on a shared hardware system. Hypervisors are also widely used for cloud-based hosting service. This hypervisor platform can be utilized for higher degree of isolation for computer security monitoring and analysis. It provides an adequate environment for building kernel integrity monitors. This course will provide the fundamentals and inner-workings of hypervisors in the context of designing new security, monitoring, and analysis tools

 

Syllabus(Please write in English)

Textbook:

 

1. The Definitive Guide to the Xen Hyperviosr, David Chinsnall (Author),

Publisher: Prentice Hall; 1 edition, ISBN-13: 978-0132349710

2. A Guide to Kernel Exploitation: Attacking the Core (Paperback) by Enrico Perla et al.,

Publisher: Syngress; 1 edition, ISBN-10: 1597494860

 

Reference papers

(Bi-weekly from Week 2 - Week15):
 

  • 과목코드IS639
  • 과목코드고급 네트워크 보안 기술의 이해
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 고급 네트워크 보안 기술의 이해 부제목
과목코드 IS639 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기

 

□ 교과목 개요

◦ 국문(3줄 정도로 요약하여 주십시오)

이 과목에서는 네트워크 기술 및 보안과 관련된 고급 기술, 최신 동향, 이론 및 기술에 대해서 강의합니다. 교과서에서 미처 다루지 못하는 최신 네트워크 기술과 이에 대한 공격과 방어 기술을 다루며, 동시에 이런 방어 기술을 실제로 구현해 보도록 합니다. 또한, 수강 학생이 담당 교수의 지도하에 프로젝트를 수행하여 직접 최신 네트워크 보안 관련 연구를 수행해 보도록 합니다.

 

◦ 영문(3줄 정도로 요약하여 주십시오)

In this class, students will learn about recent and emerging networking technology and related security issues through research papers. In addition, students will learn how to realize the covered techniques by implementing real network security applications.

 

□ Syllabus(Please write in English)

Period

Contents

Period

Contents

1week

networking basics/history

9week

cloud network architecture

2week

data center network architecture

10week

cloud nework attack model

3week

data center network security issues

11week

cloud network defense model

4week

software defined networking overview

12week

future internet architecture

5week

software defined networking applications

13week

future internet security model

6week

software defined networking attack model

14week

mobile network architecture

7week

software defined networking security applications

15week

mobile network security model

8week

midterm

16week

Final project presentation

 

 

 

  • 과목코드IS681
  • 과목코드디지털 콘텐츠 보안
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 디지털 콘텐츠 보안 부제목
과목코드 IS681 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기
  • 과목코드IS711
  • 과목코드정보보호신기술 융합특론
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 정보보호신기술 융합특론 부제목
과목코드 IS711 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기
  • 과목코드IS593
  • 과목코드정보보호 기초특강(정보보호 기계학습 적용동향)
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 정보보호 기초특강(정보보호 기계학습 적용동향) 부제목
과목코드 IS593 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기
  • 과목코드IS593
  • 과목코드정보보호 기초특강(언어 기반 보안)
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 정보보호 기초특강(언어 기반 보안) 부제목
과목코드 IS593 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기
  • 과목코드IS537
  • 과목코드보안을 위한 전공이론
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 보안을 위한 전공이론 부제목
과목코드 IS537 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기
  • 과목코드IS661
  • 과목코드고급소프트웨어 보안
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 고급소프트웨어 보안 부제목
과목코드 IS661 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기
  • 과목코드CS500
  • 과목코드알고리즘 설계와 해석
  • 강:실:학3:0:3
  • 개설학기봄학기
과목명 알고리즘 설계와 해석 부제목
과목코드 CS500 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄학기
  • 과목코드CS520
  • 과목코드프로그래밍언어 이론
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 프로그래밍언어 이론 부제목
과목코드 CS520 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기
  • 과목코드CS530
  • 과목코드운영체제
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 운영체제 부제목
과목코드 CS530 과목분류 전공선택
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기

연구

  • 과목코드IS960
  • 과목코드논문연구 (석사)
  • 강:실:학0:0:0
  • 개설학기봄 & 가을학기
과목명 논문연구 (석사) 부제목
과목코드 IS960 과목분류 연구
선행이수과목 강:실:학 0:0:0
과정 대학원 세미나 봄 & 가을학기
  • 과목코드IS966
  • 과목코드세미나(석사)
  • 강:실:학1:0:1
  • 개설학기봄 & 가을학기
과목명 세미나(석사) 부제목
과목코드 IS966 과목분류 연구
선행이수과목 강:실:학 1:0:1
과정 대학원 세미나 봄 & 가을학기
  • 과목코드IS980
  • 과목코드논문연구 (박사)
  • 강:실:학0:0:0
  • 개설학기봄 & 가을학기
과목명 논문연구 (박사) 부제목
과목코드 IS980 과목분류 연구
선행이수과목 강:실:학 0:0:0
과정 대학원 세미나 봄 & 가을학기
  • 과목코드IS986
  • 과목코드세미나 (박사)
  • 강:실:학1:0:1
  • 개설학기봄 & 가을학기
과목명 세미나 (박사) 부제목
과목코드 IS986 과목분류 연구
선행이수과목 강:실:학 1:0:1
과정 대학원 세미나 봄 & 가을학기
  • 과목코드IS998
  • 과목코드인턴십 프로그램 및 연구(석사)
  • 강:실:학0:0:0
  • 개설학기여름과 겨울
과목명 인턴십 프로그램 및 연구(석사) 부제목
과목코드 IS998 과목분류 연구
선행이수과목 강:실:학 0:0:0
과정 대학원 세미나 여름과 겨울
  • 과목코드IS999
  • 과목코드인턴십 프로그램 및 연구 (박사)
  • 강:실:학0:0:0
  • 개설학기여름과 겨울
과목명 인턴십 프로그램 및 연구 (박사) 부제목
과목코드 IS999 과목분류 연구
선행이수과목 강:실:학 0:0:0
과정 대학원 세미나 여름과 겨울

공통필수

  • 과목코드CC010
  • 과목코드리더쉽강좌
  • 강:실:학1:0:0
  • 개설학기가을학기
과목명 리더쉽강좌 부제목
과목코드 CC010 과목분류 공통필수
선행이수과목 IS960, IS945 강:실:학 1:0:0
과정 대학원 세미나 가을학기
  • 과목코드CC020
  • 과목코드윤리 및 안전
  • 강:실:학1:1:3
  • 개설학기가을학기
과목명 윤리 및 안전 부제목
과목코드 CC020 과목분류 공통필수
선행이수과목 IS550, IS652 강:실:학 1:1:3
과정 대학원 세미나 가을학기

The official website for the Research Ethics course consists of sections titled Lectures, Video Clips, and Examination. 

The section "Lectures" is comprised of the following curricula, all of which require completion to be eligible for taking tests. 
To enter the Lectures section, please log on using your ID for the KAIST Portal. 

The section "Video Clips" provides supplementary materials added to the lectures.

  • Lectures
  • I Introduction to Responsible Conduct of Research
    Responsible Conduct of Research
    II Introduction to Research Misconduct
    Research Misconduct
    III Introduction to Data Acquisition and Management
    Data Acquisition and Management
    IV Introduction to Responsible Authorship
    Responsible Authorship: Requirement and Order
    V Introduction to Peer Review
    Peer Review
    VI Introduction to Mentoring
    Mentoring
    VII Introduction to Conflicts of Interest
    Conflicts of Interest and Commitment
    VIII Introduction to Collaborative Relationships
    Collaborative Relationships
  •  
  • Requirements: You must score 80 or higher points from 2011.
  • Disclaimer: The views expressed in this presentation do not represent the views of the KAIST. These are not necessarily its views.
  •  
  • For further inquiries regarding the substantive material of the course, please contact Professor Kim Mi-Kyung at the Graduate School of Innovation and Technology Management (Ext. 4237). 

    The English version of the course material attempted to translate the Korean version accurately. In cases of ambiguity, the original Korean material should be consulted and please feel free to contact the website manager at leekboy@kaist.ac.kr or 
    Dr. Mi-Kyung Kim at mikyung.kim@kaist.ac.kr.
  • 과목코드CC500
  • 과목코드Scientific Writing
  • 강:실:학3:0:3
  • 개설학기봄 or 가을학기
과목명 Scientific Writing 부제목
과목코드 CC500 과목분류 공통필수
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 or 가을학기

소개

  • 과목코드CC511
  • 과목코드확률 및 통계학
  • 강:실:학2:3:3
  • 개설학기봄 & 가을학기
과목명 확률 및 통계학 부제목
과목코드 CC511 과목분류 공통필수
선행이수과목 강:실:학 2:3:3
과정 대학원 세미나 봄 & 가을학기

CC511 Probability and Statistics 

 

Instructor: Prof. Sung-Ho Kim (김성호)

Office: E6-1-3411 Tel: 2737 E-mail: sung-ho.kim@kaist.edu

Lecture Hours: TT 10:30-11:45. Office Hours: TT 16:00-17:00

TAs: TBA

 

Text:

. Probability and Statistics for Engineers and Scientists, 4th ed. by A. J. Hayter

. Lecture notes are provided.

 

Course Web-page: http://klms.kaist.ac.kr/

 

Grading Policy:

. Quiz & Homework: 30%; Mid-term Exam: 30%; Final Exam: 40%

. If absent at the mid or the final exam without any justified notification, the grade will be F.

 

Practice problems and evaluation of Quiz:

․ The solution of practice problems will be up-loaded on the course web-page.

․ Top 4 scores out of 7 quizzes are used for the evaluation of the quiz tests.

 

Outline of Lecture Schedule:

Week

Contents

Quiz

Homework

1

Probability Theory (Chap. 1.1-1.6)

 

 

2

Random Variables (Chap. 2.1-2.6)

1

 

3

Discrete Probability Distribution (Chap. 3.1-3.5)

2

 

4

Continuous Probability Distribution (Chap. 4.1-4.5)

3

 

5

The Normal Distribution (Chap. 5.1-5.4)

4

 

6

Descriptive Statistics (Chap. 6.1-6.4)

 

1

7

Statistical Estimation and Sampling Distributions

(Chap. 7.1-7.4)

5

 

8

Mid-Term Exam

 

 

9

Inference on a Population Mean (Chap. 8.1-8.2)

6

 

10

Comparing Two Population Means (Chap. 9.1-9.3)

7

 

11

Discrete Data Analysis (Chap. 10.1-10.4)

 

2

12

The Analysis of Variance (Chap. 11.1)

 

3

13

Simple Linear Regression and Correlation

(Chap. 12.1-12.4)

 

4

14

Simple Linear Regression and Correlation

(Chap. 12.5-12.7)

 

5

15

Simple Linear Regression and Correlation

(Chap. 12.8-12.9)

 

 

16

Final Exam

 

 

  • 과목코드CC512
  • 과목코드신소재과학개론
  • 강:실:학3:0:3
  • 개설학기봄 & 가을학기
과목명 신소재과학개론 부제목
과목코드 CC512 과목분류 공통필수
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 & 가을학기

CC 512 Introduction to Materials Science and Engineering (Credit 3)

Textbook:

Shackelford, J.F., Introduction to Materials Science for Engineers, the 8th edition, Pearson Education, England, 2016.

 

Lecturer: J.K. Park, Professor Emeritus of Materials Science and Engineering.

 

Goals:

The objective of this course is to provide the graduate students (not majoring in MSE) with broad knowledge of the properties of various classes of engineering materials: including metals, ceramics and glasses, polymers, composites, electronic materials, and optical/magnetic materials and to further introduce the principles of the structure-property relationships and their applications to the selection of engineering materials.

 

Pre-requisites: not required.

 

Project of Case-Study:

Students will be asked to carry out the project of case study of the application (or selection) of engineering material which is of interest to each of students.

 

Topics:

 

 

  1. Materials for engineering
    • Materials science and engineering
    • Six materials that changed your world
    • Processing and selecting materials
    • Looking at materials by powers of ten
  2. Atomic bonding
    • Atomic structure
    • The ionic bond
    • The covalent bond
    • The metallic bond
    • The secondary, or van der Waals, bond
  3. Crystalline structure
    • Seven systems and fourteen lattices
    • Metal structures
    • Ceramic structures
    • Polymeric structures
    • Semiconductor structures
    • Lattice positions, directions, and planes
    • X-ray diffraction
  4. Crystal defects and non-crystalline structure
    • The solid solution
    • Points defects
    • Dislocations
    • Planar defects
    • Non-crystalline solids
  5. Diffusion
    • Thermally activated processes
    • Thermal production of point defects
    • Point defects and solid-state diffusion
    • Steady- state diffusion
    • Alternate diffusion paths
  6. Mechanical behavior
    • Stress versus strain
    • Elastic deformation
    • Plastic deformation
    • Hardness
    • Creep and stress relaxation
    • Viscoelastic deformation
  7. Thermal behavior
    • Heat capacity
    • Thermal expansion
    • Thermal conductivity
    • Thermal shock
  8. Failure analysis and prevention
    • Impact energy
    • Fracture toughness
    • Fatigue
    • Non-destructive testing
    • Failure analysis and prevention

 

  1. Phase diagrams – Microstructure development
    • The phase rule
    • The phase diagram
    • The lever rule
    • Microstructure development during slow cooling
  2. Kinetics – Heat treatment
    • Time – the 3rd dimension
    • The TTT diagram
    • Hardenability
    • Precipitation hardening
    • Annealing
    • The kinetics of phase transformation for non-metals
  3. Structural materials – Metals, Ceramics, Glasses
    • Metals
    • Ceramics and glasses
    • Processing the structural materials
  4. Structural materials – Polymers and Composites
    • Polymers
    • Composites
    • Processing the structural materials
  5. Electronic materials
    • Charge carriers and conduction
    • Energy levels and energy bands
    • Conductors
    • Insulators
    • Semiconductors
    • Composites
  6. Optical and magnetic materials
    • Optical materials
    • Magnetic materials
  7. Materials in engineering design
    • Materials properties – engineering design parameters
    • Selection of structural materials – Case studies
    • Selection of electronic, optical, and magnetic materials – Case studies
    • Materials and our environment
  • 과목코드CC513
  • 과목코드공업경제 및 원가분석학
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 공업경제 및 원가분석학 부제목
과목코드 CC513 과목분류 공통필수
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기

CC513/IE421 Engineering Economy

 

1. Title: CC513/IE421 Engineering Economy & Cost Analysis

2. Schedule:  Tuesday and Thursday 16:00 – 17:15

3. Instructor: Prof. Suh, Hyowon, E-mail: hw_suh@kaist.ac.kr – ex) 3123

  Office Hours: Tuesday and Thursday 14:00 – 16:00

4. Grading: Test (Mid & Final) :         70~80%,
Term Projects:             10~15%
HWs:Text Problem         10~15%
Class Participation:         5~10%

 

5. Home Page: http://klms.kaist.ac.kr
6. Text: Engineering Economy, by William G. Sullivan, Elin M, Wicks and James T. Luxhoj,
       Prentice Hall, Pearson Education, Inc.

7. Schedules (Subject to change)

Weeks

Contents

Others

1

Int. to Class & Engineering Economy

 

2

Ch1. Introduction to Engineering Economy

 

3

Ch2. Cost Concepts and Design Economics

 Project Presentation 1

4

Ch3. Cost Estimation Techniques

 

5

Ch4. Time Value of Money

 Excel Practice

6

Ch5. Evaluating Single Project

Problem Solving

7

Summary for MidTerm

 

8

Mid-Term Exam

 

9

Ch6. Comparing Alternatives

 

10

Ch7. Depreciation and Income Taxes

Project Presentation 2

11

Ch8. Price Changes and Exchange Rates

 

12

Ch9. Replacement Analysis

 

13

Ch10. Dealing with Uncertainty

Ch11. Evaluating Projects with the Benefit-Cost Ratio

 Invited Seminar (option)

14

Project Presentation

Project Presentation 3

15

Summary for Final

 

16

Final Exam

 

 

  • 과목코드CC522
  • 과목코드계측개론
  • 강:실:학2:3:3
  • 개설학기가을학기
과목명 계측개론 부제목
과목코드 CC522 과목분류 공통필수
선행이수과목 강:실:학 2:3:3
과정 대학원 세미나 가을학기

SYLLABUS

Course Type

General Required

Course Code

CC522

Course Name

Korean

계측 개론

Course Name

English

Introduction to Instruments

Name

해당교수

Lecture:Exp.:Credit(Homework)

2:3:3.0(0)

Mutually Recognized Course(BS/MS) : ( MS )

 Term :  Fall

Descriptions

 of Courses

Introduction to basic analog and digital electronic circuits & components. Test and measurement instruments

       

 

•Schedule

Period

Topics

Remarks

Week 1

Introduction

 

Week 2

Introduction

 

Week 3

1. DC Circuits

 

Week 4

2. RLC Circuits and Diode

 

Week 5

3. Transistors : BJTs, JFETs

 

Week 6

“Hangul Proclamation Day”

 

Week 7

4. OP Amps

 

Week 8

Mid-term exam

 

Week 9

5. MOSFETs and Switches

 

Week 10

6. Oscillators

 

Week 11

7. Combinational Logic Circuits

 

Week 12

8. Sequential Logic Circuits

 

Week13

9. IBM PC Digital Interface

 

Week 14

10. IBM PC Analog Interface

 

Week 15

11. DC Motor Control

 

Week 16

Final exam

 

 

 

         * Laboratory topics should be given in Remark for courses with lab hours.

  • 과목코드CC530
  • 과목코드기업가 정신과 경영전략
  • 강:실:학3:0:3
  • 개설학기가을학기
과목명 기업가 정신과 경영전략 부제목
과목코드 CC530 과목분류 공통필수
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 가을학기
  • 과목코드CC531
  • 과목코드특허분석과 발명출원
  • 강:실:학3:0:3
  • 개설학기봄 & 가을학기
과목명 특허분석과 발명출원 부제목
과목코드 CC531 과목분류 공통필수
선행이수과목 강:실:학 3:0:3
과정 대학원 세미나 봄 & 가을학기

특허분석과 발명출원

 

 

 

 

 

강의 정보

 

 

 

강의목표

지식기반 산업정보화 시대에 필요한 특허 및 실용신안제도, 주요국 지식재산권 , 영업방법특허제도, 특허명세서의 이해 및 작성, 특허청구범위 작성, 특허정보의 가치와 활용 등을 습득하게 하여 산업체의 기술개발 결과물을 특허권으로 보호할 수 있는 능력을 기른다.

강의교재

지식재산의 이해, 특허와 정보분석 (특허청 및 한국발명진흥회 발간)

참고문헌

특허청 홈페이지 및 사이버국제특허아카데미 IP교육콘텐츠

평가방법

중간시험

기말시험

출석 및 태도

기타(과제물 등)

합계

30

30

10

30

100

온라인강의

과정명

없음.

강의 내용

 

 

주차

일자

강의주제

과제물

1주

 

교과목 소개 및 프로젝트 진행방법 설명

 

2주

 

지식재산권 개요

 

3주

 

특허제도의 이해, 주요국 특허제도 비교, 직무발명과 연구성과

 

4주

 

특허명세서 작성의 이해

 

5주

 

특허청구항(Claim)작성 방법 및 해석

 

6주

 

특허명세서 작성 실습

 

7주

 

프로젝트Ⅰ(명세서작성) 중간리뷰

 

8주

 

중간고사기간

프로젝트Ⅰ 대체

9주

 

선행특허문헌 조사

- 특허분류체계 및 특허정보의 이해

- 키워드를 이용한 조사방법

 

10주

 

국가별 특허정보검색방법 및 실습 1

 

11주

 

국가별 특허정보검색방법 및 실습 2

 

12주

 

선행특허문헌 분석

- 분석의 목적 및 중요성, 분석 종류

- 분석기법, 분석 절차, 분석보고서 작성

 

13주

 

선행특허문헌 분석 실습

 

14주

 

프로젝트Ⅱ(특허분석) 중간리뷰

 

15주

 

연구개발과 특허관리 전략

- 연구성과물의 특허권으로 보호, 활용

 

16주

 

기말고사기간

프로젝트Ⅱ 대체

 

  • 과목코드CC532
  • 과목코드협력시스템 설계
  • 강:실:학4:0:4
  • 개설학기봄학기
과목명 협력시스템 설계 부제목
과목코드 CC532 과목분류 공통필수
선행이수과목 강:실:학 4:0:4
과정 대학원 세미나 봄학기