BAN类逻辑相关论文
电力通信是电力系统的重要组成部分。电力通信的安全需求包括身份认证,存取控制,防火墙等,这些安全需求的实现都依靠安全协议。安......
本文针对串空间模型的一些计算性质作了详细的分析，证明了串空间模型中保密性问题的不可判定性，以及认证问题的不可判定性。关于保密......
随着互联网的发展和无线手持设备的广泛应用，移动IP越来越受到人们的关注。在移动IP应用环境中，由于无线信道的开放特性和节点的移动......
不可否认协议可以为网络上实体间的交互行为提供不可抵赖的证据。近年来，电子商务等Intemet应用的发展极大地推动了不可否认协议的......
