전자결재시스템 SEEDS의 설계와 검증 = Design and verification of the digital signature system SEEDS

목차 (Table of Contents)

• 목차 = i
• 그림목차 = iii
• 표목차 = v
• 요약 = vi
• 제1장 서론 = 1
• 제2장 암호와 기술 동향 = 5
• 제1절 암호화 알고리즘 = 5
• 제2절 전자결재 = 7
• 제3절 키 관리 = 9
• 제4절 키 교환 및 인증 프로토콜 = 10
• 제5절 암호화시스템 구현 사례 = 12
• 제3장 SEEDS의 설계 = 15
• 제1절 SEEDS의 시스템 구조 = 15
• 제2절 SEEDS의 전자결재 프로토콜 = 17
• 1 전자결재시스템 요구사항 = 17
• 2 표기법 = 19
• 3 공중키 암호화 알고리즘을 이용한 전자결재 = 20
• 4 SEEDS의 결재 프로토콜 = 22
• 제3절 SEEDS 암호화 알고리즘 = 24
• 1 IDEA = 24
• 2 RSA = 25
• 3 SHA = 26
• 제4절 키 교환 프로토콜 = 28
• 제5절 SEEDS의 키 교환 및 메시지 전송 프로토콜 = 34
• 제6절 SEEDS의 키 관리 = 39
• 제4장 SEEDS의 검증 = 42
• 제1절 암호화 프로토콜 검증 방법 = 42
• 제2절 논리를 이용한 인증 프로토콜 분석 = 44
• 제3절 BAN논리 = 46
• 1 기본적인BAN논리 = 46
• 2 BAN논리의 추론 규칙 = 47
• 제4절 SEEDS프로토콜 분석 = 50
• 제5장 BAN논리의 확장 = 57
• 제1절 배경 = 57
• 제2절 기본 논리 = 59
• 제3절 새로운 논리의 추론 규칙 = 60
• 제4절 메시지의 의미 확장 = 66
• 제5절 프로토콜의 분석 = 67
• 제6절 Kerberos프로토콜 = 69
• 제7절 Woo와 Lam프로토콜 = 75
• 제8절 Yahalom프로토콜 = 78
• 제9절 SEEDS프로토콜 = 82
• 제6장 결론 = 85
• 참고문헌 = 87
• abstract = 93
• 감사의 글 = 95