SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

大整数乘除运算在PC机上的实现

大整数在要求高精度的应用中非常有用.特别是大质数和一般大整数有一个极为重要的应用,就是关于计算机数据加密.在计算机数据加密技术中,常会遇到大整数的算术运算问题.由于所使用的机器和所用语言的限制,大整数的"乘""模"两种运算很难运用高级语言中的"乘""除"运算.提出了一种逐位存储、按字节运算的方法,并用C 实现了大整数的十进制乘除法运算,之后将提出的算法与类似算法的时间复杂度进行了比较,最后给出了算法的运行时间.     

对河南军工亏损企业走出困境的几点思考

对河南军工亏损企业走出困境的几点思考王玉柱,唐伯武今年以来,河南军工企业整个生产经营形势运行正常,大局稳定。１－６月份完成工业总产值、销售产值和销售税金分别比上年同期增长２３．５％、１７％和１４５．６％,全行业继续保持盈利势头,增利额４７４６万元。但...     

基于离散余弦变换的数字水印技术

针对当前在开放的网络环境下对数字产品版权保护和认证来源及完整性的需求,在人们寻求办法保护他们在网络上传输的信息时,数字水印变得越来越重要,提出了基于离散余弦变换的数字图像水印方案。利用离散余弦变换嵌入的数字水印具有感官上的不可见性,并且原图像信息丢失量少,根据离散余弦变换抗几何变换的性质,使水印图像能够抵抗缩放和剪切等一系列攻击。具有很好的鲁棒性。并且能使用密钥较高精度地恢复水印。     

基于数据库的MO图层控制机制

MapObjects中对图层的控制方法是预先将图层的控制信息写在程序里,在程序运行时对图层进行约束。这种通过编写程序进行控制的方法不但比较麻烦,而且当图层的控制方式发生变化时,维护困难。提出基于数据库的图层管理和控制机制,先将图层的控制信息放在数据表里,系统运行时动态读取图层的控制信息,实现对图层进行方便、直观地约束。     

基于访问控制的内网安全模型研究

内网安全是近年来逐渐为人们所重视的网络信息安全研究领域.通过分析企业信息网内部存在的主要安全隐患,提出了以基于角色的访问控制为基础,包括安全基础、安全建模、安全应用等三个概念层次的内网安全模型.其中,安全基础层通过统一资源表示法、用户身份认证、用户权限赋予等技术完成内网资源的分类与分配;安全建模层整合自安全存储、信息加密、抗否认等安全服务,是内网安全模型的核心;顶层是安全应用层,支持全面的安全应用服务.最后给出了内网安全模型的实现框架设计以支持内网安全问题的有效解决.     

水面舰艇编队编成多目标模糊优选模型及应用

本文克服以往优选决策只是定性比较的缺点,探讨了对编队总体作战能力和武器系统性能相互影响关系进行定量评估的方法,通过编队作战能力层次分析模型的建立,建立了编队编成多目标模糊优选模型。     

台军注重反水雷作战

多年来,台湾当局一直以抗登陆作战作为其战略指导方针。20世纪90年代后,台湾对其军事战略进行了调整,转而以海上反封锁和防空袭作为基本作战思想,并将反封锁作战作为未来的主要作战方式。为此,台湾当局十分注重发展反水雷作战装备,并已建立起一支具有一定规模的反水雷作战部队。     

拼搏之路

拼搏之路王玉柱,唐伯武河南中南机械厂是地处豫西南一个拥有３０００余名职工的大型兵工企业,是国家“六五”期间的重点建设项目之一。在“七五”军品高峰时期,也曾为完成指令性军品任务创造过辉煌的业绩。但自１９８９年以后,仅仅３—４年时间,工厂便从辉煌的顶峰跌...     

基于静止图象的数字水印算法研究

随着因特网和多媒体技术的不断发展,数字媒体已成为人们获取知识的主要手段,但也带来一系列的问题:如作品侵权、非法复制和传播等。而数字水印技术作为版权保护的重要手段,已得到广泛的应用和研究。概述了数字水印技术,并提出了一种新的基于静止图象的数字水印算法。该算法的密钥由原始图象、水印图象和随机数发生器的种子共同决定。而且,该算法能承受有损压缩、旋转、剪切等几种攻击,经实验证明具有良好的鲁棒性。