清单8：定位订阅令牌符号元素，提取证书数据并检验它。
Listing 8: Locate the subscription token element, extract the certificate data and have it verified.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
本文根据符号检验的特点，给出了求解其拒绝域的方法，并作出相应的判断。
According to the characteristic of symbolic inspection, this work gives the ways of obtaining its rejection region and the corresponding judgement.
应用推荐