基于操作语义的磁臂隐通道分析*

深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型.研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道.     

REDHAT LINUX环境下的一类隐通道的带宽计算和分析

介绍了 Red Hat L inux环境下的目录结构隐通道 ,对该隐通道的理论带宽进行了计算 ,并对串行聚合隐通道的带宽进行了测试 .测试结果表明聚合隐通道造成的信息泄露更为严重 ,对此不可忽视     

基于信息熵的隐通道能力分析*

给出了一种基于信息熵的隐通道能力分析方法。该方法首先利用无干扰分析法分析隐通道,得到系统状态转换分布特性,然后引入信息熵,进而推导出隐通道能力表达公式。该方法能较好地对隐通道能力进行定量分析,不仅可以对隐通道能力的大小进行计算,还可以分析隐通道能力的影响因素。最后,给出了存在于多级安全数据库中的一种隐通道,并用该方法分析计算了该隐通道的能力。     

网络隐通道的处理方式

本文首先介绍了网络隐通道的概念,讨论了在网络通信中隐通道存在的技术基础和实现原理,对基于网络通信协议的隐通道技术进行了深入分析。在此基础上讨论了隐通道技术的发展趋势并从网络安全的角度给出了对网络通信中隐通道的防范措施。     

基于信息流的存储隐通道标识方法研究

隐通道分析是研究高安全性计算机系统不可回避的问题。本文系统介绍了隐通道的概念,着重阐述基于信息流的存储隐通道标识方法,讨论该方法中的关键问题和重要细节。     

隐通道及其搜索方法

根据TCSEC规定，开发B2及以上安全系统时必须进行隐通道分析，该文简要介绍了隐通道的概念及分类，并在比较现有隐通道搜索方法优缺点的基础上，详细给出了共享资源矩阵法的隐通道分析操作步骤。     

隐通道识别技术研究

一、引言计算机的广泛应用,在促进了社会的进步,为人类创造了巨大的财富的同时,也带来了计算机系统的安全性问题。目前,这个问题已越来越成为关系国计民生的重要问题,也引起了人们的广泛关注。根据TC-SEC,开发具有B2级及以上的操作系统或数据库管理系统必须进行隐通道分析。隐通道分析的关键在于隐通道的识别,只有在隐通道标识出来后才能估算隐通道的带宽,并采取一些策略消除隐通道、限制隐通道的带宽或对隐通道审计。在一安全的计算机系统中,采用了自主存取控制和强制存取控制来限制信息只通过合法的通讯通道(如文件、共享内存和进程信号等)流     

关于时间隐通道问题分析

本文讨论了计算机安全领域中较少研究的一个重要方面，时间隐通道。对时间隐通道的存在条件进行了总结，对存在于操作系统原语的时间隐通道的特征进行了分析，提出了相应的识别方法。同时还简单地给出了解决时间隐通道的一些方法。     

信息流安全性的隐通道分析与研究

隐通道是信息流安全性研究的关键问题，国内外学者通过分析隐通道对信息安全问题进行了研究。通过分析隐通道产生条件，对两种重要的隐通道的分析方法进行了比较，提出了较为科学的改进思路。     

隐通道存在的最小条件及其应用

隐通道能在安全机制的监控之下将保密信息外泄,因而对系统安全的威胁极大。通过研究隐通道的工作原理,形式化地证明了隐通道存在的最小条件。在此基础上,对现有的隐通道搜索与消除方法进行了分类,并从理论上说明了各种方法的正确性及其不足。这些工作不仅为隐通道的搜索与消除工作提供了可信的理论依据,而且为寻找新的隐通道搜索与消除方法提供了一个研究框架。     

基于Kalman滤波的MIMO时变信道估计

研究了一种基于Kalman滤波的MIMO时变信道估计与跟踪问题。利用衰落信道功率谱统计特性的先验信息,将信道冲击响应近似为一个低阶自回归滑动平均过程,通过信道传输函数逼近信道功率谱的幅频特性,建立时变衰落单径信道的状态方程,导出MIMO信道状态模型参数,并通过Kalman滤波跟踪信道的时变特性。理论分析和仿真试验表明,该算法在时变信道下具有较好的性能,和传统信道估计方法相比,接收机性能有了较大的改进。     

一个异步分布进程通信模型

