【摘 要】
：
敏感数据擦除是综合化航空电子系统的基本要求。传统的数据擦除方法在效率和实时性方面不能满足航空电子系统的需求，缺乏考虑数据的安全等级，没有利用数据加密等机制提高数据擦除的效率。依据综合化航空电子系统对数据擦除的基本要求，本文提出了限时高效的分等级数据擦除方法。此数据擦除方法有擦除决策和擦除执行两个部分，擦除决策根据系统参数、安全级别和事件时间限制，选取和确定安全擦除算法，擦除执行过程使用选取的擦除算
【机 构】
：
西安电子科技大学计算机学院，陕西 西安 710071 中国航空工业集团公司计算技术研究所，陕西 西安 710068
【出 处】
：
第四届中国计算机网络与信息安全学术会议(CCNIS2011)
论文部分内容阅读
敏感数据擦除是综合化航空电子系统的基本要求。传统的数据擦除方法在效率和实时性方面不能满足航空电子系统的需求，缺乏考虑数据的安全等级，没有利用数据加密等机制提高数据擦除的效率。依据综合化航空电子系统对数据擦除的基本要求，本文提出了限时高效的分等级数据擦除方法。此数据擦除方法有擦除决策和擦除执行两个部分，擦除决策根据系统参数、安全级别和事件时间限制，选取和确定安全擦除算法，擦除执行过程使用选取的擦除算法执行数据的擦除。分析验证表明本文提议数据擦除算法在时间受限的情况下，能够保证敏感数据的不可恢复性，具有限时、高效、安全、灵活等特点。
其他文献
Wang等人提出的标准模型下可证明安全的基于身份的认证密钥协商协议不具有私钥产生中心(PKG)前向安全性，针对该安全缺陷，文中提出了一种新的基于身份的认证密钥协商协议，并在标准模型下证明了协议的安全性。与已有协议相比，该协议的执行效率是最高的。为了解决基于身份的认证密钥协商协议的PKG前向安全性问题，文中提出了一种PKG与用户共同协商私钥的方法，并给出具体实例说明了该方法的有效性。
WMN的自组织特性决定其网络边界难以确定，拓扑信息的收集和拓扑重构会产生很大延迟，另外，加上WMN的拓扑结构灵活多变的特点，导致WMN 监控精确性和实时性难以得到保证。A*算法是一种启发式的收敛速度较快的搜索算法，搜索可在有限时间内完成，但存在路径重复覆盖、搜索路径较长的问题，通过对A*搜索过程中的路径长度、搜索范围和启发式进行改进，提出了一种WMN 拓扑状态实时监控方法。仿真表明，和原算法相比改
针对RSSI测距存在的脆弱性问题，提出了一种基于完整性编码和不间断占用信道的鲁棒RSSI测距协议，该协议不仅可以抵抗伪造插入、重放/虫洞等常规攻击，并且可以防止信标信号被恶意干扰而削弱，具有抵抗虚增测距的外部攻击的能力。在此基础上，设计了一种基于RSSI的传感器网络节点安全定位机制，该机制采用三角校验方法来过滤虚减测距的外部攻击，提高了定位的安全性。文章对测距协议和定位机制的安全性进行了理论分析。
现有的复杂网络计算环境中安全问题日益严峻，使人们对于可信计算环境的需求非常急迫。可信证明技术是可信计算中非常重要的特性，为解决计算平台可信问题提供了新的研究方向。但是，现有的可信证明方法存在证据获取不及时、缺乏对于证明方的隐私保护以及证明方法自身安全性等问题，针对这些问题本文提供一种基于安全虚拟机内省的动态可信证明方法。首先，利用确定下推自动机（DPDA) 建立程序的预期行为模型，然后，通过虚拟机
提出了一种新的3GPP 系统与WLAN 互连框架及其网络切换的方法，新增一个服务器MS，负责建立和维护AP 信息列表，检测假冒AP，均衡网络AP 负载；参与预认证过程，防止恶意终端进行DOS 攻击；基于移动终端的位置、移动性的预测选择目标AP，避免切换的盲目性和不必要的开销；结合终端的业务类型和签约服务等级进行具有优先级的切换，提高运营商运营效益和QoS，保证资源的合理利用。
在云存储网络环境中，数据的安全性和完整性是用户最关心的问题之一，综合考虑云存储网络环境中的安全需求，设计了云存储数据完整性验证协议（CS-DIV）。客户端把数据文件和校验标签上传到云存储服务器后随机抽查，服务器返回验证证据并由客户端判断文件的完整性。该协议可以有效地验证云存储数据的完整性，并抵抗恶意服务器欺骗和恶意客户端攻击，从而提高整个云存储系统的可靠性和稳定性。仿真实验数据表明该协议以较低的存
“代码重构”后的程序，可能因为重构编码过程中引入了一些错误而无法正确实现原程序功能，所以需要对其正确性进行验证。但是目前直接证明程序正确性仍难以实现，提出将程序正确性证明转化为程序等价性证明的观点，并提出采用基于合成方法的定理证明技术证明程序等价。该方法避开了直接证明程序正确性的困难，同时也能充分利用现有的定理证明工具，提高了证明的自动化水平，降低了证明的难度。介绍了该方法的原理、基本假设，证明步
为了降低移动ad hoc 网络非对称密钥管理中的通信开销，借鉴组合公钥思想，将ElGamal 方案与预分配密钥方式相结合，为移动ad hoc 网络提出一种基于身份的预分配非对称密钥管理方案(PAKMS)。该方案通过私钥生成中心为节点预分配主密钥子集及通过基于时间获得节点密钥更新的方式，从方法上降低了移动ad hoc 网络非对称密钥管理中的通信开销；私钥生成中心为节点预分配主密钥子集的方式也使节点在
用户在使用云存储服务时，具有不同的服务质量需求。针对现有的云存储副本放置策略不能满足用户个人的服务质量需求的问题，提出了TP-AdpReplica算法。通过仿真实验比较，TP-AdpRelica算法具有稳定性,提高了访问效率和平衡负载，为用户提供满意的云存储QoS。
对短距离无线蓝牙技术中使用的E0 序列密码算法进行了猜测决定攻击，攻击中利用线性逼近的方法做出了一个巧妙的攻击假设，降低了攻击所需的猜测量，并且通过一个检验方程降低了候选状态的数量，攻击的计算复杂度为O(2 76），需要约988 比特密钥流。与目前已有的针对E0的短密钥流攻击相比，本文的攻击结果是最好的。