Computer Science/Security 검색 결과

7 개의 검색 결과가 있습니다.

Computer Science/Security

Software Security: Memory Safety, Type safety를 중심으로

Software have bugs 소프트웨어에는 늘 버그가 존재한다. 경험에서 알 수 있듯이, 내가 짠 코드가 한번에 의도대로 실행되는 경우는 드물다. Low-level Languages and Software Security C/C++같은 Low-level languages는 성능을 위해 type safety와 memory safety에 대한 위험 성을 안고 간다. 이러한 책임은 프로그래머들에게 있다. 많은 양의 레거시 소프트웨와 성능이 중요한 소프트웨어들은 C/C++로 쓰여져있다. 올바르게(manually) 찾아서 고치기엔 너무 많은 버그들이 존재한다. Memory Safety 메모리 안전성은 모든 메모리 접근이 프로그래밍 언어 소스에서 정의된 방식을 고수한다고 보장하는 성질 이다. 만약 프로그램에서..

2022. 4. 14. 00:52

Computer Science/Security

SSL/TLS: 프로세스를 중심으로

SSL/TLS Secure Sockets Layer (SSL) TLS의 전임자(Predecessor)라고 볼 수 있다. Transport Layer Security (TLS) Version 1.2 Version 1.3 (현재) TLS 1.2에 비해 향상된 성능 Obsolete and insecure features / algorithms를 제거하였다. DH에 존재했던 Key Recovery Attack을 고쳤다. Security of SSL/TLS Confidentiality: 세션 키를 사용한 암호화 Integrity: MAC(Message Authentication Code) Non-repudiation: Signatures Hybrid Cryptosystem이다. Key Encapsulation S..

2022. 4. 13. 20:23

Computer Science/Security

Public-Key Cryptosystem: 공개키 암호화 방식에 대해

Public-Key Cryptosystem(a.k.a Asymmetric Cryptosystem) Before the mid 1970s all cipher systems were symmetric key algorithms 여전히 현재도 대칭 키가 많이 쓰인다. 실제로 비대칭 키보다 대칭 키 알고리즘이 속도가 빠르다. Asymmetric key Breakthrough: The Key Exchange Problem 대칭 키 알고리즘의 키 배송 문제 사전에 안전한 방법으로 키를 거네주는 방식으로 기본적으로 모든 사용자 사이에 안전한 통로가 필요하다. 사용자가 많은 경우에는 그만큼 많은 키를 관리해야 하는 문제가 있다. 공격자가 도중에 가로챌 위험이 존재한다. Diffie-Hellman Key Exchange..

2022. 4. 13. 17:49

Computer Science/Security

Fundamental Concept of Cryptosystem: 개념과 역사를 중심으로

Cryptography의 핵심 목적은 채널들의 통신을 보안하는 것이다. (The main objective of cryptography is to secure communication over insecure communication channels) 그리고 여기서 Security Goals는 Confidentiality, Integrity, Authenticity이다. Confidentiality 설령 데이터 통신 중간에 공격자가 메시지를 가로챈다고 해도, 그 메시지를 해독할 수 없어야 한다. Integrity 데이터가 통신 과정에서 공격자에 의해 변경되지 않았음을 보장해야 한다. (데이터의 완전성과 일관성) Authenticity 데이터의 송신자를 증명할 수 있어야 한다. Fundamental Con..

2022. 4. 13. 15:55

Computer Science/Security

Access Control: 정책과 구현 방식

Access Control 시스템은 지금까지 배운 방법들을 기반으로 사용자를 인증(Authenticated)한다. 이제 모든 사용자의 리소스에 대한 접근은 시스템의 Access Control Mechanism(접근 제어 메커니즘)에 의해 중재된다. (Principle of Complete Mediation) Complete Mediation: Memory Access Control 대표적인 Complete Mediation 접근 제어 전략 중 하나는 커널의 메모리 엑세스 제어이다. 커널은 커널 스스로와 유저 프로세스를 위한 페이지 테이블들을 구성하고, 메모리 접근 권한을 제어한다. 예) 수정되서는 안되는 코드 혹은 read-only 데이터 Complete Mediation: System Calls 커널 ..

2022. 4. 13. 14:30

Computer Science/Security

Authentication Mehod: 해시 함수, 패스워드(salt), 생체 인증

Cryptographic Hash Functions: 암호화 해시 함수 (CHF) 해시 함수는 일반적으로 고정된 사이즈의 input block M을 입력으로 하는 데이터 압축 함수 f()를 기반으로 한다. Chain Block Cipher 위 그림 처럼 IV(Initial Vector) 혹은 이전 블록에 대한 해시 값과 이번 M input block을 기반으로 차례대로 해시 값을 생성한다. 1-bit의 차이도 "avalanche effect"를 만들고, 최종 output은 완전히 달라진다. 다운로드한 파일의 data integrity 증명을 위한 checksum으로 활용될 수 있다. Bruteforcing 가능한 모든 값을 될 때까지 대입하는 것 만약 가능한 모든 조합을 시도하며 password를 복구하..

2022. 4. 13. 12:31