搜索结果

找到约 1 项符合 NSPK 的查询结果
相关度 上传时间 下载量 查看数
共 1 条结果

按分类筛选

技术资料 安全协议的CSP描述技术

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