📚 空间分析技术资料

📦 资源总数：10000
💻 源代码：10000

🔥 空间分析热门资料

查看全部10000个资源 »

针对缪祥华提出的改进的Needham-Schroeder 协议，利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性，包括响应者认证、发起者认证和协议的机密性进行分析，并运用“理想”...

👤 20125101110 ⬇️ 4 次下载
串空间模型

💻 空间分析源代码

查看更多 »
💻
空间分析.log
💻
空间分析.frm
💻
空间分析.frx
💻
空间分析建模.pdf
💻
空间分析原型系统.vbp
💻
空间分析原型系统.vbw
📂 空间分析资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 10000 个资源