状态空间简化论文

基于串空间模型的安全协议验证及算法研究
论文摘要伴随着计算机网络的普及和电子商务新政务的发展，信息安全问题变得越来越关键。要保证信息的安全性，仅仅依赖良好的加密算法是不够的，在实际应用中，还需要有可信的机制为各个独立...