누구인지가 아니라 무엇을 가졌는가로 권한을 결정한다: 역량 기반 보안(Capability-Based Security) 아키텍처
카테고리
74 페이지
컴퓨터 과학
4색 정리와 컴퓨터 수학의 혁명: 100년의 난제와 기계에 의한 증명의 철학
P대 NP 문제의 완전 해부: 계산 복잡도 이론의 금자탑과 미해결의 심연
타입 이론과 커리-하워드 동형대응: 명제=타입, 증명=프로그램의 심오한 조화
양자 컴퓨터의 기초: 양자 중첩과 쇼어 알고리즘
공개키 암호의 수학: RSA에서 타원곡선암호(ECC)로
블록체인과 합의 알고리즘
MapReduce의 철학: Google이 세상을 바꾼 분산 처리
가비지 컬렉션(GC)의 진화사
컨텍스트 스위치의 대가와 비동기 처리(async/await)
컴파일러 최적화 기술: SSA(정적 단일 할당)란?
해시 함수의 충돌 내성과 SHA-3 (Keccak)
B트리와 B+트리: 데이터베이스 인덱스가 왜 그렇게 빠른가
CAP 정리와 PACELC 정리: 분산 데이터베이스가 안고 있는 딜레마
동적 계획법(DP)과 벨만 방정식
정규 표현식 엔진과 유한 오토마타
확률적 자료 구조: 블룸 필터와 하이퍼로그로그
암호의 역사: 에니그마의 공방에서 공개키 암호(RSA)의 탄생까지
그래프 이론의 시작: 쾨니히스베르크의 다리를 건너는 한붓그리기 수학
소수 정리: 무작위처럼 보이는 소수의 분포에 숨겨진 아름다운 법칙
