符号模型验证器相关硕士博士期刊学术论文

在以Lu＆Smolka对SET协议支付过程的简化模型为研究对象的情况下，进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行......