参数一致性矩阵论文

基于串空间理论的安全协议分析
论文摘要安全协议提供安全服务，是保证网络安全的基础。近年来，安全协议越来越多地用于保护因特网上传输的各种交易，保护针对计算机系统的访问。由于验证安全协议自身的安全性是十分困难的...