栈与队列的基本操作与实现 数据结构 C语言

现有的计算机病毒检测方法利用病毒特征码来检测病毒已经不能适应病毒技术的发展特别是其无法检测出病毒的新...

本文运用模型检测技术，以Dolev-Yao模型为基础，提出了使用Promela语言和模型检测工具SP...