期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
PKMv1协议研究
被引量：
1
1
作者
郎为民
孙月光
+1 位作者
孙少兰
刘军
《信息网络安全》
2008年第10期31-33,共3页
IEEE 802.16的安全子层采用了认证客户端/服务器密钥管理协议,在该协议中基站(即服务器)能够对分发给客户端SS的密钥进行控制。IEEE 802.16系列标准的安全性主要基于PKM协议。在初始授权密钥交换期间,BS使用基于数字证书的SS认证,来对...
IEEE 802.16的安全子层采用了认证客户端/服务器密钥管理协议,在该协议中基站(即服务器)能够对分发给客户端SS的密钥进行控制。IEEE 802.16系列标准的安全性主要基于PKM协议。在初始授权密钥交换期间,BS使用基于数字证书的SS认证,来对客户端SS进行认证。PKM协议使用公钥密码技术来建立SS与BS之间的共享密钥,SS也使用PKM协议来支持周期性重认证和密钥更新。本文首先分析了PKMv1中安全子层的协议栈,然后给出了WiMAX安全关联的种类与内容,研究了WiMAX安全流程以及安全认证、密钥交换和数据加密等方案。最后,对PKMv1可能存在的安全威胁进行了详细的介绍。
展开更多
关键词
全球微波接入互操作性(WiMAX)
密
钥
管理
(
pkm
)
安全关联(SA)
密
钥
交换
下载PDF
职称材料
PKMv2协议研究
被引量：
1
2
作者
郎为民
靳焰
祁向宇
《数据通信》
2008年第6期19-22,共4页
IEEE802.16的安全子层采用了认证客户端/服务器密钥管理协议,在该协议中基站(服务器)能够对分发给客户端SS的密钥进行控制。IEEE802.16系列标准的安全性主要基于PKM协议。在初始授权密钥交换期间,BS使用基于数字证书的SS认证对客户端SS...
IEEE802.16的安全子层采用了认证客户端/服务器密钥管理协议,在该协议中基站(服务器)能够对分发给客户端SS的密钥进行控制。IEEE802.16系列标准的安全性主要基于PKM协议。在初始授权密钥交换期间,BS使用基于数字证书的SS认证对客户端SS进行认证。PKM协议使用公钥密码技术建立SS与BS之间的共享密钥,SS也使用PKM协议支持周期性重认证和密钥更新。文章首先分析了PKMv2中安全子层的协议栈,然后给出了相互认证、授权密钥生成和安全认证的流程。同时,从支持的认证算法、安全关联种类和加密算法等方面将PKMv2和PKMv1进行了比较,并对PKMv2可能存在的安全威胁进行了详细的分析。
展开更多
关键词
全球微波接入互操作性(WiMAX)
密
钥
管理
(
pkm
)
pkm
v2
pkm
v1
相互认证
下载PDF
职称材料
基于SPIN的网络认证协议高效模型检测
被引量：
4
3
作者
缪力
谭志华
张大方
《计算机工程与应用》
CSCD
2012年第21期62-67,共6页
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态...
为了有效地提高网络认证协议建模和验证的效率,基于模型检测方法提出一个通用的网络认证协议模型描述方法,结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略,不仅可以对不同协议进行高效建模,而且减小了模型的状态空间。与现有的文献相比,自动化程度较高,模型验证的效率较好。基于该方法,对PKM认证协议进行了模型检测,实验证明该模型分析验证方法的有效性,可用于其他网络认证协议的分析验证。
展开更多
关键词
网络认证协议
模型检测
简单进程元语言解释器(SPIN)
模型简化策略
密
钥
管理
(
pkm
)协议
下载PDF
职称材料
基于IEEE802．16-2004的WiMAX安全研究
4
作者
张云勇
《中国多媒体通信》
2007年第5期17-21,共5页
安全是WiMAX中非常重要的技术之一，本文分析了基于802．16．2004的安全体系结构、主要协议及重要流程，并分析了802．16-2004安全的不足和802．16e对其的改进。
关键词
固定无线接入
密
钥
管理
协议(
pkm
)
安全联盟(SA)
原文传递
题名
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 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
PKMv2协议研究
被引量：
1
2
作者
郎为民
靳焰
祁向宇
机构
解放军通信指挥学院
出处
《数据通信》
2008年第6期19-22,共4页
基金
国家自然科学基金资助项目(60602029)
文摘
IEEE802.16的安全子层采用了认证客户端/服务器密钥管理协议,在该协议中基站(服务器)能够对分发给客户端SS的密钥进行控制。IEEE802.16系列标准的安全性主要基于PKM协议。在初始授权密钥交换期间,BS使用基于数字证书的SS认证对客户端SS进行认证。PKM协议使用公钥密码技术建立SS与BS之间的共享密钥,SS也使用PKM协议支持周期性重认证和密钥更新。文章首先分析了PKMv2中安全子层的协议栈,然后给出了相互认证、授权密钥生成和安全认证的流程。同时,从支持的认证算法、安全关联种类和加密算法等方面将PKMv2和PKMv1进行了比较,并对PKMv2可能存在的安全威胁进行了详细的分析。
关键词
全球微波接入互操作性(WiMAX)
密
钥
管理
(
pkm
)
pkm
v2
pkm
v1
相互认证
分类号
TN929.5 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
基于SPIN的网络认证协议高效模型检测
被引量：
4
3
作者
缪力
谭志华
张大方
机构
湖南大学信息科学与工程学院
出处
《计算机工程与应用》
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（t
pkm
）protocol
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于IEEE802．16-2004的WiMAX安全研究
4
作者
张云勇
机构
中国联合通信有限公司
出处
《中国多媒体通信》
2007年第5期17-21,共5页
文摘
安全是WiMAX中非常重要的技术之一，本文分析了基于802．16．2004的安全体系结构、主要协议及重要流程，并分析了802．16-2004安全的不足和802．16e对其的改进。
关键词
固定无线接入
密
钥
管理
协议(
pkm
)
安全联盟(SA)
分类号
TN925.93 [电子电信—通信与信息系统]
原文传递
题名
作者
出处
发文年
被引量
操作
1
PKMv1协议研究
郎为民
孙月光
孙少兰
刘军
《信息网络安全》
2008
1
下载PDF
职称材料
2
PKMv2协议研究
郎为民
靳焰
祁向宇
《数据通信》
2008
1
下载PDF
职称材料
3
基于SPIN的网络认证协议高效模型检测
缪力
谭志华
张大方
《计算机工程与应用》
CSCD
2012
4
下载PDF
职称材料
4
基于IEEE802．16-2004的WiMAX安全研究
张云勇
《中国多媒体通信》
2007
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
