基于Pi-演算的安全协议的形式化描述和验证论文
安全协议是以密码学为基础的消息交换协议，其目的是在网络环境中提供各种安全服务。密码学是网络安全的基础，但网络安全不能单纯依靠安全的密码算法。安全协议是网络安全的一个重要组成部分，我们需要通过安全协议进行实体之间的认证、在实体之间安全地分配密钥或其它各种秘密、确认发送和接收的消息的非否认性等。以下是小编今天为大家精心准备的：基于Pi-演算的安全协议的形式化描述和验证相关论文。内容仅供阅读与参考!
请关闭浏览器的畅读模式或者取消屏蔽JavaScript的正常运行，避免出现内容显示不全或者段落错乱。
原网页地址：https://www.zhifashicai.com/alxz/360342.html