Rubin逻辑相关论文
当今，随着网络技术的迅猛发展和广泛应用，网络已经成为人们共享信息的主要方式，人们可以随时、随地以各种方式提供和接受信息。然而，网......
SSL协议是一个应用于互联网上的安全协议，使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的......
802．16是IEEE制定的无线城域网技术标准。作为当今最具发展前景的无线宽带接入技术之一，由于传输信号的开放性，其安全问题备受关注。8......
本文深入研究了军用信息系统安全传输技术,设计和实现了一个多功能数字图像水印算法和一个认证和密钥交换协议,并将其应用到传输平......
