ICA和镜头分割结合的盲视频水印方案

视频数字水印是解决数字视频版权问题的主要方法．提出一种独立分量分析（independent component analysis，ICA）和镜头分割相结合的盲视频水印方案，它先通过全局直方图比较的方法将视频进行分段，然后对这些段进行ICA分解，在得到的主独立分量帧中采用SWE（single watermark embedding）方案嵌入版权信息．该方案利用视频序列镜头分割的方法，从内容上对视频进行定位，提高水印方案对于时间不同步的鲁棒性；通过在主独立分量帧中嵌入水印增强了方案对于视频内部共谋攻击的鲁棒性；采用SWE方案，实现盲检测．实验结果表明这个方案对于常见的基于帧的和基于视频的处理都有很好的鲁棒性；能够实现盲检测；对于时间不同步和视频内部的共谋攻击有较好的鲁棒性．     

Harris Laplace特征区域 Contourlet域遥感图像水印算法

针对现有遥感图像水印算法抵抗旋转、剪切、水平镜像及联合几何攻击能力差的问题,提出一种局部化遥感图像数字水印新方法.算法首先对水印图像进行 Arnold置乱预处理,并将其行扫描形成一维向量作为待嵌入的水印信息;在宿主遥感图像中提取 Harris Laplace特征点,依据特征点确定水印嵌入特征区域;规范所选特征区域,对其进行归一化后实施 Contourlet变换,利用奇偶量化方法将数字水印嵌入选定的变换系数内.实验证明算法对滤波、噪声、JEPG压缩等常规信号处理具备较好鲁棒性,并且能够更好地抵抗旋转、缩放、平移及其联合等几何攻击     

一种基于图像边缘的鲁棒水印算法

本文基于图像的边缘,提出一种鲁棒水印算法．该算法使用Prewitt检测算子对载体图像进行边缘检测,并对边缘点进行选取,将水印信息嵌入在边缘点像素处的梯度方向上．由于人类视觉感知在图像边缘处的掩蔽效应,同时由于图像边缘的感知重要性和在图像处理中的稳定性,使得本文算法在不可见性和鲁棒性方面具有较好的效果．本文从理论上分析了算法抵抗攻击的能力．并在试验中得到了验证．同时结合人类视觉感知的掩蔽效应．提出了一种客观评价图像质量的方法．试验中对该方法进行了验证,并表明本文算法在该方法下具有较好的不可见性．     

一种高定位精度的安全JPEG图像认证水印算法

分析讨论了现有的JPEG图像认证水印算法存在的定位精度低和安全性差等问题，并实现了对现有认证水印算法的两种伪造攻击．在此基础上，提出了一种高定位精度的安全JPEG图像认证水印算法，推导给出了该算法在一般区域篡改和拼贴攻击下的篡改检测概率和虚警概率，该算法对每个图像块固定选取4个中频系数嵌入水印并利用剩余的DCT系数生成4比特水印信息，然后基于不同密钥分别选取每比特水印信息嵌入的图像块，使得每个图像块的4位水印随机嵌入在不同图像块对应的中频系数中，认证时根据图像块提取出的4比特水印信息并结合其九邻域判定该图像块内容是否被篡改．理论分析和实验结果表明：该算法不仅具有精确的篡改定位精度，而且具有很高的安全性和抵抗拼贴攻击的能力。     

基于混沌的公开可验证FPGA知识产权核水印检测方案

现有的FPGA知识产权核(intellectual property,IP)水印技术在公开验证时可能会泄漏敏感信息,使得恶意的验证者或者第三方很容易将水印从IP中移除然后重新出售.零知识FPGA IP水印检测虽能有效的解决敏感信息泄露问题,但易遭受嵌入攻击,使得公开验证时无法防止非诚实IP购买者(验证者)抵赖侵权.本文提出一种新的基于混沌的公开可验证IP水印检测方案,不仅能防止敏感信息泄漏,而且能抵抗嵌入攻击,防止证明者、验证者或者可信第三方的欺骗.传统的FPGA IP水印技术,水印隐藏在未使用的Slice中,因此资源开销与水印嵌入数量成正比.而本文提出的方案中,水印隐藏在已经使用的Slice的未用的查找表(lookup table,LUT)中,资源和时延开销为0;此外,混沌系统具有良好的随机统计特性且对初值敏感、易于产生数量众多的互相关性极低的伪随机数序列,混沌系统的这些优点刚好满足方案中对FPGA位流文件的LUT随机位置置换的特殊要求,使得位置置换具有极高鲁棒性;最后,引入时间戳机制来抵抗嵌入攻击以防止非诚实的IP购买者抵赖.实验结果和分析表明本文提出的方案在水印开销和位置置换鲁棒性方面均明显优于现有的方案.     

