홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | TTAE.3G-33.902(R4-4.0.0) | 구표준번호 | |
|---|---|---|---|
| 제개정일 | 2002-10-28 | 총페이지 | 11 |
| 한글표준명 | IMT-2000 3GPP-3G 인증 프로토콜의 형식적 분석;4.0.0 | ||
| 영문표준명 | IMT-2000 3GPP-Formal Analysis of the 3G Authentication Protocol;4.0.0 | ||
| 한글내용요약 | 본 문서는 3G TS 33.102에 규정되어 있는 인증과 키 동의(AKA) 프로토콜의 형식적 분석을 포함하고 있다
인증과 키 동의(AKA) 프로토콜 분석 본 문서는 인증과 키 동의(AKA) 프로토콜의 형식적 분석을 포함하고 있으며, 이 분석들은 AKA 프로토콜의 보안과 정확성 특성들을 증명하는데 적합한 형식적이고 다양한 논리 수단을 이용하여 수행될 수 있다 |
||
| 영문내용요약 | This report contains formal analyses of the authentication and key agreement (AKA) protocol specified in 3G TS 33.102. These analyses are carried out using various means of formal logic suitable for demonstrating security and correctness properties of the AKA protocol.
The structure of this technical specification is as follows: clause 2 lists the references used in this specification; clause 3 lists the definitions and abbreviations used in this specification; clause 4 refers to the main body of this report. The main body is only referred to because it is not available in Word-, but only in pdf-format. The corresponding .pdf-documents are attached to this document. |
||
| 국제표준 | 3GPP TR 33.902 | ||
| 관련파일 |
 TTAE.3G-33.902(R4-4.0.0).pdf
| ||
