Symbolic Model Checking Analysis for Electronic Contract Signing Protocol

• 电子合同签订协议的符号模型检验分析