一类选择性图像加密方案的安全性分析

对一类选择性加密方案的安全性进行了分析,并根据图像相邻像素相关性的性质,利用密文中泄露的信息和已知明文攻击方法,给出了针对此类加密方案的攻击方案.通过实验验证了攻击方案的有效性.实验结果表明,对于相邻像素相关度较高的图像,利用密文中未加密的信息可以用较少的明文恢复出较多的明文信息,说明了此类选择性加密方案对于相邻像素相关度较高的图像是不安全的.最后,针对已知明文攻击,对选择性加密方案提出了改进意见.     

动态服务流程模型混合分割方法及应用

为统一跨组织之间的服务流程定制问题,提出了基于高级Petri网的动态服务流程模型混合分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,根据组织的不同,分别放置在多个BPEL引擎上协同执行,在此基础上进行了模型混合分割的正确性验证.通过示例验证了BPEL流程模型混合分割执行的可行性,最后结合示例给出了支持模型混合分割的原型系统.仿真结果表明:动态服务流程模型混合分割方法支持下的多个BPEL引擎分布式执行比集中式BPEL引擎的集中编制有明显的优势,从而提高了服务流程引擎的吞吐率,也减少了服务响应时间的花费.     

面向P2P存储的分布式认证跳表

针对已有认证数据结构方案不能很好地解决P2P环境下的数据认证问题,在Goodrich认证跳表基础上,提出了分布式认证跳表(distributed authenticated skip list,DASL)并给出其设计思想及其在P2P环境下的存储方案.在仅利用分布式系统中最基本的分布对象定位算法locate的基础上,设计了对象查询路径获取算法、对象验证算法以及对象插入和删除算法,并应用概率论和数理统计的方法对DASL的代价进行了理论分析和比较,结果表明DASL方案优于全签方案.由于DASL的实现不依赖于分布式系统中locate操作的实现细节,从而具有简单性、可扩展性和可用性,因此易于应用到现有的...     

一类具有稳健无标度特性的LT码及其性能

编码符号的度分布是影响LT码编(译)码性能的关键因素.根据LT码译码过程的消息传递机制,构造一类具有复杂特性的网络结构.利用无标度网络具有平均路径长度最短的特性,提出一种具有稳健无标度特性的LT码.实验结果表明,该编码方案在编(译)码效率、冗余因子、译码成功概率等3方面都优于基于健壮孤子分布的LT码和基于次优度分布的LT码.该编码方案对数据在无线中继网络中的可靠、高效传输具有实用价值.     

软件服务持续优化运行的服务环境模型

面向软件服务在其完整生命周期中长期持续优化运行的需求,从环境建模的角度提出一种支持软件服务持续优化运行的服务环境模型.基于Pareto占优原则直接面向多维质量指标自底向上筛选服务,形成支持软件服务所有实例优化运行的最优服务环境,并通过随服务空间变化动态更新最优服务环境实现对软件服务优化运行的持续支持.给出了服务环境模型的定义及最优服务环境的初始构建和动态更新机制,实验验证了所提出的服务环境模型对软件服务持续优化运行的支持效果.     

质量预测及故障诊断建模过程中非线性特征提取

工业生产的质量预测及故障诊断建模过程中所涉及的特征数目大、复杂性高、非线性突出,造成了模型维数过高、时间复杂度高、计算精度下降.针对上述问题,提出了一种基于核主成分分析和粗糙集的特征提取方法,首先使用核主成分分析进行特征提取,再对提取出的特征用粗糙集进行约简,介绍了该方法的原理和具体实现步骤.并以某玻璃厂锡槽作业工艺为背景进行仿真实验,应用实际生产数据建立支持向量机的故障诊断模型,将应用核主成分分析、粗糙集及所提方法提取出的特征输入SVM诊断模型.对比三种方法的实验结果表明,基于核主成分分析和粗糙集的特征提取方法提取出的特征更优.     

复迭代映射z_(n+1)=_n~m+c的广义Mandelbrot集

研究了复迭代zn+ 1= zmn+c的广义Mandelbrot集 ,证明了其关于实轴是对称的 ,并且具有m + 1次的旋转对称性 ,得出周期轨道的稳定性条件及一周期轨道的稳定区域的边界方程·利用逃逸时间算法和周期点查找算法构造Mandelbrot集 ,可以更清楚地了解Mandelbrot集的结构     

M-J混沌分形图谱的标度不变性

研究了复映射z←z2+c所产生的MJ混沌分形图谱的特征参数,利用逃逸时间算法绘制MJ混沌分形图谱·以超吸引周期点为基础,通过计算机数学实验计算超吸引周期点之间的距离,找到Mandelbrot集的普适常数δ;通过在M集上的超吸引周期点所对应的充满Julia集中定义一些几何尺寸,求出J集的近似标度不变因子α,定性说明了MJ混沌分形图谱标度不变的特性·同时,发现Mandelbrot集周期芽苞的Fibonacci序列的拓扑不变性,阐述了Fibonacci序列是通向混沌的又一途径,为更好地了解MJ混沌分形图谱的结构奠定了理论基础·     

一种小波域图像水印算法

提出了一种基于小波域的图像数字水印算法.该算法将相互正交的两种水印(鲁棒水印和参考水印)同时添加到经过DWT后的载体图像小波系数中,然后用小波反变换得到添加了水印的图像.用提取出的参考水印来估计图像所受到的攻击,由于提取出的鲁棒水印所受的攻击与参考水印受到的攻击一样,因此可以估计出原始的鲁棒水印.通过对嵌入水印的图像进行加入噪声、滤波、压缩以及裁剪等大量图像处理等试验,均能正确检测出水印,表明该算法具有很好的感知效果和鲁棒性.     

软件工业人才培养中的安全软件教育

The combination of attacks and defects means that today's security problems involving computer and software are frequent,widespread and serious.Thus,producers can suffer serious costs and consequences,so the need for a workforce more skilled in software security is clear.It is very important for us to teach students issues about secure software engineering.This paper provides some ideas from several aspects-security concepts,software security properties,secure software development activities,secure software project management and secure software sustainment which can be a guide for cultivating software talents.