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

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

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .     

九十年代计算机网络发展趋势

本文详细介绍了国外计算机网络发展的最新技术，并阐明了计算机网络发展的五种趋势．     

Analysis and compare of location technologies supporting LBS

Location technology is the key part of location based service. Different technologies have different accuracy, modifying to network and cost of operating. Also these technologies have limitation to network. This paper compares existing popular location technologies and gives some suggestions about choosing of location technologies in GSM and CDMA systems.     

钢筋焊接网在桥梁工程中的应用

钢筋焊接网应用技术是建设部重点推广应用的新技术之一.我国钢筋焊接网于20世纪80年代初开始应用,在近几年中得到了快速的发展,尤其是在桥梁工程中得到应用已非常成熟.钢筋焊接网桥面铺装设计简单,现场施工方便、高效,施工质量得到可靠保证.大量的工程实践表明钢筋焊接网的应用具有极强的优越性.     

《高等数学》学习方法探讨

从高等数学的知识体系及其学习的特点与基本要求入手,论述了学习高等数学的基本方法,即阐述了如何接收信息、如何消化材料和所学知识如何运用等问题。     

矿山贯通测量的工作方法

本文针对矿山双向开挖等特点,对贯通测量的误差来源及分配进行了说明,系统地叙述了贯通测量的工作方法,重点阐述了地面及硐内控制网的布测依据。     

L-smooth s-远域及网的s-收敛性

在L-smooth拓扑空间中借助于L-smooth半闭集给出了L-smooth s-远域、s-附着点、s-聚点等概念,进一步讨论了网的s收-敛,并研究了它们的一些基本性质.从而,丰富了已有的结果.