文中介绍了一个异步分布式通信模型,并利用这个模型,说明通道的语法规则,这些语法规则对通道的行为进行了约束。文中所介绍的模型简称为ＰＣＡＰ（ｐｒｏｃｅｓｓ－ｃｈａｎｎｅｌ－ａｇｅｎｔ－ｐｒｏｃｅｓｓ）模型。ＰＣＡＰ模型与通道语法规划相结合,便成为一个通用、简洁的通信工具,利用这个工具,可以说明和比较不同类型的通道,也可以用它来设计和实现通道应用程序。文中最后用一个层次与Ｆ通道相结合的通道应用阐明了这     

线性盲信道系统的一种稳定控制策略

就通信系统而言,涉及到有线信道及非卫星无线信道的问题时,信道不再可以看成为恒参信道,信号往往是通过未知信道传播,通常把这样的信道称为盲信道。数据信号在盲信道传播,将在接收端引入线性失真,导致误码率。为了提高系统性能,收端通过均衡器或序列估计器改善信道失真。本文在传统的盲信道辨识与均衡技术的处理方法下,给出了一种前馈稳定控制方法,这种方法能解决传统均衡器设计在进行信道辨识时,在训练序列较短或者缺损的情况下,盲信道的辨识的一些弊端。考虑盲信道的信号的接收品质,给出了线性盲信道系统可稳的一种控制方法。     

网络隐蔽信道关键技术研究综述

网络隐蔽信道是在网络环境下违反通信限制规则进行隐蔽信息传输的信息通道,为网络信息安全带来了新的挑战,也为数据传输的安全性和隐私性带来了新的研究方向.首先介绍了网络隐蔽信道的定义、分类、能力维度等基本概念;进而从码元设计、信息编码和信道优化这3个方面归纳分析了存储型和时间型两类网络隐蔽信道的构建技术,从隐蔽性、鲁棒性和传输效率这3个方面总结了网络隐蔽信道评估方法,从消除、限制、检测这3个方面梳理了网络隐蔽信道的对抗技术;最后,对未来的研究方向进行了展望.     

数字付费动画频道发展模式初探

随着数字化演变,数字付费频道的开播,三网融合,我国电视媒体格局发生了深刻变化,频道专业化的趋势已不可避免。本文就数字付费的动画片专业频道在当前中国现实情况与现有条件制约下,如何在这次变革中寻求自己生存与发展的空间,制定切实可行的发展策略,打造第一品牌,实现运营产业化等问题进行初步探讨,以期构建出动画片专业频道若干领域发展的模式。     

基于压缩感知的OQAM/OFDM系统POP方法信道估计

针对偏移正交幅度调制的正交频分复用(OQAM/OFDM)系统中成对训练序列(POP)法信道估计技术性能较差且受噪声影响较大的问题,提出了一种基于压缩感知(CS)的POP信道估计方法.该方法将压缩感知技术应用于POP法信道估计之中,将传统的频域信道估计方法转化为时域信道估计方法,通过压缩感知技术准确地重构出时域信道信息,减少导频开销,提高频谱利用率,得到更好的信道估计性能.与传统的OQAM/OFDM系统的信道估计方法进行比较,仿真结果表明,所提的方法能够在使用较少的导频符号的同时得到更高的系统性能和信道估计精度.     

改进的Ad Hoc网络多信道MAC协议

在Ad Hoc无线网络多信道介质访问控制协议DCA中,所有移动节点在一个预留的公共控制信道上传送控制信息,即使控制信道空闲也不能在其上进行数据传输。针对DCA这种信道利用率不高的问题,提出一种改进方法,利用空闲控制信道进行数据传输。实验结果表明,改进后的DCA可以增加网络吞吐量和信道利用率。     

基于高次数据拟合OFDM系统快时变信道估计算法*

针对快时变信道估计参数多且估计复杂度大的问题,提出了一种基于高次数据拟合的快时变信道估计算法。该方法首先利用导频的周期性,在时域对一个OFDM符号内的信道进行分段估计,以减少时变信道被估参数;并且基于高次数据拟合方法对其进行曲线拟合,实现了对快时变信道的多点拟合;最后通过对拟合系数的残差误差分析,得到最佳拟合系数,从而进一步提高估计准确度。理论分析与仿真结果均验证了该方法在快速时变信道下的有效性。     

基于频域均衡的宽带阵列通道校正

通道失配会严重影响阵列天线的性能,需要校正失配.窄带阵列只需在中心频率上校正即可,而宽带阵列因带宽相对较大需要对整个通道特性采取均衡的方法来保证各通道间的幅度和相位一致性.首先建立了失配通道模型,然后介绍了基于最小二乘准则的频域均衡算法,最后通过计算机仿真验证了频域均衡算法的有效性.同时,新算法采用LFM信号作为校正信号,克服了时域校正时校正权值不收敛的问题.