安全协议自动化验证相关论文
以串空间模型为理论基础,提出安全协议自动化验证算法IVAP。对于有漏洞的协议,针对不安全属性逆向搜索主体串树,自动生成改进协议......
随着现代社会向信息化方向不断迈进,越来越多的传统的信息保存和传播媒介开始被数字化的媒介所取代。其中,企业内部交流信息和文件......
