期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于PKI的安全信息传输系统的实现
被引量：
7
1
作者
赵文清
宋雨
王德文
《华北电力大学学报（自然科学版）》
CAS
北大核心
2004年第3期97-99,共3页
介绍了以公开密钥加密技术为基础的公钥基础设施(PublicKeyInfrastructure,PKI)。针对网络安全传输的特点,论述了如何为敏感数据在 Internet 上的传输提供安全保障手段,在基于 PKI 的安全信息传输系统中,如何对各种数字证书进行管理,包...
介绍了以公开密钥加密技术为基础的公钥基础设施(PublicKeyInfrastructure,PKI)。针对网络安全传输的特点,论述了如何为敏感数据在 Internet 上的传输提供安全保障手段,在基于 PKI 的安全信息传输系统中,如何对各种数字证书进行管理,包括证书申请、密钥生成、证书生成、证书管理和证书格式转换等操作。给出了网络安全传输的概念,提供了以 SSL 协议为基础的安全传输系统的实现方法。
展开更多
关键词
计算机网络
防火墙
软件加密狗
网络
安全
信息
安全
公钥基础设施
PKI
安全信息传输系统
在线阅读
下载PDF
职称材料
列控-安全信息传输系统可靠性及安全性的形式化分析
被引量：
6
2
作者
高莺
张琦
+1 位作者
陈黎洁
刘宏杰
《北京交通大学学报》
CAS
CSCD
北大核心
2018年第2期61-68,共8页
基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的...
基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.
展开更多
关键词
列控-
安全信息传输系统
PETRI网
可靠性
安全
性
模型检验
在线阅读
下载PDF
职称材料
题名
基于PKI的安全信息传输系统的实现
被引量：
7
1
作者
赵文清
宋雨
王德文
机构
华北电力大学计算机科学与技术学院
出处
《华北电力大学学报（自然科学版）》
CAS
北大核心
2004年第3期97-99,共3页
基金
华北电力大学青年教师科研基金资助项目.
文摘
介绍了以公开密钥加密技术为基础的公钥基础设施(PublicKeyInfrastructure,PKI)。针对网络安全传输的特点,论述了如何为敏感数据在 Internet 上的传输提供安全保障手段,在基于 PKI 的安全信息传输系统中,如何对各种数字证书进行管理,包括证书申请、密钥生成、证书生成、证书管理和证书格式转换等操作。给出了网络安全传输的概念,提供了以 SSL 协议为基础的安全传输系统的实现方法。
关键词
计算机网络
防火墙
软件加密狗
网络
安全
信息
安全
公钥基础设施
PKI
安全信息传输系统
Keywords
public key infrastructure
certificate managing
secure transport
SSL
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
列控-安全信息传输系统可靠性及安全性的形式化分析
被引量：
6
2
作者
高莺
张琦
陈黎洁
刘宏杰
机构
中国铁道科学研究院
中国铁道科学研究院通信信号研究所
中国铁道科学研究院国家铁路智能运输系统工程技术研究中心
中国铁道科学研究院标准计量研究所
北京交通大学轨道交通控制与安全国家重点实验室
北京交通大学轨道交通运行控制系统国家工程研究中心
出处
《北京交通大学学报》
CAS
CSCD
北大核心
2018年第2期61-68,共8页
基金
国家自然科学基金(U1434209)
中国铁路总公司科技研究开发计划课题(2015D002-B)
+2 种基金
中央高校基本科研业务费专项资金(016JBM007)
中国铁道科学研究院科研项目(1551ZJ0804)
交控科技设计创新学科发展基金(9907006510)
文摘
基于通信的列控(CBTC)系统使用基于IEEE 802.11系列的无线局域网实现车-地双向信息传输,但是无线局域网无法满足安全苛求列控系统在信息传输可靠性和安全性方面的需求.为了解决该问题,可以采用双网冗余的结构提高无线局域网信息传输的可靠性,再在无线局域网之上增加安全通信协议来保证信息传输的安全性.本文提出在双网冗余无线局域网基础之上增加安全通信协议形成列控-安全信息传输系统(China-Radio),使用随机Petri网建立了双网冗余结构的无线局域网的可靠性模型,并与单网结构进行了定量对比和形式化分析,验证了双网冗余结构可靠性的提升;使用有色Petri网对China-Radio系统建模,并采用模型检验的方法证明China-Radio系统的功能安全性,能够满足列控系统的需求.
关键词
列控-
安全信息传输系统
PETRI网
可靠性
安全
性
模型检验
Keywords
China-radio
Petri net
reliability
safety
model checking
分类号
TN915.04 [电子电信—通信与信息系统]
U285.2 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于PKI的安全信息传输系统的实现
赵文清
宋雨
王德文
《华北电力大学学报（自然科学版）》
CAS
北大核心
2004
7
在线阅读
下载PDF
职称材料
2
列控-安全信息传输系统可靠性及安全性的形式化分析
高莺
张琦
陈黎洁
刘宏杰
《北京交通大学学报》
CAS
CSCD
北大核心
2018
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
