认证测试方法的改进及应用

基于串空间模型的认证测试方法被证明是一种分析认证协议的有效工具,为了使之适用于类型更多、规模更大的安全协议,并提高其在协议的认证性、可达性、机密性、非否认性、会话密钥的新鲜性及主体间的关联度上的分析能力,对原有的认证测试方法进行改进,充分利用消息格式,细化分析步骤,增添相关符号以分析复杂协议的更多安全特性。利用该方法能缩减模型检测自动化工具的搜索范围,在解决空间爆炸问题的同时有效地找到多方协议的具体攻击路径,而且它对安全协议的设计和验证也具有一定的指导作用。     

诺基亚展望下一代互联网

由诺基亚和中国教育科研网(CERNET)联合在京举办的首届中国下一代互联网技术高级研讨会于近日在京举行。这是第一次在中国举行的有关下一代互联网技术的高级研讨会。下一代互联网的建设将帮助人们实现把互联网放进口袋的愿望。 下一代互联网网络的主要特点是IPv6协     

Internet安全框架刷新——SYBASE EAServer3.0增加安全密钥功能

Sybase公司近日宣布在Sybase Enterprise Application Server3.0(EAServer)中增加了更好的安全特性。EAServer是具有很强伸缩性的交付环境,它支持从最简单的动态数据驱动的WEB到完全集成的基于组件的信息系统。另外,Sybase还宣布与Entrust(R)Technologies公司进行合作,共同开发EAServer和Entrust的公用密钥架构(PKI)软件,以实现电子交易和通信的综合安全解决方案。除了允许客户为所有的企业应用程序扩展其安全框架以外,EASever还将对SSL安全协议支持超出了HTML范围,直到Power-Builder(R)、ActiveX、C 和CORBA。有了这些功能,Sybase可以很好地满足金融服务、政府机构以及医疗保健等市场中对交易信息和联机信息的安全性的需     

清华紫光提供教育服务

由国家教委、教育部、北京市教委、教育部牵头,中国少年报儿童新闻出版总社与清华紫光股份有限公司协办的“提高减负后的科技含量——用电脑笔描绘多彩年华”为主题的研讨会前不久在京举办。该活动的目的是希望通     

起重机滑轮组补偿臂架的优化设计

提出了在滑轮组补偿臂架起重机变幅机构设计中确定补偿点的最优化数值解法。这种方法基于优化设计的思想，利用电子计算机，选定必要的设计参量就可以得到最优化的设计结果。     

武汉石化油耗子长江水当成石油卖牟取亿元暴利

国家发改委能源研究所副所长戴彦德在“2005国际石油和化工节能技术发展论坛”上表示，一个国家经济发展的三个重要因素分别是人才、资源和资本，在中国高耗能产品出现过热的形势下，必须把节能当作中长期目标。     

利用VB在Solid Works环境下开发注射模参数化标准件库

随着CAD技术的发展,CAD软件在模具行业中的使用越来越普及.但同时业内人士对CAD软件的功能要求也越来越高,希望它更专业化和本地化.正是在此期望下针对模具行业的CAD系统的研制和开发就显地格外必要.文章就模具CAD系统中注塑模标准件库模块的建立提出了自己的一些思路.即以Solid Works为开发平台,通过Solid Works提供的API接口和利用VB强大的编程能力,在Solid Works环境下来实现注塑模三维标准件库的建立.为解决模具设计中大量标准件的快速造型提供了有效的途径,提高了模具设计效率.     

我国汽车电子产业现状分析

目前全球汽车产销量增长速度虽然缓慢,而作为汽车产业新兴增长点的汽车电子的市场规模却出现了加速增长的趋势。据统计全球汽车电子销售市场2002年销售额为1064亿美元(不含娱乐部分),2003年为1150亿美元,增长8.1%。预计从2002到2007年的5年中,全球汽车电子市场销售将以年平均增长6%以上的速度发展,2007年预计将达到1424亿美元。近年来中国汽车行业发展迅速,为汽车电子市场的扩大提供了积极推动,整个市场以的年增长率超过40%的,具体数据如图1所示。汽车电子产品主要可分为:发动机控制系统、底盘控制系统、车身控制系统、信息与通信系统,即我…     

展示新成就 迎接新挑战——Oracle Internet改变一切

主题为“Internet改变一切”的Oracle Internet大世界于近日在北京举办。这是Oracle公司举办的99年度规模最大的新技术、新产品及新应用的大型技术交流/产品展示会。 在本次展会上,“iSolutions”这一被称为“革命性”解决方案的计划引人注日。它可以帮助企业用户利用Internet技术简化业务流程,改善客户关系,开拓新的市场,成为灵活的,以信息为驱动的新型企业。“iSolutions”通过Internet连接和拓展整个价值链,将客户与供应商联系在一起,支持虚拟企业,使网上交易成为可能。如果用一句话概括“iSolutions”的精髓,那     

Sun将为系统集成商提供板级解决方案

Sun Microsystems公司宣布了一项倡议:Sun公司将为若干家经过挑选的系统集成商提供板级解决方案,以帮助他们创建强大的、低成本的、可运行在基于SPARC技术平台上的Linux解决方案。该倡议的结果将使基于Ultra-SPARC技术的母板运行在两种增长最快的操作环境下,即Solaris操作环境和Linux操作环境。 Sun的SPARCengine Ultra AXi处理器板能够使系统集