책소개
세상에서 가장 실용적인 암호학 가이드북 암호학은 IT 보안의 필수 기반이다. 시스템 공격자보다 앞서려면 네트워크와 애플리케이션을 보호할 도구, 프레임워크, 프로토콜을 이해해야 한다. 이 책은 개발자, 시스템 관리자, 보안 실무자를 위한 실용적인 기술을 가르친다. 복잡한 수학이나 전문용어 대신 다양한 그림과 실제 사례를 통해 현대 암호학 기법을 설명한다. 해시 함수, 서명, HTTPS, 보안 메시징, 양자 내성 암호학, 암호화폐 등 기본 요소부터 최첨단 기술까지 배울 수 있다. TLS를 포함한 인터넷 표준에 적극적으로 기여하고 있는 암호학 엔지니어가 필드에 처음 입문하는 실무자도 읽을 수 있게 집필했다.
저자소개
O(1) Labs의 수석 암호학 엔지니어로서 미나(Mina) 암호화폐를 연구하고 있다. 그 전에는 메타의 자회사 노비에서 디엠(전 리브라) 암호화폐의 보안 리더였고, 그 전에는 NCC 그룹의 암호학 서비스의 보안 컨설턴트였다.
OpenSSL과 Let’s Encrypt 등 여러 공적 자금 지원 오픈소스 감사에 참여했다. 블랙햇과 DEFCON 등 다양한 콘퍼런스에서 강연했으며, 블랙햇에서 암호학 과정을 정기적으로 맡았다. TLS 1.3과 노이즈 프로토콜 프레임워크 등의 표준에 기여했다. 고 언어 표준 라이브러리(CVE-2016-3959)라든가 여러 TLS 라이브러리(CVS-2018-12404 등)에서 보안 취약점을 찾아내기도 했다.
디스코 프로토콜(www.discocrypto.com), 스마트 계약용 댑 보안 프로젝트(www.dasp.co) 등의 창시자이며, RSA 캐시 공격, QUIC 기반 프로토콜, ECDSA 타이밍 공격, 디피-헬먼 백도어 등의 연구를 발표했다. 블로그(www.cryptologie.net)에 암호학 관련 글을 꾸준히 올리고 있다.
목차
옮긴이 머리말 xii추천의 글 xiii베타리더 후기 xv시작하며 xvii감사의 글 xxii이 책에 대하여 xxiii표지에 대하여 xxviiPART I 프리미티브: 암호학의 재료CHAPTER 1 시작하며 31.1 암호학은 프로토콜을 보호한다 41.2 대칭 암호학: 대칭 암호화란? 51.3 케르크호프스의 원칙: 키만은 비밀로 지키자 71.4 비대칭 암호학: 키 두 개가 하나보단 낫지 10__1.4.1 비밀을 공유하는 방법, 키 교환 10__1.4.2 비대칭 암호화, 대칭 암호화와는 다르다! 13__1.4.3 디지털 서명: 펜과 종이의 서명과 그리 다르지 않다 151.5 암호학의 분류 171.6 이론 암호학 vs 실세계 암호학 191.7 이론에서 현실로: 암호학의 현실화를 위한 시뮬레이션 201.8 경고장 25요약 26CHAPTER 2 해시 함수 272.1 해시 함수란? 272.2 해시 함수의 보안 속성 302.3 해시 함수의 보안 제약 322.4 해시 함수의 실사용 34__2.4.1 커밋 34__2.4.2 서브리소스 무결성 35__2.4.3 비트토렌트 35__2.4.4 토르 352.5 표준화된 해시 함수 36__2.5.1 SHA-2 해시 함수 37__2.5.2 SHA-3 해시 함수 41__2.5.3 두 가지 XOF, SHAKE와 cSHAKE 44__2.5.4 튜플해시, 모호성을 해결하다 462.6 비밀번호 해시 48요약 50CHAPTER 3 메시지 인증 코드 513.1 MAC의 대표적 예, 무상태성 쿠키 513.2 코드 예제 543.3 MAC의 보안 속성 56__3.3.1 인증 태그의 위조 56__3.3.2 인증 태그의 길이 57__3.3.3 리플레이 공격 58__3.3.4 주기적 인증 태그 검증 593.4 실세계의 MAC 61__3.4.1 메시지 인증 61__3.4.2 키 파생 61__3.4.3 쿠키의 정합성 61__3.4.4 해시 테이블 623.5 실무에서의 MAC 62__3.5.1 해시 기반 MAC, HMAC 62__3.5.2 cSHAKE 기반 MAC, KMAC 633.6 SHA-2와 가변 길이 공격 64요약 67CHAPTER 4 인증 암호화 694.1 암호문이란? 704.2 AES 블록 암호화 71__4.2.1 AES가 제공하는 보안의 수준 72__4.2.2 AES의 인터페이스 73__4.2.3 AES의 내부 744.3 암호화된 펭귄, 그리고 CBC 모드 754.4 인증이 필요하면? AES-CBC-HMAC 784.5 올인원 구조: 인증 암호화 80__4.5.1 AEAD 80__4.5.2 AES-GCM AEAD 82__4.5.3 ChaCha20-Poly1305 864.6 그 밖의 대칭 암호화 90__4.6.1 키 래핑 91__4.6.2 논스 오용 방지 인증 암호화 91__4.6.3 디스크 암호화 91__4.6.4 데이터베이스 암호화 92요약 92CHAPTER 5 키 교환 955.1 키 교환이란? 965.2 DH 키 교환 99__5.2.1 군론 99__5.2.2 디피-헬먼의 기반, 이산 로그 문제 103__5.2.3 디피-헬먼 표준 1055.3 ECDH 키 교환 106__5.3.1 타원 곡선이란? 107__5.3.2 ECDH 키 교환의 작동 원리 110__5.3.3 타원 곡선 디피-헬먼의 표준 1125.4 작은 부분군 공격과 그 밖의 보안 고려 사항 114요약 117CHAPTER 6 비대칭 암호화와 하이브리드 암호화 1196.1 비대칭 암호화란? 1206.2 실전 비대칭 암호화와 하이브리드 암호화 122__6.2.1 키 교환 및 키 캡슐화 122__6.2.2 하이브리드 암호화 1236.3 RSA 비대칭 암호화: 최악과 차악 127__6.3.1 교과서 RSA 127__6.3.2 RSA PKCS#1 v1.5를 쓰지 않는 이유 131__6.3.3 RSA-OAEP 비대칭 암호화 1336.4 ECIES 하이브리드 암호화 136요약 138CHAPTER 7 서명과 영지식 증명 1397.1 서명이란? 140__7.1.1 실전에서 서명하고 서명을 검증하는 방법 141__7.1.2 서명의 주된 사용: 인증된 키 교환 142__7.1.3 실세계의 사용 사례: 공개 키 인프라 1437.2 ZKP: 서명의 근원 144__7.2.1 슈노어 식별 프로토콜: 대화형 ZKP 145__7.2.2 비대화형 ZKP로서의 서명 1487.3 권장하는 서명 알고리즘 149__7.3.1 불안한 표준, RSA PKCS#1 v1.5 150__7.3.2 개선된 표준, RSA-PSS 153__7.3.3 ECDSA 154__7.3.4 EdDSA 1577.4 서명 체계의 미묘한 속성 160__7.4.1 대체 공격 160__7.4.2 서명의 가단성 162요약 162CHAPTER 8 무작위성과 비밀 1658.1 무작위성이란? 1668.2 느린 무작위성? PRNG를 쓰세요 1678.3 실전에서 무작위성 확보하기 1718.4 난수 생성과 보안 고려 사항 1738.5 공개적 무작위성 1758.6 키 파생과 HKDF 1778.7 키 관리와 비밀 관리 1818.8 임곗값 암호학을 통한 신뢰의 탈중앙화 183요약 186PART II 프로토콜: 암호학의 레시피CHAPTER 9 보안 전송 1899.1 보안 전송 프로토콜, SSL과 TLS 190__9.1.1 SSL에서 TLS로 190__9.1.2 실전에서 TLS 활용하기 1919.2 TLS 프로토콜의 작동 원리 193__9.2.1 TLS 핸드셰이크 194__9.2.2 TLS 1.3이 애플리케이션 데이터를 암호화하는 방법 2079.3 암호화된 웹의 현재 2089.4 기타 전송 프로토콜 2119.5 TLS에 대한 현대적인 대안, 노이즈 프로토콜 프레임워크 211__9.5.1 노이즈의 다양한 핸드셰이크 212__9.5.2 노이즈의 핸드셰이크 213요약 214CHAPTER 10 종단 간 암호화 21510.1 종단 간 암호화가 왜 필요한가? 21610.2 어디에서도 찾을 수 없는 신뢰의 근원 21710.3 이메일 암호화의 실패 219__10.3.1. PGP? GPG? 어떻게 작동할까? 219__10.3.2 사용자 간의 신뢰를 확장시키는 신뢰의 웹 222__10.3.3 진짜 이슈는 키 발견 223__10.3.4 PGP가 아니라면, 대안은? 22410.4 보안 메시징: 시그널을 활용한 현대적 종단 간 암호화 226__10.4.1 신뢰하되, 검증하라. WOT보다 사용자 친화적으로 227__10.4.2 시그널 프로토콜의 핸드셰이크, X3DH 230__10.4.3 시그널의 핸드셰이크 후 프로토콜, 더블 래칫 23310.5 종단 간 암호화의 현재 238요약 240CHAPTER 11 사용자 인증 24311.1 인증 복습하기 24311.2 사용자 인증, 비밀번호를 없애기 위한 여정 245__11.2.1 비밀번호의 지배자, SSO와 비밀번호 관리자 248__11.2.2 비밀번호 노출을 막고 싶다고요? 비대칭 비밀번호 인증 키 교환을 쓰세요 249__11.2.3 O TP는 실제 비밀번호가 아니다. 대칭 키를 사용하여 비밀번호 없이 전환하기 253__11.2.4 비대칭 키로 비밀번호 대체하기 25711.3 사용자 지원 인증: 사람의 도움으로 장치 페어링하기 260__11.3.1 미리 공유된 키 261__11.3.2 CPace를 사용한 대칭 비밀번호 인증 키 교환 263__11.3.3 내 키 교환이 MITM 공격을 당했나? SAS를 확인하자 264요약 267CHAPTER 12 ‘암호화폐’의 ‘암호’? 26912.1 BFT 합의 알고리즘에 대한 간단한 소개 270__12.1.1 회복력의 문제: 구조를 위한 분산 프로토콜 270__12.1.2 신뢰의 문제를 해결하는 탈중앙화 272__12.1.3 규모의 문제: 무허가 및 검열 방지 네트워크 27312.2 비트코인의 작동 방식 275__12.2.1 비트코인이 사용자 잔고와 트랜잭션을 관리하는 방법 276__12.2.2 디지털 금광 시대, BTC를 채굴한다는 것 278__12.2.3 포크 지옥! 채굴 분쟁 해결 281__12.2.4 머클 트리를 사용하여 블록 크기 줄이기 28412.3 암호화폐 둘러보기 286__12.3.1 변동성 286__12.3.2 지연 시간 286__12.3.3 블록체인의 크기 287__12.3.4 기밀성 287__12.3.5 에너지 효율 28812.4 디엠BFT: BFT 합의 프로토콜 288__12.4.1 BFT 합의 프로토콜의 두 속성, 안전성과 활성 288__12.4.2 디엠BFT 프로토콜의 라운드 289__12.4.3 프로토콜은 부정직함을 어느 정도까지 허용할 수 있는가? 290__12.4.4 디엠BFT 투표 규칙 291__12.4.5 트랜잭션은 언제 확정되는가? 292__12.4.6 디엠BFM의 안전성에 숨은 직관 293요약 295CHAPTER 13 하드웨어 암호학 29713.1 현대 암호학의 공격자 모델 29713.2 비신뢰 환경의 구원자, 하드웨어 299__13.2.1 화이트박스 암호학 300__13.2.2 스마트 카드와 보안 요소 300__13.2.3 은행이 사랑한 HSM 303__13.2.4. 보안 요소의 훌륭한 표준화, TPM 305__13.2.5 TEE를 이용한 보안 컴퓨팅 30813.3 어떤 솔루션을 고를까? 30913.4 누출 저항 암호학, 그리고 사이드채널 공격 방어법 311__13.4.1 상수 시간 프로그래밍 313__13.4.2 마스킹과 블라인드 315__13.4.3 결함 공격 대처법 316요약 316CHAPTER 14 양자 컴퓨터 시대의 암호학 31914.1 양자 컴퓨터가 뭐길래? 320__14.1.1 작은 것에 대한 탐구, 양자역학 320__14.1.2 양자 컴퓨터의 탄생으로부터 양자 우위까지 323__14.1.3 그로버와 쇼어의 알고리즘 324__14.1.4 양자 컴퓨터에 맞서는 양자 후 암호학 32614.2 해시 함수만 있으면 된다! 해시 기반 서명 326__14.2.1 램포트 서명을 통한 OTS 327__14.2.2 WOTS와 작은 키 329__14.2.3 XMSS와 SPHINCS+를 통한 다회 서명 33014.3 격자 기반 암호학을 사용한 더 짧은 키 및 서명 333__14.3.1 격자란? 333__14.3.2 오류를 통한 학습 335__14.3.3 격자 기반 키 교환, 카이버 337__14.3.4 격자 기반 서명 체계, 다이리튬 33914.4 양자 컴퓨터는 공포인가? 340요약 342CHAPTER 15 차세대 암호학 34515.1 함께할수록 좋은 MPC 346__15.1.1 PSI 347__15.1.2 범용 MPC 348__15.1.3 MPC의 현재 35015.2 FHE, 그리고 암호화 클라우드의 미래 350__15.2.1 RSA 암호화와 동형 암호화의 예 351__15.2.2 다양한 동형 암호화 351__15.2.3 FHE의 열쇠, 부트스트래핑 352__15.2.4 오류를 통한 학습 기반 FHE 체계 354__15.2.5 어디에 사용할까? 35615.3 범용 ZKP 357__15.3.1 zk-SNARK의 작동 원리 359__15.3.2 증거의 일부를 숨기는 동형 커밋 360__15.3.3 동형 커밋을 개선하는 쌍선형 페어링 361__15.3.4 간결성은 어디에? 361__15.3.5 프로그램을 다항식으로 362__15.3.6 프로그램은 컴퓨터를 위한 것. 우리에게 필요한 것은 산술 회로 363__15.3.7 R1CS 산술 회로 364__15.3.8 R1CS에서 다항식까지 364__15.3.9 지수에 숨은 다항식을 계산하기 365요약 367CHAPTER 16 암호학의 끝 36916.1 알맞은 암호학 프리미티브 또는 프로토콜을 찾는 지루한 작업 37016.2 암호학 프리미티브 및 프로토콜을 사용하는 법? 표준과 형식 검증 37116.3 좋은 라이브러리는 어디에? 37416.4 개발자가 적? 암호학의 오용 37616.5 사용이 편한 보안 37716.6 암호학은 섬이 아니다 37816.7 암호학 실무자의 책임: 자신의 암호학을 시험하지 말자 379요약 381연습 문제 정답 383찾아보기 388
![Node.js 백엔드 개발자 되기 : TypeScript + Node.js + Express + NestJS로 배우는 자바스크립트 백엔드 입문자를 위한 풀 패키지 [ 필수 리눅스 명령어 수록 ]](https://image.yes24.com/goods/118568199/L)
