Earticle

초록

한국어

미션 크리티컬 서비스 고도의 신뢰성을 요구하는 분야로, 특히 재난 안전 환경 과 철도 통신 등 그룹 통신을 지원한다. 미션 크리티컬 서비스는 인프라와 사용자의 개인정보 보호에 있어 보안성을 요구한다. 본 논문에서는 미션 크리티컬 서비스의 사용자 서비스 인증 및 인가 절차를 정형화 검증 도구인 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
참고문헌

저자

• 이승빈 [ 컴퓨터과학부 컴퓨터과학전공 경상국립대학교 ]
• 강경아 [ 컴퓨터과학부 컴퓨터과학전공 경상국립대학교 ]
• 이주현 [ 컴퓨터과학부 컴퓨터과학전공 경상국립대학교 ]
• 김지윤 [ 컴퓨터과학부 컴퓨터과학전공 경상국립대학교 ] 교신저자

참고문헌