【摘 要】
：
近年来，工业控制系统网络安全问题逐渐显现。铁路信号系统作为工业控制系统的一种特殊应用，除了保证系统设备可靠、功能完整之外，承载信息传输的网络安全问题也是迫切需要关注和
【基金项目】
：
国家自然科学基金[61490705],中国铁路总公司科技研究开发计划[2014X003-J、2016X008-B]
论文部分内容阅读
近年来，工业控制系统网络安全问题逐渐显现。铁路信号系统作为工业控制系统的一种特殊应用，除了保证系统设备可靠、功能完整之外，承载信息传输的网络安全问题也是迫切需要关注和解决的问题。文章分析了关乎铁路信号系统安全的RSSP-II通信协议，引入了形式化建模中的通信顺序进程方法，对通信协议的密钥服务流程和对等实体认证过程这两个关键内容进行了相应的建模研究工作。文章采用模型检测工具Casper-FDR对协议安全属性中的保密性、认证性进行了验证，分析了对应的验证结果。实验结果表明，访问状态数、转换状态数、状态转换时间
其他文献
本文集主要汇集了近年来在矿物学方面的部分研究成果,包括矿物谱学(红外光谱、顺磁共振、穆斯堡尔谱)、矿物物理学(电学和热学性质研究)、结构矿物学和成因矿物学等方面的内
与传统加密技术相比,DNA加密技术有很多潜在优势,如存储容量大、破译难度高、以及特异性强。文章基于一次一密原则利用DNA核酶切割完成信息的加密和解密。首先,将信息和选择好的一次性密钥进行DNA编码,将待传输信息转换为DNA序列,生成DNA明文。将密钥与明文进行异或算法,得到密文DNA序列。再把多种DNA核酶的识别位点与DNA密文序列以及密钥以一定规则结合形成完整的DNA密文。此处引入的DNA核酶具
【摘 要】当前随着各行各业的发展，社会对于人才的要求日趋严格，迫切需要语文教师在教学期间不断强化语言教学，并有意识地针对现行语言教学的特点以及问题提出针对性的解决策略。基于此，笔者在本文中将分析现行语文教材中开展语言教学的具体特征，并提出针对性的优化策略，以期为相关领域从业人员提供一些书面指导。 【关键词】现行语文教材;语言教学;特点;不足 中图分类号：G633.3 文献标识码：A 文
目的探究补肾益肺健脾汤辅助治疗哮喘缓解期患儿的效果。方法选择某院2018年8月至2019年12月收治的52例哮喘缓解期患儿,根据电脑随机盲选法,分为研究组和对照组,观察两组患儿
新型冠状病毒感染引起的疫情已成为全球性重大突发公共卫生事件,其典型临床表现以呼吸系统症状为主,但对心血管系统造成的危害已有报道,不容忽视。该病毒感染可引起哪些心血
2019年1月30日,"2018年度全国信息安全标准化技术委员会(以下简称‘信安标委’)全体会议"在京召开。会议强调,新时代网络安全标准化工作要以习近平新时代中国特色社会主义思想为指引,以习近平总书记关于网络安全系列重要讲话为根本遵循,把维护国家网络安全、保障人民群众在网络空间利益、促进信息技术应用作为网络安全标准化工作根本任务。会议要求,要坚持新发展理念,注重网络安全标准化工作向高质量转变,推进
文化是国家和民族的灵魂。党的十八大以来,习近平总书记围绕传承和弘扬中华优秀传统文化发表了一系列重要讲话,形成了科学系统的传统文化观,这是习近平新时代中国特色社会主
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
防火墙是保证网络安全的重要技术之一,然而目前云环境下的防火墙,其网络流量处理通常达到万兆级。而万兆防火墙的产生,防火墙规则集的日益增大和规则间的相互冲突,严重影响了防火墙性能。主流的规则冲突检测方法主要是基于对原始规则集的检测,其方法无法实现多条规则之间的检测,且无法准确找出冲突范围。文章提出一种基于有效规则集的防火墙规则冲突检测方法,该方法对基于状态变迁的冲突检测方法进行改进,通过集合运算生成防