实例化空间相关论文
安全协议是一种在不安全的公共网络上为完成某种不可泄漏的信息交换而建立的通信协议．所谓网络的不安全性，是指黑客的存在，他可以监听......
安全协议的验证是个不可判问题.为了对实例化空间逻辑ISL的语义表达能力给出理论上的衡量与评价,选择另一种实用的协议组合逻辑PCL......
给出了一个称为“实例化空间(instantiation space)”的安全协议验证逻辑的语义模型.该语义模型是建立在一种自然的加密信息交换(c......
