验证逻辑相关论文
安全协议为网络信息交换提供安全服务,是保证网络安全的基础。但攻击者可利用安全协议自身的缺陷来实施各种各样的攻击,因此安全协......
安全协议是一种在不安全的公共网络上为完成某种不可泄漏的信息交换而建立的通信协议．所谓网络的不安全性，是指黑客的存在，他可以监听......
该文对NDL逻辑框架进行了扩展.对Kerberos协议和SET协议的安全性问题进行了深入研究,作者们主要着重于在建立的安全框架中实现"不......
