인터넷의 비약적인 발전과 더불어, 인터넷을 활용한 각종 온라인 서비스가 활성화 되어 가고 있는 추세이다. 온라인 쇼핑몰, 온라인 뱅킹과 같은 전자상거래 서비스는 이용자의 서비스 제공자간의 상호 신뢰를 기반으로 동작해야만 하는 서비스이다. 보안 프로토콜을 이용하여 사용자 상호 간의 정보의 비밀성, 무결성, 부인 방지를 보장하는 일은 반드시 필요한 과제가 되었다. 이에 따라 해당 서비스에 대해 적합한 사용자를 인증하고 인가하기 위해 다양한 보안 ...
인터넷의 비약적인 발전과 더불어, 인터넷을 활용한 각종 온라인 서비스가 활성화 되어 가고 있는 추세이다. 온라인 쇼핑몰, 온라인 뱅킹과 같은 전자상거래 서비스는 이용자의 서비스 제공자간의 상호 신뢰를 기반으로 동작해야만 하는 서비스이다. 보안 프로토콜을 이용하여 사용자 상호 간의 정보의 비밀성, 무결성, 부인 방지를 보장하는 일은 반드시 필요한 과제가 되었다. 이에 따라 해당 서비스에 대해 적합한 사용자를 인증하고 인가하기 위해 다양한 보안 프로토콜(EKE, S/KEY, Kerberos 등)이 사용되고 있다. 하지만, 대부분의 많은 보안 프로토콜은 개발된 후, 시간이 지남에 따라 점차 보안 취약점들이 하나 둘 발견되고 있다. 이와 더불어 보안 프로토콜을 정형적으로 명세하고, 검증하기 위한 다양한 방법들이 연구되고 있다. 본 논문에서는 안전한 보안프로토콜을 개발하기 위해, WMF(The Wide Mouth Frog) 프로토콜 분석을 통해, 설계단계에서 보안 프로토콜의 안전성을 검증하는 정형적 방법에 대해 소개하고, 정형적 검증 방법의 실효성을 보이기 위해, Casper 및 FDR 도구를 이용하여 SSH 프로토콜의 안전성을 분석한 후, 보안성을 향상 시킨 SSH 프로토콜을 제안하였다.
인터넷의 비약적인 발전과 더불어, 인터넷을 활용한 각종 온라인 서비스가 활성화 되어 가고 있는 추세이다. 온라인 쇼핑몰, 온라인 뱅킹과 같은 전자상거래 서비스는 이용자의 서비스 제공자간의 상호 신뢰를 기반으로 동작해야만 하는 서비스이다. 보안 프로토콜을 이용하여 사용자 상호 간의 정보의 비밀성, 무결성, 부인 방지를 보장하는 일은 반드시 필요한 과제가 되었다. 이에 따라 해당 서비스에 대해 적합한 사용자를 인증하고 인가하기 위해 다양한 보안 프로토콜(EKE, S/KEY, Kerberos 등)이 사용되고 있다. 하지만, 대부분의 많은 보안 프로토콜은 개발된 후, 시간이 지남에 따라 점차 보안 취약점들이 하나 둘 발견되고 있다. 이와 더불어 보안 프로토콜을 정형적으로 명세하고, 검증하기 위한 다양한 방법들이 연구되고 있다. 본 논문에서는 안전한 보안프로토콜을 개발하기 위해, WMF(The Wide Mouth Frog) 프로토콜 분석을 통해, 설계단계에서 보안 프로토콜의 안전성을 검증하는 정형적 방법에 대해 소개하고, 정형적 검증 방법의 실효성을 보이기 위해, Casper 및 FDR 도구를 이용하여 SSH 프로토콜의 안전성을 분석한 후, 보안성을 향상 시킨 SSH 프로토콜을 제안하였다.
Along with great development of Internet, It is trend that utilizing Internet various on-line services are activated. Electronic commerce service such as on-line shopping mall, on-line banking is service that must act trust to base mutually between user's service offerer. Using security prot...
Along with great development of Internet, It is trend that utilizing Internet various on-line services are activated. Electronic commerce service such as on-line shopping mall, on-line banking is service that must act trust to base mutually between user's service offerer. Using security protocol between users securing confidentiality, integrity, and nonrepudiation is necessary subject absolutely. Accordingly, various security protocol (EKE, S/KEY, Kerberos etc.) has been used to authenticate and authorize suitable user about relevant service. However, after most many security protocols are developed, as time goes by gradually security problems has been found. Along with this, various methods are studied to specify and verify security protocol formally. This paper introduces formal method to verify security at design steps to develop secure security-protocol through WMF(The Wide Mouth Frog)protocol analysis and to show effectiveness of formal verification method, after analyzing security of SSH protocol using Casper and FDR, proposed better SSH protocol.
Along with great development of Internet, It is trend that utilizing Internet various on-line services are activated. Electronic commerce service such as on-line shopping mall, on-line banking is service that must act trust to base mutually between user's service offerer. Using security protocol between users securing confidentiality, integrity, and nonrepudiation is necessary subject absolutely. Accordingly, various security protocol (EKE, S/KEY, Kerberos etc.) has been used to authenticate and authorize suitable user about relevant service. However, after most many security protocols are developed, as time goes by gradually security problems has been found. Along with this, various methods are studied to specify and verify security protocol formally. This paper introduces formal method to verify security at design steps to develop secure security-protocol through WMF(The Wide Mouth Frog)protocol analysis and to show effectiveness of formal verification method, after analyzing security of SSH protocol using Casper and FDR, proposed better SSH protocol.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.