期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
VPN网络中IPSec安全策略的形式化描述
被引量：
6
1
作者
罗智勇
多智华
乔佩利
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2011年第4期65-68,共4页
针对虚拟专用网络中IP安全协议规则制定和配置繁杂、易出现冲突等问题,提出对IP安全协议规则集中的保护访问规则表和保护传输规则表进行形式化,进而采用图形管理的方法,开发出IP安全协议规则分析管理工具软件.通过对真实的IP安全协议规...
针对虚拟专用网络中IP安全协议规则制定和配置繁杂、易出现冲突等问题,提出对IP安全协议规则集中的保护访问规则表和保护传输规则表进行形式化,进而采用图形管理的方法,开发出IP安全协议规则分析管理工具软件.通过对真实的IP安全协议规则进行分析检测,该软件判断出规则集中所存在的各类冲突.实验结果表明这种形式化模型能很好地管理IP安全协议规则.
展开更多
关键词
网络安全
虚拟专用网
IP安全协议
安全策略
形式化模型
规则冲突
原文传递
CTCS-3列控系统RBC切换的形式化建模、分析与验证
被引量：
4
2
作者
潘登
郑应平
《计算机应用研究》
CSCD
北大核心
2013年第2期443-446,453,共5页
针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运...
针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性。交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响;列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量。
展开更多
关键词
CTCS-3列控系统
RBC切换
通信协议
形式化建模
PETRI网
分析与验证
在线阅读
下载PDF
职称材料
题名
VPN网络中IPSec安全策略的形式化描述
被引量：
6
1
作者
罗智勇
多智华
乔佩利
机构
哈尔滨理工大学计算机科学与技术学院
出处
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2011年第4期65-68,共4页
基金
黑龙江省教育厅指导项目(9553038)
文摘
针对虚拟专用网络中IP安全协议规则制定和配置繁杂、易出现冲突等问题,提出对IP安全协议规则集中的保护访问规则表和保护传输规则表进行形式化,进而采用图形管理的方法,开发出IP安全协议规则分析管理工具软件.通过对真实的IP安全协议规则进行分析检测,该软件判断出规则集中所存在的各类冲突.实验结果表明这种形式化模型能很好地管理IP安全协议规则.
关键词
网络安全
虚拟专用网
IP安全协议
安全策略
形式化模型
规则冲突
Keywords
network security
virtual private network
IP security protocol
security policy
formalmodel
rule conflict
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
原文传递
题名
CTCS-3列控系统RBC切换的形式化建模、分析与验证
被引量：
4
2
作者
潘登
郑应平
机构
同济大学控制科学与工程系
出处
《计算机应用研究》
CSCD
北大核心
2013年第2期443-446,453,共5页
基金
国家自然科学基金资助项目(61174183)
文摘
针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性。交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响;列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量。
关键词
CTCS-3列控系统
RBC切换
通信协议
形式化建模
PETRI网
分析与验证
Keywords
Chinese train control system level 3
radio block center （RBC）handover
communication protocols
formalmodel
ing
Petri net
analysis and verification
分类号
TP29 [自动化与计算机技术—检测技术与自动化装置]
U28 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
VPN网络中IPSec安全策略的形式化描述
罗智勇
多智华
乔佩利
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2011
6
原文传递
2
CTCS-3列控系统RBC切换的形式化建模、分析与验证
潘登
郑应平
《计算机应用研究》
CSCD
北大核心
2013
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
