📚 NSPK技术资料

📦 资源总数：1

🔥 NSPK热门资料

基于进程代数的CSP 方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP 相关理论，并以NSPK 协议为例系统概述了安全协议的CSP 建模方法。为更好的查明协议的安全缺陷，重点研究如何在...

👤 wangshoupeng199 ⬇️ 5 次下载

NSPK

📂 NSPK资料分类