-
题名PKMv1协议研究
被引量：1
- 1
-
-
作者
郎为民
孙月光
孙少兰
刘军
-
机构
解放军通信指挥学院
华中科技大学
-
出处
《信息网络安全》
2008年第10期31-33,共3页
-
基金
国家自然科学基金资助项目(60602029)
-
文摘
IEEE 802.16的安全子层采用了认证客户端/服务器密钥管理协议,在该协议中基站(即服务器)能够对分发给客户端SS的密钥进行控制。IEEE 802.16系列标准的安全性主要基于PKM协议。在初始授权密钥交换期间,BS使用基于数字证书的SS认证,来对客户端SS进行认证。PKM协议使用公钥密码技术来建立SS与BS之间的共享密钥,SS也使用PKM协议来支持周期性重认证和密钥更新。本文首先分析了PKMv1中安全子层的协议栈,然后给出了WiMAX安全关联的种类与内容,研究了WiMAX安全流程以及安全认证、密钥交换和数据加密等方案。最后,对PKMv1可能存在的安全威胁进行了详细的介绍。
-
关键词
全球微波接入互操作性(WiMAX)
密钥管理(pkm)
安全关联(SA)
密钥交换
-
Keywords
Worldwide lnteroperability for Microwave Access （WiMAX）
Private Key Management （pkm）
Security Association （SA）
Key Exchange
-
分类号
TN929.5
[电子电信—通信与信息系统]
-
-
题名基于SPIN的网络认证协议高效模型检测
被引量：4
- 2
-
-
作者
缪力
谭志华
张大方
-
机构
湖南大学信息科学与工程学院
-
出处
《计算机工程与应用》
CSCD
2012年第21期62-67,共6页
-
基金
中央高校基本科研业务费资助
-
文摘
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。
-
关键词
网络认证协议
模型检测
简单进程元语言解释器(SPIN)
模型简化策略
密钥管理(pkm)协议
-
Keywords
network authentication protocol
model checking
Simple Promela Interprete（rSPIN）
modeling simplified strategies
Privacy and Key Managemen（tpkm）protocol
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
