基于串空间模型的安全协议验证及算法研究

郑州大学硕士学位论文基于串空间模型的安全协议验证及算法研究姓名：马中良申请学位级别：硕士专业：计算机软件与理论指导教师：周清雷20070501郑州大学硕士学位论文 Strand 摘要 伴随着计算机网络