홈 > 표준화 개요 > TTA의 표준현황
| 표준번호 | TTAE.3G-33.902 | 구표준번호 | |
|---|---|---|---|
| 제개정일 | 2000-07-13 | 총페이지 | 48 |
| 한글표준명 | IMT2000 3GPP - 수정된 순서번호관리와 병행하는 2세대 인증프로토콜의 공식 분석 | ||
| 영문표준명 | Security – Formal Analysis of the 3rd Authentication Protocol | ||
| 한글내용요약 | 비동기식 이동통신 시스템에 대한 인증 및 보안 키 일치 프로토콜의 분석 기준을 설명하며, 보안 및 보안 키 일치 프로토콜의 다양한 분석 방법을 설명한다. | ||
| 영문내용요약 | 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 thi |
||
| 국제표준 | 3GPP TS 33.902 | ||
| 관련파일 |
 TTAE_3G-33_902.zip
| ||
