📚 串空间模型技术资料

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

🔥 串空间模型热门资料

查看全部10000个资源 »

本文介绍了串空间模型中的基本概念和定理，并首次利用串空间理论，从机密性和认证性两个方面，对改进的NSSK 协议[1]进行了分析。分析结果表明改进的NSSK 协议是安全的。关键词：安全协...

👤 fliang ⬇️ 9 次下载
NSSK BR

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

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

💻 串空间模型源代码

查看更多 »
💻
向量空间模型.txt
💻
空间动态模型建模方法.pdf
💻
chapter4_15.m
💻
chapter4_15.m
💻
chapter4_15.m
💻
rlc电路的状态空间模型.vi
📂 串空间模型资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 10000 个资源