CAJ | 학술논문

安全传输层协议（T LS ）用于在两个通信应用程序之间提供保密性和数据完整性。详细地分析了 T LS协议，并给出了T LS1．2协议的具体工作流程。通过传输层协议中客户端对服务端的认证和服务端对客户端的认证来建立安全模型，并基于计算模型Blanchet使用自动化工具CryptoVerif证明其认证性和安全性。
안전전수층협의（T LS ）용우재량개통신응용정서지간제공보밀성화수거완정성。상세지분석료 T LS협의，병급출료T LS1．2협의적구체공작류정。통과전수층협의중객호단대복무단적인증화복무단대객호단적인증래건립안전모형，병기우계산모형Blanchet사용자동화공구CryptoVerif증명기인증성화안전성。