登录
注册
全部
期刊
图书
学位论文
会议论文
专利
多媒体
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
朱涵
首页>找到“
朱涵
”相关的
1
条结果
栏目导航
全部(1)
基于进程演算的安全协议形式化分析
关键词:网络安全 安全协议 程序设计 进程演算
本文介绍了安全协议和进程演算的一些基本知识,探讨和分析了基于进程演算分析安全协议的各种方法,以及将来的发展方向.
1/1