加密信息交换模型相关硕士博士期刊学术论文 - 搜论网

加密信息交换模型相关论文

基于本地会话的安全协议验证逻辑及算法

安全协议是一种在不安全的公共网络上为完成某种不可泄漏的信息交换而建立的通信协议．所谓网络的不安全性，是指黑客的存在，他可以监听......

学位

加密信息交换模型实例化空间可观察理论可满足性问题本地会话安全协议验证逻辑验证算法

实例化空间:一种新的安全协议验证逻辑的语义模型

给出了一个称为“实例化空间(instantiation space)”的安全协议验证逻辑的语义模型.该语义模型是建立在一种自然的加密信息交换(c......

期刊

实例化空间加密信息交换模型可满足性问题

看过本文同时还关注