基于时间分割代理加密的一般性构造方法

基于时间分割代理加密是一种典型的代理密码方案,可以将解密权委托给代理解密者,从而减轻原解密者的解密负担,具有广泛的应用前景,但研究成果相对较少。基于身份加密可直接将用户的身份标识作为公钥,简化了公钥证书的管理,近年来受到广泛关注,研究者提出很多方案。根据基于时间分割代理加密和基于身份加密在算法构成和安全模型两方面的区别与联系,提出一个基于时间分割代理加密的一般性构造方法,并证明其安全性。该方法可将任意一个安全的基于身份加密方案转换成安全的基于时间分割代理加密方案。通过该方法得到标准模型下安全的基于时间分割代理加密方案,大大丰富了基于时间分割代理加密方案的数量和类型。     

《电子签名法》:连接网络空间与传统空间的法律

电子签名法是网络时代＂私＂法领域的霸王法律 首先,《电子签名法》不是一种宣誓性法律。目前《电子签名法》没有用好,是因为很多人没有明白它的司法证明价值。在此基础上,司法机关一直没有出台相应的司法解释。这就导致《电子签名法》在司法实务中一直没有发挥它应有的价值。其次,《电子签名法》是网络时代＂私＂法领域的霸王法律,不懂《电子签名法》就是不懂法律意义上的＂网络＂。《网络安全法》是网络时代＂公＂法领域的霸王法律。     

锦衣素服中的华彩文章

<正>《中国古代服饰研究》沈从文编著上海书店出版社2011年版细观文学史,有很多作家的创作都曾受到过时局的影响,其中有些人因此而改变了创作方向,比如沈从文。自二十世纪五十年代起,沈从文在小说创作上渐趋停止,而是将研究方向转向文物领域,通过潜心钻研,在中国古代服饰的研究上取得了很高的建树,撰写了巨著《中国古代服饰研究》。     

子程序在模具铣削编程中的应用

本文简介了子程序编程的基础知识,以实例形式论述了子程序在模具平面、凸模和多腔铣削加工编程中的具体应用。实践表明,使用子程序编程解决了因平面铣削走刀次数多、分层铣削层数多、多腔铣削腔数多而导致的无法进行的手工编程的问题,并能够克服数控自动编程程序可读性差、柔性差的缺点,缩短编程时间和工作量。     

SurfacePro3评测：制造业IT设备移动化是未来趋势

微软在2014年发布了全新的平板电脑Surface Pro 3,微软Surface自诞生之日起就饱受争议。有人认为它既是最轻便的超极本,又是最强大的平板电脑;同时也有人认为,它始终无法取代笔记本电脑,也比苹果或者其他安卓系统的平板电脑笨重很多。实际上,微软一直在努力证明其拥有研发横跨平板和笔记本电脑两大领域产品的实力,更号称Surface Pro 3是“无所不能”的设备。对于性能、工作环境、系统稳定性要求都十分苛刻的制造业来说,Surface Pro 3究竟是否可以做到“无所不能”,而Surface Pro 3这类移动化IT设备又是否可以适应制造业未来IT设备的发展趋势,且看以下测试。     

豪氏威马庆祝中国生产基地第100台吊机交付

2015年9月23日,全球起重、钻井和海底解决方案领域的专家豪氏威马在中国漳州生产基地举行豪氏威马中国第100台吊机交付仪式。豪氏威马中国所交付的100台吊机总起重能力高达65,000mt。第100台吊机是一架起重能力达1,500mt的重型桅杆式吊机,专为Jumbo公司的Fairmaster船舶打造。Fairmaster船舶同时配有两台1,500mt吊机,使其总起重能力达3,000mt。第100台吊机的交付奠定了豪氏威马中国的一个重要里程碑,同时也证明了豪氏威马中国生产基地的成功。豪氏威马首席技术官Joop Roodenburg表示：“豪氏威马中国的第100台吊机是为我们的客户Jumbo打造的第4台重型桅杆式吊机,它很好地展现了中国生产基地的生产能力及豪氏威马在桅杆式吊机方面的设计能力。豪氏威马首台桅杆式吊机诞生于1983年。我们很感谢长期以来老客户对我们的信赖,是他们的支持让豪氏威马中国能有现在的发展。”     

现教中心工作量统计系统的设计与实现

现教中心工作量统计系统针对通用windows平台开发,实现各科室职工工作量业务数据录入、修改、审核和不同职能部门领导查询对应的统计数据等功能,系统基本能满足工作量统计的各项需求,既方便个层级领导查阅相关工作量及工作状态,又使每一位工作人员能够随时查阅和填写自己的工作量.     

用计算机推理的方法求解数字填图问题

模拟人思考问题的过程．尝试用计算机推理的方法求解数字填图问题。     

InequalityProve及一个公开问题的求解

传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量个数的增加迅速降低。为克服这些局限性以满足众多实际问题的需要,并充分挖掘计算机在数值计算方面的能力,我们提出以区间分析为工具进行不等式的自动证明。该方法可以处理类型更为一般的不等式,只需对应的函数具有所需的高阶连续可微性质,并且该方法易于实现并行化。本文主要介绍这一方法在Maple系统上的实现,即InequalityProve,并以一个公开问题为例详细说明运用InequalityProve进行不等式证明的一般过程。     

一种开放网络环境下的分布式信任证明算法

目前大多数信任证搜集技术采用传统的信任协商方法收集信任证,这给信任服务器带来很大负载且存在信任证盲目搜索问题。本文介绍了一个信任分布式证明协商算法DPN。基于RTP策略语言,DPN能够智能地对信任关系进行远程证明或本地推演,从而能够提高信任建立的效率。DPN能够给出证明协商过程中的相关信任规则纪录,支持对信任建立过程的验证。分析了算法的正确性和完整性,并通过实验证明了算法带来的性能提升。