Contourlet域的灰度水印技术研究

为了提高水印算法的鲁棒性和安全性,提出一种基于Contourlet域的双重置乱灰度图像水印算法.首先对灰度水印图像进行Arnold变换和Baker映射双重置乱处理,提高水印安全性;然后将宿主图像进行Contourlet分解为一系列多尺度、局部化、方向性的子带图像,最后选择Contourlet低频系数嵌入水印,并采用明提取的方法获取水印.实验结果表明,该算法能有效的抵抗JPEG压缩、噪声、剪裁等攻击,具有较好的不可见性和更强的稳健性.     

基于对数缩放的幅度调制水印算法研究

采用对数幅度调制方式,实现了针对JPEG图像和MPEG视频流的一种具有低复杂性、高鲁棒性及安全性的水印算法.通过对分组区域的对数幅度值进行调制实现对水印信号的嵌入,而幅度调制过程是通过对组内中低频系数做不可觉察的修改来实现的.算法通过对系数的幅度值进行对数缩放,使得水印算法的鲁棒性由所有被选系数决定,而不是只受具有较大值的系数的影响,从而提高水印算法的鲁棒性和安全性.在水印容量方面,实现在512×512图像或视频帧中嵌入512个比特,基本能满足视频水印应用在水印容量方面的需求.实时性方面,水印嵌入用时为视频正常播放用时的1/6,水印检测用时为正常播放用时的1/12,完全满足视频水印的实时性需求.通过大量实验表明,算法不仅具有较好的感知透明性,而且对一些常见的攻击(如Gauss噪声、低通滤波、JPEG压缩、增减亮度等)和部分几何攻击(如线性偏移、剪切等)具有较好的鲁棒性.与EMW算法相比,本算法在鲁棒性和安全性方面的性能均明显提高.     

基于DWT-CT的遥感影像数字水印方案

提出一种基于DCT和DWT的遥感影像数字水印方案。首先对水印图像进行Arnold置乱预处理,以破坏像素之间的空间相关性,增强算法鲁棒性;鉴于小波变换良好的局部性和时频分析特性以及多分辨率分析特性,而离散余弦变换具有较好的聚能效应,算法将载体遥感影像进行DWT变换,并选取其子带图像HLl进行DCT变换;最后自适应的将数字水印嵌入所选子块的DC系数上。实验证明本文算法有效提高了水印的不可见性,对JEPG压缩、滤波和叠加噪声等攻击具有较好的鲁棒性。     

基于DWT和DCT数字图像鲁棒水印算法

基于离散小波变换和离散余弦变换,利用混沌系统的优良特性,提出一种新的变换域水印算法.水印嵌入时,首先将宿主图像进行小波变换后选取中频区域,再进行DCT变换,根据水印图像大小进行分块嵌入水印算法在保证不可见性的前提下,最大程度的保证了水印算法的鲁棒性.仿真实验表明,算法在多种攻击下表现出良好的鲁棒性,具有一定的实用意义.     

一个新型流密码体制的安全性分析

分析了一个新型流密码体制——COSvd（2，128）的安全性．COSvd（2，128）使用了钟控非线性反馈移位寄存器（NLFSR）和由混沌序列控制的S-盒，设计者声称COSvd（2，128）能够抵抗已知的任何攻击．然而，分析表明，该流密码体制的S-盒设计存在严重漏洞，它所产生密钥流的字节分布严重不均衡，在一些很重要的广播加密场合，这一漏洞会导致成功概率很高的唯密文攻击；此外，该流密码体制的其他构件的设计也存在许多漏洞，根据这些漏洞提出了一个分别征服攻击，该攻击能够从O（2^26）字节的已知明文恢复出COSvd（2，128）的所有密钥，其成功概率可达93．4597％，复杂度为O（2^113），显然这种攻击的复杂度大大低于穷搜索的复杂度2^512．     

超晶格纳米线热传导的分子动力学模拟

