多集重写模型相关硕士博士期刊学术论文

作为安全协议形式化建模方法之一的多集重写（MSR）模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原......