基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

昆山发展现代物流产业初探

现代物流产业是社会化大生产和网络经济发展的产物在经济全球化和信息化的推动下，21世纪将成为世界经济迎来现代物流产业高速发展的时代：而昆山是一座以外向型经济为主导的新兴工商城市，截止2003年，全市引进54个国家和地区的，3500多家跨国公司，国际资本达180亿美元。2003年全市完成进出口总额139.25亿美元，成为江苏省第一个进出口总额突破100亿美元的县级市，昆山外贸依存度达到268％。昆山出口加工区2003年出口加工区进出口业务达到58．71亿美元。     

基于能力的IT基础设施评价和规划方法

IT基础设施是IT组合的基础, 其在组织范围内为IT应用和核心业务提供可靠的共享服务.IT基础设施能力关系到企业战略及BPR的成功与否,已经成为企业战略选择的一部分,甚至是企业的一种潜在的核心能力.IT基础设施与企业战略之间的对应是战略对应的一个基本问题.文章提出了基于能力的 IT基础设施评价和规划方法,并建立了基于能力的 IT基础设施评价模型和规划模型.     

西部十二省市区2002年距离2020年全面小康的差距——设施与环境主要指标的比较

要在2020年实现全面小康的发展目标，必须注重基础设施的建设和加强环境保护。西部各省市区近年来做了大量的工作，取得了显著的成绩，但与2020年全面小康标准相比较，还有较大差距。     

信息安全与数学科学

随着互联网、计算机和通信技术的飞速发展,全球正步入信息化时代.每天有海量信息在互联网上传输,其中不乏有大量涉及政治、经济、金融及人们生活的敏感信息.     

现代农业de希望田野—记昌平国家现代化农业科技园

农业是国之根本,科技是第一生产力,用科技推动农业是发展的必由之路。     

浙江科技成果“飞入”北京奥运

2008北京奥运会投资规模约351亿美元，超过了过去108年所有奥运会投资的总和。其中，基础设施建设是重点投资领域之一。本届奥运会诞生了鸟巢、水立方等世界级的经典建筑，造型别致、具有世界级技术难度。在各项比赛中，更是启用了世界一流的比赛场地及其设施。这其中让我们骄傲的是浙江科技已渗透到这中间的角角落落……     

河南交通工程建设市场存在的问题分析与治理对策

近年来，随着河南省交通基础设施建设领域投资规模的不断扩大，工程的招投标活动也日益频繁起来。虽然交通主管部门已采取了种种措施，努力净化河南交通工程建设市场。但由于工程项目多、市场空前开放、投资主体多元化等原因，一些深层次的矛盾和问题尚未得到根本解决．下程招投标领域成为当前社会和群众关注的焦点问题。     

中国信息化绩效及当前存在的主要问题

文章从5个方面阐述了近些年来中国信息化发展所取得的绩效，分析了当前信息技术发展中存在的主要问题。     

科学研究的信息化：E-Science（摘要）

从信息化的角度去看，传统科研方法的缺陷主要是两点。其一，科研活动基本上是封闭的，或者说信息交流的程度远远不够。正是如此，历史上才有许多不同的人几乎同时各自独立地做出了相同的成果。其实，如果信息能够比较充分地交流的话，或许会减少很多不必要的重复劳动，而取得突破的时间也可能大大提前。其二，科研活动的手段受到很