Comparative Study of Different Adaptive Window Protocols

We study an Adaptive Window Protocol (AWP) with general increase and decrease profiles in the presence of window dependent random losses. We derive a steady-state Kolmogorov equation, and then obtain its solution in analytic form for particular TCP versions proposed for high speed networks, such as Scalable TCP and HighSpeed TCP. We also relate window evolution under an AWP to workload process in queueing systems; this observation gives us a way to compare various AWP protocols.     

Diameter NASREQ协议在卫星移动通信系统中的应用研究

如何对接入网络的用户进行身份认证、授予相应权限并进行计费,是卫星移动通信系统网络管理需解决的重要问题。简要介绍认证、授权、计费(AAA)的基本概念,分析Diameter协议框架、协议原理以及协议应用于网络接入的特点。阐述协议中包含的各种应用,给出Diameter NASREQ应用的一种系统模型。重点研究Diameter NASREQ协议在卫星移动通信系统中的应用,详述应用中客户机和服务器中各模块的功能和工作原理。通过分析,说明该应用的可行性及有效性。     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

IPv6和基于IPv6的网络设计

对IPv6协议的主要内容进行了简要介绍,并针对IPv6的特点对基于IPv6的网络设计进行了探讨。     

OSI参考模型与B—ISDN协议参考模型的比较

分析了ＯＳＩ参考模型和Ｂ－ＩＳＤＮ协议参考模型之间的关系，为Ｂ－ＩＳＤＮ与以ＯＳＩ为标准的数据网的互联打下了基础。     

Macroscopic analysis of design processes based on a scheme for coding designers' cognitive actions

We have devised a new scheme for coding designers' cognitive actions from video/audio design protocols. Designers' actions are coded into four cognitive levels; physical, perceptual, functional and conceptual. Relations between actions belonging to different levels, such as dependencies and triggering relations, are also coded. The present scheme has two benefits. First, we found that design actions are definable in a systematic way using the vocabulary of the scheme, and thus a designer's cognitive behaviours in each of local design stages is represented as a structure composed of defined primitive actions. This is expected to lay the foundation for microscopic analyses of how particular types of actions contribute to the formation of key design ideas. Second, this scheme is suitable for macroscopic analyses of how designers cognitively interact with their own sketches. We examined, for a practising architect, the ways in which drawing, inspection of drawings, perception, and functional thoughts correlated with one another in his design process. The findings suggest that design sketches serve not only as external memory or as a provider of visual cues for association of non-visual information, but also as a physical setting in which design thoughts are constructed on the fly.     

新一代的国际互联网通信协议：IP Version6

本文通过对ＩＰｖ６和ＩＰｖ４协议的比较，讨论了新一代国际互联网通信协议ＩＰｖ６的特点，新增加的功能，并指出ＩＰｖ６协议的颁布对现有技术的影响和相应对策。     

链路连通性验证在链路管理协议中的研究

首先对链路管理协议中链路连通性验证功能进行了系统地分析,详细描述了其实现过程,然后对比性地讨论了链路连通性验证在SDH/SONET和DWDM网络中的修正和扩展.     

电子商务中SET协议的安全缺陷研究

目前SET协议在电子商务交易中应用越来越广泛,因此,对SET协议的安全性的要求就越来越高。论文在SET协议的交易流程基础上,分析了其安全机制采用的技术和优点,指出了SET协议安全性存在的一些问题。