组合公钥（CPK）体制标准（V3.0）

组合公钥密码体制（CPK-Cryptosystem）是在椭圆曲线密码（ECC）上构建的基于标识的密码体制。CPK的组合密钥可由标识密钥和伴随密钥复合,或由标识密钥和分割密钥复合而成,组合密钥（Combined-Key）用（csk,CPK）标记。     

Web和Email安全

本讲的思想是介绍应用信息系统的安全。由于应用系统太多,且与用户开发关系密切,而Web和Mail是最常见的应用,因此这里重点介绍Web和Email的安全防护。     

数字签名与数字证书

随着Internet的日益普及,PKI(Public KeyInfrastructure)技术得到深入发展,引起广泛重视,它能有效地解决信息完整性和不可否认性等安全服务。数字签名(Digital Signature)与数字证书(Digital Certificate)是PKI中应用最有代表的两种应用。1 数字签名1.1 数字签名的原理 手写签名一直是纸介质文件签发者的身份证明,而数字签名则是电子信息世界中信息签发者不可否认的标     

热电冷联产系统的能耗特性

从系统基础能源消耗角度建立联产系统相对于分产系统节能判断关系式，并以实际热电机组为例进行计算验证，探讨了热电比、热效率、性能系数等参数对联产系统能耗特性的影响，研究发现：热电联产及在此基础上的热电冷联产的节能需满足一定的条件，相对来讲，冷电联供节能条件较热电联产更为苛刻。热电比、热效率和性能系数对联产系统节能影响程度明显不同；在联产系统中多效吸收机的应用并不总能使联产系统节能率增加，即使满足节能条件，对系统节能率的提升数量级也很小；热电冷联产系统相对于分产系统不一定节能，但从能的梯级利用原理讲，联产与分产系统相比火用 损的减少是绝对的，而这一部分火用 损的差值是联产的收益，也是热电联产的本质所在，据此建立了新的热电分摊理论模型。     

基于Markov链的椭圆曲线标量乘法算法性能分析

在椭圆曲线密码系统中,采用规范重编码、滑动窗口等优化技术可以有效提高椭圆曲线上点的标量乘法k·P的运算性能,但在实现中,需要对不同优化技术的算法性能进行定量分析,才能确定标量乘法的最优实现.本文运用Markov链对标量k规范重编码表示的滑动窗口划分过程进行了建模,提出了一种对椭圆曲线标量乘法的平均算法性能进行定量分析的方法,并运用该方法分析了不同参数下标量乘法运算的平均性能,计算了滑动窗口的最优窗口大小.最后,通过比较说明,采用规范重编码和滑动窗口技术的椭圆曲线标量乘法的运算开销比用m-ary法少10.32~17.32％,比单纯采用滑动窗口法也要少4.53~8.40％.     

Towards Risk Evaluation of Denial-of-Service Vulnerabilities in Security Protocols

Denial-of-Service(DoS) attacks are virulent to both computer and networked systems.Modeling and evaluating DoS attacks are very important issues to networked systems;they provide both mathematical foundations and theoretic guidelines to security system design.As defense against DoS has been built more and more into security protocols,this paper studies how to evaluate the risk of DoS in security protocols.First,we build a formal framework to model protocol operations and attacker capabilities.Then we pro...     

对中小型施工企业技术管理的思考

通过对中小施工企业技术管理存在问题的分析,提出推动技术进步的若干对策和建议。     

丧失绝对优势之后——关于国产软件企业生存和发展的对话

对于国内的软件企业来说,这几年来既得到了“18号文件”、“47号文件”的利好,也经历了多年销售额增长率超过20%的风光;但同时,又必须面对国内外企业1:4的竞争环境,承受实际利润大规模滑坡的生存压力。所有这些,最终加减乘除,得到的仍旧是国产软件企业的大面积集体悲情。想象可以乐观,但对手的强大更是事实,究竟国产软件拿什么来争取自己的生存空间?就相关话题,我们邀请到红旗Linux总裁赵晓亮、北京书生软件总裁王东临、国家科技部计算机软件处副处长李冰、北京大学软件与微电子学院院长陈钟以及北京金山软件副总裁葛珂一起进行了讨论。     

基于两种理论的新型脉管结构——锥形脉管

结合热力学和热声学两方面的理论,对脉管制冷机中的脉管的结构进行分析与研究,发现脉管的结构与其内工质的压力和温度的分布有很大的关系,只有使脉管的结构和工质的压力和温度的分布相匹配时,才能够使脉管制冷机的性能达到最佳.在此基础上,提出了两种锥形的脉管结构,并进行了数值模拟和实验上的验证.