期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于通信顺序进程方法的RSSP-Ⅱ通信协议安全性分析
被引量:
2
1
作者
陆德彪
和晟姣
王剑
《信息网络安全》
2016年第7期7-14,共8页
近年来,工业控制系统网络安全问题逐渐显现。铁路信号系统作为工业控制系统的一种特殊应用,除了保证系统设备可靠、功能完整之外,承载信息传输的网络安全问题也是迫切需要关注和解决的问题。文章分析了关乎铁路信号系统安全的RSSP-Ⅱ通...
近年来,工业控制系统网络安全问题逐渐显现。铁路信号系统作为工业控制系统的一种特殊应用,除了保证系统设备可靠、功能完整之外,承载信息传输的网络安全问题也是迫切需要关注和解决的问题。文章分析了关乎铁路信号系统安全的RSSP-Ⅱ通信协议,引入了形式化建模中的通信顺序进程方法,对通信协议的密钥服务流程和对等实体认证过程这两个关键内容进行了相应的建模研究工作。文章采用模型检测工具Casper-FDR对协议安全属性中的保密性、认证性进行了验证,分析了对应的验证结果。实验结果表明,访问状态数、转换状态数、状态转换时间参数均正常,反例个数为0,验证了RSSP-Ⅱ 在密钥服务和对等实体认证过程的安全性。
展开更多
关键词
rssp
-II
通信协议
安全性分析
通信顺序进程方法
在线阅读
下载PDF
职称材料
RSSP工艺处理海产品废水工艺参数研究
2
作者
杨永录
蔡天明
+1 位作者
陈立伟
杨永青
《环境科技》
2009年第A02期24-26,44,共4页
实验研究了基于A2/O工艺理论开发出的RSSP回流污泥分离高效脱氮除磷新工艺对海产品废水的处理,重点考察了处理海产品废水重要参数之一即不同总水力停留时间下对海产品废水脱氮除磷的处理效果。实验表明:在进水质量浓度COD为450~780.2mg...
实验研究了基于A2/O工艺理论开发出的RSSP回流污泥分离高效脱氮除磷新工艺对海产品废水的处理,重点考察了处理海产品废水重要参数之一即不同总水力停留时间下对海产品废水脱氮除磷的处理效果。实验表明:在进水质量浓度COD为450~780.2mg/L,TN为67~120mg/L,TP为9~13mg/L时,在满足国家出水水质一级标准要求的前提下,得出最佳的总水力停留时间为12h,厌氧段水力停留时间为3h,缺氧段水力停留时间为2h。也达到降低处理系统的基建和运行费用的目的,从而更好的为海产品废水处理提供适合的工艺条件。
展开更多
关键词
rssp
工艺
脱氮除磷
水力停留时间
在线阅读
下载PDF
职称材料
题名
基于通信顺序进程方法的RSSP-Ⅱ通信协议安全性分析
被引量:
2
1
作者
陆德彪
和晟姣
王剑
机构
北京交通大学电子信息工程学院
出处
《信息网络安全》
2016年第7期7-14,共8页
基金
国家自然科学基金[61490705]
中国铁路总公司科技研究开发计划[2014X003-J
2016X008-B]
文摘
近年来,工业控制系统网络安全问题逐渐显现。铁路信号系统作为工业控制系统的一种特殊应用,除了保证系统设备可靠、功能完整之外,承载信息传输的网络安全问题也是迫切需要关注和解决的问题。文章分析了关乎铁路信号系统安全的RSSP-Ⅱ通信协议,引入了形式化建模中的通信顺序进程方法,对通信协议的密钥服务流程和对等实体认证过程这两个关键内容进行了相应的建模研究工作。文章采用模型检测工具Casper-FDR对协议安全属性中的保密性、认证性进行了验证,分析了对应的验证结果。实验结果表明,访问状态数、转换状态数、状态转换时间参数均正常,反例个数为0,验证了RSSP-Ⅱ 在密钥服务和对等实体认证过程的安全性。
关键词
rssp
-II
通信协议
安全性分析
通信顺序进程方法
Keywords
rssp
-II
communication protocol
security analysis
communicating sequential
process
method
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
RSSP工艺处理海产品废水工艺参数研究
2
作者
杨永录
蔡天明
陈立伟
杨永青
机构
南京农业大学资源与环境科学学院
出处
《环境科技》
2009年第A02期24-26,44,共4页
基金
国家自然科学基金项目(50308011)
江苏省环保科研项目(2007023)
文摘
实验研究了基于A2/O工艺理论开发出的RSSP回流污泥分离高效脱氮除磷新工艺对海产品废水的处理,重点考察了处理海产品废水重要参数之一即不同总水力停留时间下对海产品废水脱氮除磷的处理效果。实验表明:在进水质量浓度COD为450~780.2mg/L,TN为67~120mg/L,TP为9~13mg/L时,在满足国家出水水质一级标准要求的前提下,得出最佳的总水力停留时间为12h,厌氧段水力停留时间为3h,缺氧段水力停留时间为2h。也达到降低处理系统的基建和运行费用的目的,从而更好的为海产品废水处理提供适合的工艺条件。
关键词
rssp
工艺
脱氮除磷
水力停留时间
Keywords
rssp process
Nitrogen and phosphorus removal
Hydraulic retention time
分类号
X5 [环境科学与工程—环境工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于通信顺序进程方法的RSSP-Ⅱ通信协议安全性分析
陆德彪
和晟姣
王剑
《信息网络安全》
2016
2
在线阅读
下载PDF
职称材料
2
RSSP工艺处理海产品废水工艺参数研究
杨永录
蔡天明
陈立伟
杨永青
《环境科技》
2009
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部