采用非平衡态分子动力学方法模拟了超晶格纳米线的几何形变与热传导性能. 模拟结果显示, 由于界面晶格不匹配, 在超晶格纳米线内部发生了明显的几何形变. 对于周期长度固定的超晶格纳米线, 界面热阻在总热阻中的比例及导热系数不随周期数改变而改变. 随着周期长度的增大, 超晶格纳米线的几何形变量逐渐减小, 导致平均界面热阻逐渐增大, 表明界面热阻不仅取决于界面层的材料特性, 同时也与超晶格结构的几何形变量相关, 在声阻不匹配模型中应考虑纳米尺度下材料晶格结构的变化. 仿真结果还证实了尺度效应对低维结构热传导性能的影响, 即随着超晶格纳米线横截面面积的增大, 导热系数将增大.     

基于质心的混合域半脆弱音频水印算法

针对现有很多(半)脆弱音频水印算法采用二值图像作水印所存在的安全缺陷问题,以及基于内容或特征的第二代数字水印技术所存在的适用范围有限,部分特征点易被水印操作和信号处理所淹没的问题,提出了一种新的基于质心的混合域半脆弱音频水印算法,推导给出了客观评价水印不可听性的信噪比理论下限,并理论分析了水印嵌入容量和篡改检测能力.该算法对每个音频帧计算质心并实施密码学中的Hash运算生成水印,将水印加密后在DWT和DCT构成的混合域嵌入到含有质心的音频子带上.理论分析和实验结果表明:该算法具有很好的水印不可听性,对不同类型音频均能实现准确的篡改定位,同时具有良好的容忍非恶意常规信号处理的能力.与现有算法相比,不仅有效解决了音频内容真实性和完整性的可靠认证问题,而且推广了基于内容的音频水印算法的适用范围.     

基于DTE技术的完整性保护形式模型

为实现结构化保护级操作系统的完整性保护，本文在深入分析完整性策略的结构和涵义的基础上，提出了基于DTE技术的完整性保护的形式模型；该模型由两部分组成：配置DTE的基本规则和状态迁移模型，前者解决如何设置相应的域和型，后者解决在系统变迁过程中如何维持初始设置获得的安全不变量．模型设置了10个不变量，特别提出了新的处理信息流的不变量，并探讨了与文献中相关不变量的关系．以可操作性很强的方式描述了13个具有良好原子性的迁移规则．随后，证明了相应的安全基本定理．在深入分析文献中现有模型与本模型异同的基础上，探讨了不变量设置的合理性．最后，指出未来要完成的工作，特别，用本模型去分析SELinux的安全性是可能的．     

辫群上的共轭链接问题及基于辫群的数字签名方案的新设计

量子计算的发展给经典公钥密码系统的安全性构成了严重威胁,因此探索新的公钥密码平台、设计新的可抵抗量子攻击的密码方案成为信息安全理论的前沿课题.辫群密码系统是具有抵抗量子攻击潜力的密码系统之一.本文分析了基于辫群的密码学的研究现状,提出了辫群上的新密码学难题——共轭链接问题.基于此问题,本文构造了一种新的基于辫群的数字签名方案.该方案不仅高效,而且在随机预言模型下具有可证明安全性.本文亦将基于辫群的签名方案与基于RSA的签名方案做了对比.结果表明:基于辫群的签名方案的签名效率要远远高于基于RSA的方案,但是签名的验证过程较慢,因此适合于那些签名需要迅速完成而验证可以相对延迟的应用场景(如离线电子货币系统).此外,基于辫群的密码系统的密钥长度较大——私钥约2K比特位,公钥约12K比特位.相对于模指数等运算而言,辫群运算非常简单,因此可以考虑在那些计算能力相对较低而存储空间不太紧的设备上使用.最后,本文也从隐藏子群问题的角度对辫群密码系统抵抗现有量子攻击的能力进行了讨论.     

基于拥塞控制与RS编码的自适应有效Internet视频传输

提出一种自适应拥塞控制与自适应RS(reed-solomon)编码差错修复相结合的有效Internet视频传输新方案. 针对Internet共享信道的QoS波动特性而设计的一个带有速率控制参数可调的自适应拥塞控制机制的视频流协议AVSP, 使视频传输具有对网络状况波动的快速反应特性和一定的TCP友好性. 在不增加系统总带宽的前提下, 与拥塞控制相结合的可变参数自适应RS编码MPEG视频传输差错修复, 有效地增强了Internet分组丢失差错环境下视频传输的鲁棒性.     

