CAJ | 학술논문

本文利用串空间模型（strand space）这种有效的网络安全协议形式化分析工具,设计了一个安全电子商务交易协议SECT。从中展示了串空间模型怎样利用加密和随机数来实现协议成员的认证。所设计的SECT协议在功能和安全保证上实现了电子商务交易标准（SET）所要求的购买申请、支付认证、付款等功能。
본문이용천공간모형（strand space）저충유효적망락안전협의형식화분석공구,설계료일개안전전자상무교역협의SECT。종중전시료천공간모형즘양이용가밀화수궤수래실현협의성원적인증。소설계적SECT협의재공능화안전보증상실현료전자상무교역표준（SET）소요구적구매신청、지부인증、부관등공능。
Network security protocols is one of the effective means to solve the problem of network security.Using the strand space model,the effective network security protocol analysis tool,a SECT protocol is designed.The strand space model use encryption and random number to achieve authentication.The SECT protocol designed to achieve the functionality and security of purchase applications,payment authentication and payment requirements in the SET.