원문정보
Security analysis on mission-critical service authentication protocol
피인용수 : 0건 (자료제공 : 네이버학술정보)
초록
한국어
미션 크리티컬 서비스 고도의 신뢰성을 요구하는 분야로, 특히 재난 안전 환경 과 철도 통신 등 그룹 통신을 지원한다. 미션 크리티컬 서비스는 인프라와 사용자의 개인정보 보호에 있어 보안성을 요구한다. 본 논문에서는 미션 크리티컬 서비스의 사용자 서비스 인증 및 인가 절차를 정형화 검증 도구인 BANLogic을 통하여 인증 프로토콜인 OpenID Connect와 TLS의 보안 정형화 검증을 실시한다.
목차
요약
1. 서론
2. 관련연구
2.1 OAuth 2.0
2.2 OpenID
2.3 TLS
3. 본론
3.1. OpenID Connect 프로토콜
3.2.TLS프로토콜
4. 검증
4.1 BAN-Logic
4.2 검증 결과
5. 결론
Acknowledgement
참고문헌
1. 서론
2. 관련연구
2.1 OAuth 2.0
2.2 OpenID
2.3 TLS
3. 본론
3.1. OpenID Connect 프로토콜
3.2.TLS프로토콜
4. 검증
4.1 BAN-Logic
4.2 검증 결과
5. 결론
Acknowledgement
참고문헌
저자정보
참고문헌
자료제공 : 네이버학술정보