逻辑化方法相关论文
逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改......
数学难学是学生普遍的感受,除了数学本身抽象难理解以外,学生没有掌握一套系统的学习方法是重要的原因。虽然数学学习的内容丰富多......
