摘要：空间环境中,DSP等器件越来越频繁地发生单粒子软错误,严重影响了系统安全可靠地运行。针对DSP程序存储区的软错误,本文提出了一种基于完整性检查的控制流错误恢复方法。该方法在基于完整性检查的控制流错误检测方法的基础上,只需设置一个恢复指针和恢复存储区,即可在检测到控制流错误之后快速地恢复控制流错误。论文提出的方法对DSP的抗软错误加固设计与开发具有重要的指导意义。

摘要：为了提升新一代航空电子全双工交换以太网(AFDX)网络的传输速率和余度设计可靠性,在AFDX网络标准的基础上(ARINC 664 p7),建立千兆三余度AFDX网络的帧管理机制模型并进行了形式化建模,而且实现了AFDX网络标准中描述的SkewMax机制。使用UPPAAL形式化工具对千兆三余度AFDX网络帧管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度AFDX网络帧传输过程中不存在死锁。此外,针对标准AFDX的冗余管理中一个帧的丢失可能会导致其冗余备份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不必要的丢帧,提高QoS和数据完整性。形式化验证的结果可以作为千兆AFDX网络标准制定和实际应用的参考。

摘要：工时定额是企业生产管理、成本核算以及薪资发放等过程中必不可少的依据,合适的工时定额管理系统对制造型企业是不可或缺的。针对航天军工企业普遍存在的产品结构复杂、零件数量多、工序长、工艺复杂等特点,提出了一种新的工序级的工时对象设计方案,并基于结构化工艺管理系统二次开发了相应的工时定额管理模块。该模块通过与工序级对象相关联的工时对象编辑、修订和存储工时定额信息,并通过与结构化工艺的内在联系,实现了高效准确的系统集成和完整性检查。目前,该功能模块已在某航天军工企业取得成功应用。

摘要：随着云存储的普及,越来越多的文件存储在云存储服务器中而不是用户的计算机中,这使得用户失去了对数据的绝对控制权,数据安全性难以保障.为了解决这一问题,本文提出了一种新的安全云存储系统.这套系统在用户态实现,可以直接架设在计算机的文件系统上,对计算机硬件、软件要求都很低.通过使用分组加密算法和Merkle-B+树的设计提供了端到端的数据加密保护、完整性检查和访问权限控制等功能.本系统使用简单,对于用户来说是完全透明的,降低了用户的使用门槛.对本系统的测试结果显示,本系统架在NFS文件系统上时,在大文件环境下表现出来的I/O性能下降约为5%,这说明本系统在保证用户数据安全性、系统易用性的同时,其性能也是较好的.

摘要：为实现AFDX以太网的冗余管理功能,分析了AFDX网络冗余管理技术和冗余管理接收与发送帧过程中的完整性检查以及冗余管理配置参数最大偏移参数(Skew Max)。文中根据完整性检查来分析顺序号在接收端与发送端的作用以及冗余管理配置参数,设计了冗余管理算法。并对设计的冗余管理算法进行了仿真验证,结果表明,该设计的冗余管理算法可靠准确,设计符合ARINC664 Part7规定的协议要求。

摘要：ARP(Address Resolution Protocol)协议是实现IP地址到MAC地址映射的协议。由于传统的ARP协议缺乏完整性检查与认证,导致ARP欺骗攻击相当盛行。文章分析了传统的ARP协议存在的缺陷和安全隐患,提出了新的ARP协议的设计方法,即S-ARP协议。S-ARP是对传统的ARP协议的一种扩展。S-ARP协议通过过滤、分析发送和接收数据包,能有效地防御ARP欺骗攻击。

摘要：对ARINC664标准中完整性检查及冗余管理等规则进行了研究,对AFDX端系统完整性检查单元及余度管理单元的测试要点,提出了一种基于标准AFDX端系统的余度功能的测试系统,设计了测试系统及测试用例,并对被测端系统进行了测试验证。测试系统能够检查被测端系统对于完整性检查和冗余管理的规划是否实现,探测和测量冗余管理的接收窗口和SkewMax等参数。

摘要：你在寻找一个免费的安全软件吗?Kerio Personal Fireivall(以下简称KPF)个人防火墙无疑是个不错的选择,它能够控制自己计算机与网络上的计算机进行数据交换,保护你的计算机不受网络上用户的攻击,具有网络安全、私有信息保护、入侵检测、应用程序完整性检查四大功能,还能够屏蔽讨厌的广告、形形色色的脚本和控件,从多角度保卫用户的计算机不受侵犯。更重要的是,它简单易用,无需掌握过多的知识就可以轻松使用。

摘要：为提升音频节目制播系统安全播出水平,本文提出一种文件完整性的检查方法,通过对节目上传前后的MD5码进行校验,确保节目上传前后文件大小、内容保持一致,从而实现音频节目制播系统从端到端的数据安全。