인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 저자정보
피인용 0
초록·키워드
TLS(Transport Layer Security) 프로토콜은 컴퓨터 네트워크 상에서 암호화된 통신 기능을 제공하는 프로토콜로 HTTPS, 이메일, VolP 등 다양한 네트워크 애플리케이션에서 널리 사용되고 있다. TLS와 같은 보안 프로토콜의 오류는 많은 보안 취약점을 야기하기 때문에 이의 엄밀한 검증은 매우 중요한 문제이다. 따라서 프로토콜의 스펙 수준에서 보안성 성질을 검증하기 위한 여러 모델검증 기술이 연구되어 왔다. 하지만 프로토콜 스펙 수준에서의 검증은 설계 수준에서 발생하는 오류들을 탐지하지 못하는 한계점이 존재한다. 본 논문에서는 TLS 소프트웨어를 Maude 프레임워크를 사용하여 설계 수준에서 정형명세하고, 이를 통하여 FREAK 공격과 같이 설계 수준에서 발생하는 취약점을 모델검증을 이용하여 엄밀하게 분석할 수 있음을 보였다.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
UCI(KEPA) : I410-151-24-02-089789144
