基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

TCS成为五级认证企业

全球领先的IT服务供应商，第一家年收入超过10亿美元的印度IT公司，塔塔咨询服务有限公司（TCS）今天宜布其已成为世界上首家同时达到综合能力成熟度模型（CMMI）五级和人员能力成熟度模型（PCMM）五级认证的企业。     

浅谈计量认证转版工作注意的几个问题

计量认证转版是每个认证实验室都要进行的内容，依据评审准则是一致的，但过程各有不同，我站在转版工作中有几点内容值得一起来探讨。     

天津甘泉集团依靠科技创新发展

天津甘泉集团公司是国内重要的水工业企业，是国内井用潜水电泵、污水泵、轴流泵、控制系统及配套产品的重要生产基地，也是地热利用、给排水工程设计、施工资质承包单位。公司经销网络遍及全国，产品行销30个省、市，并出口中东、东南亚等地区，其综合实力     

制造网络信息系统中企业客户端安全技术研究

阐述了制造系统和制造模式的发展所带来的网络信息安全问题.从制造网络信息系统的体系结构出发,分析了客户机/服务器形式的制造系统的安全需求,提出企业客户端安全是其中的薄弱环节.将客户端访问服务器的关键技术归纳为身份认证和访问控制两大方面加以详细论述,并针对基于应用服务供应商模式的网络化制造系统客户端安全问题,提出了相应的解决方案和实施策略.     

移动通信系统安全机制发展的研究

从移动通信系统演进的角度介绍了安全机制的发展历程,分析研究了2G的安全性措施,阐述了3G认证签权方案及其优缺点,并对移动通信安全机制提出了一些见解。     

浅析基于ASP.NET的Web网络应用程序的安全开发

Web网络应用开发中,安全性是要考虑的关键问题,本文作者从系统规划阶段、设计开发阶段、发布运行阶段三个方面详细阐述安全策略的实现,总结出如何充分利用ASP.NET的安全机制、数据库安全控制、增强管理员网络安全防范意识,构建性能安全的Web应用程序。     

关于建设工程试验室计量认证中几个问题的探讨

对在建设工程实验室计量认证工作中遇到的问题进行探讨,以利该项事业的进一步拓展。     

远程开放教育教学质量保证的几点构想

如何保证“中央电大人才培养模式改革和开放教育试点项目”教学质量，成为社会关注的热点，同时也成为“试点项目”能否永久生存的焦点。作者参加“试点项目”教育教学工作多年，实践证明：学员端正学习态度、教育机构加强学习全过程的监控并提供优质的教学支持服务、强化考试管理加强考风考纪教育，这些措施是保证和提高开放教育教学质量的有效方法。     

远程教学平台的开发与应用研究

随着信息技术和科学技术的进步,网络教育和终身教育在各行各业的兴起,越来越多的教师开始制作网络课件,尝试网络环境下的教学.观念的提升也随之带来了新问题技术上的约束.文章提出了网络课件平台化的思路,阐述了现有的网络教学平台对学生和教师使用上的一些问题,并对网络教学平台的进一步开发提出一些合理要求和合理化建议.