Earticle

현재 위치 Home

Poster Session 정보보호 기술

미션 크리티컬 서비스 인증 프로토콜에 대한 보안성 분석
Security analysis on mission-critical service authentication protocol

첫 페이지 보기
  • 발행기관
    한국차세대컴퓨팅학회 바로가기
  • 간행물
    한국차세대컴퓨팅학회 학술대회 바로가기
  • 통권
    2024 한국차세대컴퓨팅학회 춘계학술대회 (2024.04)바로가기
  • 페이지
    pp.141-144
  • 저자
    이승빈, 강경아, 이주현, 김지윤
  • 언어
    한국어(KOR)
  • URL
    https://www.earticle.net/Article/A468746

원문정보

초록

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

키워드

MCX OAuth2.0 OIDC TLS

저자

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

참고문헌

자료제공 : 네이버학술정보

간행물 정보

발행기관

  • 발행기관명
    한국차세대컴퓨팅학회 [Korean Institute of Next Generation Computing]
  • 설립연도
    2005
  • 분야
    공학>컴퓨터학
  • 소개
    본 학회는 차세대 PC 및 그 관련분야의 학술활동을 통하여 차세대 PC의 학문 및 기술발전을 도모하고 산업발전 및 국제협력 증진을 목적으로 한다.

간행물

  • 간행물명
    한국차세대컴퓨팅학회 학술대회
  • 간기
    반년간
  • 수록기간
    2021~2025
  • 십진분류
    KDC 566 DDC 004

이 권호 내 다른 논문 / 한국차세대컴퓨팅학회 학술대회 2024 한국차세대컴퓨팅학회 춘계학술대회

    피인용수 : 0건 (자료제공 : 네이버학술정보)

    함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.

      출처 : 네이버학술정보

        0개의 논문이 장바구니에 담겼습니다.

        페이지 저장
        소속기관 조회
        이용자님의 소속기관(단체)이 서비스에 가입되어 있는지 확인해 보십시오.
        기관회원에 소속되어 있는 이용자는 원문을 무료로 이용할 수 있습니다.