基于价格协调的供需链宏观水平调度问题

供需链作为整体参与市场竞争要求企业能够相互协调，以达到全局优化．研究了一种针对按订单生产的汇集型供需链的协调优化方案，提出了组合订单竞争策略，建立了宏观水平调度模型．该方案通过松弛企业之间的交货期约束把供需链按企业分解为独立的子问题，从而可以使企业在协调中心的指导下，按照局部信息进行分布式决策，从而对试探订单进行分配，对合同订单进行调度．方案中对偶问题的优化是关键的理论技术，定义了广义对偶函数和广义代理次梯度，提出了一种不依赖于任何先验知识的变直径广义代理次梯度投影算法，并给出了算法的收敛性和收敛效率的证明．仿真算例结果表明，价格实现了收敛，订单分配和优化是合理的．     

基于激波形状控制的定几何高超声速可调进气道概念及初步验证

针对现有定几何高超声速进气道低马赫工作时流量系数低、溢流阻力大, 变几何高超声速进气道结构复杂、附加重量大、可靠性低等缺点, 提出了一种基于激波形状控制的固定几何高超声速可调进气道概念, 给出了其实现模式, 并进行了初步的验证. 研究结果表明, 该可调进气道能够依靠自身的高压驱动来实现对口部波系、有效喉道面积的调节, 使进气道在低马赫数下的流量系数相对于常规定几何高超声速进气道提高20%以上, 前体阻力系数下降8%以上, 其性能特征对于改善高超声速飞行器的低马赫数加速性能特别有利.     

关于Crypto＇05上的广播加密方案的一种盗版解码器

在Crypto’05上，Boneh等人提出了两个广播加密方案．他们的工作具有令人振奋的结果：用户的私钥以及广播的密文均为固定长度，与接收者的数目无关．在他们的文章中给出了一个开放性问题，也就是希望能够为他们的广播加密方案设计一个叛逆者追踪算法，并通过对该追踪算法和他们的广播加密方案进行结合，得到一个有效的追踪及撤销系统．文中对该开放性问题给予了否定的回答．具体地说，给出了一种方法，使得3个或3个以上的叛逆者可以合谋出一个针对他们的广播加密方案的盗版解密器，并且还证明了不可能存在追踪算法来找出这些叛逆者．我们的盗版解密器可以类似地应用于Lee等人在ISPEC’06上提出的广播加密方案．     

基于自适应尺度的遥感影像渐进配准

图像配准是遥感图像处理中的基本问题.本文针对多源多时相遥感影像的特点,提出了一种基于自适应尺度的渐进配准方法,在从粗到细的迭代配准过程中,可以通过上一次配准结果的几何定位误差来确定本次匹配的尺度,并按该尺度提取特征角点和特征邻域进行匹配,与常规金字塔渐进配准方法相比,减少了匹配次数,提高了配准效率.另外,特征提取和匹配过程中提出一种基于Harris-Laplace算法和相位相关算法的遥感影像配准算法,利用Harris-Laplace角点代替原始图像,能够综合区域和特征的优点,对亚像元偏移、旋转、尺度变化具有不变性,同时对对比度和灰度的变化不敏感,具有很强的抗噪性.在特征检测和匹配的过程中采用限定搜索区域、抽稀角点等多种优化策略来提高算法的性能.实验证明,算法具有很好的精度,对几何攻击具有很好的鲁棒性,该算法已经应用于CBERS-02B星3级数据的批量自动化生产,具有很好的应用效果.     

公平交换协议的一个形式化模型

基于对现有公平交换协议的研究，使用求精过程建立了精确的形式化结构模型，在这一过程中，使用不可靠信道模拟攻击行为．模型首次给出了交换项的形式化定义，提出的公平性、可追究性目标能够更加完整地反映公平交换协议的内在要求．为了能高效而又细致地对协议进行检测、证明和设计，模型提出了适用于所有公平交换协议的不可滥用性的新性质，给出了第三方可信赖串的定义和设计安全高效的公平交换协议的一般准则．文中通过一个典型的公平交换协议分析实例，阐明了使用该模型分析公平交换协议的详细步骤．发现了一种过去从未发现过的新攻击，给出了攻击发生时系统运行的全过程，深刻揭示了攻击发生的各种原因．最后，对有缺陷的协议进行了改进，改进后的协议满足所需要的各种性质．