安全协议SSL与SET的分析与比较

安全协议是目前电子支付技术安全问题中的热点，安全套接层(SSL)和安全电子交易(SET)是电子商务中支持支付系统的关键技术。本文分析了这两种协议的原理，并对两者的特点进行了对比，最后对安全协议在我国的发展趋势做出了预测。     

无线传感器网络SPINS安全协议分析与改进

针对传感器网络不仅有更多的攻击方式,而且可以采用的防御手段也极为有限的问题,文章从安全协议的设计角度出发阐述了无线传感器网络存在的安全问题并有针对性地提出了解决方法。在详细分析SPINS[1]协议安全特性的基础上指出了该协议尚存的安全问题,并对协议进行了有效的改进。     

一种基于IPSec协议的安全网卡的研究与设计

随着网络数据开放性,共享性的不断扩大,人们越来越重视网络传输的安全问题,针对这一问题,本文首先对IPSec协议族进行了研究,介绍了IPSec安全机制及应用,分析了认证头协议、封装安全载荷协议的结构及其关键技术。在此基础上提出了一种基于IPSec协议的安全网卡的设计模型,并阐述了此安全网卡的工作原理。     

若干认证协议的安全问题

介绍了安全认证协议研究中经典的安全问题。指出了文献[1]中两个协议的安全漏洞。     

802．11无线网络WPA安全体系的研究

从现有的无线局域网的安全问题入手，研究了最新的无线局域网安全协议WPA，其中包括了802．1X认证协议和TKIP安全加密算法，并对即将推出的802．11i安全协议进行了介绍.     

UPnP设备权限控制及安全协议的研究与设计

UPnP协议已经越来越多的应用到局域网络以及家庭智能网络中,但是由UPnP带来的安全问题也越来越受到重视,并且相关的解决方案很少。本文在介绍UPnP组成及工作流程的同时,也对UPnP容易引起的安全问题进行分析,进而作者提供了一种由安全控制台来对设备进行权限控制、设备和控制点之间进行加密传输的安全协议。此安全协议能够有效保护数据完整性、保护信息的不可抵赖、防止重发攻击等。     

新的车辆远程诊断授权协议

诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议（PVAUDS）中存在的问题,提出了新的车辆远程诊断授权协议（PVAUDS+）。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。     

无线传感器网络安全路由协议分析

传感器网络系统安全中安全路由协议是非常重要的环节,而且也制约着无线传感器网络的使用。安全路由协议的设计和实现由于传感器网络本身的一些特性而面临着挑战。文章对攻击网络层的各种形式进行了总结,从需求、研究现状等方面对路由协议的安全问题进行了分析,并提出了解决这些问题的方式,指明了未来研究的重点。     

EAP-TLS协议的分析及改进

21世纪是信息高速传递的时代,人们对快捷数据访问的需求急剧增加,传统的有线网络已无法满足人们的需求,无线局域网应运而生。但由于无线局域网信道的开放性,其安全问题越发突出。为了实现安全的网络接入,对可扩展身份验证协议-传输层安全性(EAP-TLS)协议进行了研究,详细分析了协议中可能出现的安全漏洞以及其可能遭受到的安全威胁,最后对该协议存在的不足之处进行了改进。     

Kerberos协议的形式化分析

认证协议是网络环境中一类重要的安全协议，对协议进行形式化分析是保障其安全性的主要手段。文章以BAN逻辑为工具．分析了网络中常用的Kerbems认证协议。结果表明。Kerbems协议达到了预期的认证目标。     

PKI及其在电子邮件系统中的应用

本文首先分析了现有电子邮件系统及其安全问题，然后归纳出一个安全的电子邮件系统应该具有的基本特性。而要实现安全电子邮件，必须借助于密码算法。因此在最后提出了如何基于PKI，设计一个安全的电子邮件系统。     

光网络中基于SRLG约束的动态RWA算法

在IPoverWDM光网络中,需要为每条工作光路提供光通路保护,即提供一条保护光路。光网络中引入了共享风险链路组(SRLG)的概念,要求工作光路与保护光路不共享风险链路组。不考虑波长分配提出一种新的启发式算法,该算法同时计算两条SRLG分离且总费用低;在此算法基础上利用分层图的思想,提出WDM网络中的一种在SRLG约束条件下的动态选路波长分配算法。     

Increasing end‐to‐end fairness over IEEE 802.11e‐based wireless mesh networks

In this paper, we discuss the issue of fairness in the IEEE802.11e over wireless mesh networks. Fairness is an important factor that we have to achieve before talking about QoS. Inspired by social networks approximations, and to achieve fairness and provide QoS by regulating heterogeneous traffic, we extended the original IEEE802.11e protocol by introducing a new algorithm based on the ‘token bucket’ concept. We also treat the problem of exposed/hidden nodes. Simulation results show that the proposed approach offers better performance than the IEEE802.11e one. Copyright © 2011 John Wiley & Sons, Ltd.     

光轴任意取向单轴晶体非正入射工作状态

在单轴双折射晶体中，考虑到折射Ｏ光和ｅ光的两者的主截面实际上是不相同的，选择一个主轴坐标系，使其某一坐标平面为ｅ光线的主截面，并在这个坐标系中分解出ｅ光的Ｄ振动矢量。这样就得出了对ｅ光振动矢量的较为严格的描述。     

Is code equivalence easy to decide?

We study the computational difficulty of deciding whether two matrices generate equivalent linear codes, i.e., codes that consist of the same codewords up to a fixed permutation on the codeword coordinates. We call this problem code equivalence. Using techniques from the area of interactive proofs, we show on the one hand, that under the assumption that the polynomial-time hierarchy does not collapse, code equivalence is not NP-complete. On the other hand, we present a polynomial-time reduction from the graph isomorphism problem to code equivalence. Thus if one could find an efficient (i.e., polynomial-time) algorithm for code equivalence, then one could settle the long-standing problem of determining whether there is an efficient algorithm for solving graph isomorphism     

Engineering the polarization-dependent saturation in quantum-wellsurface-emitting semiconductor lasers

We discuss how the polarization dependence of the saturation in vertical-cavity surface emitting lasers (VCSELs) can be influenced by the design of the quantum-well (QW) gain medium. As an important concept in our discussion, we use carrier reservoirs, i.e., we separate the carrier population into a number of subpopulations. Specifically, we treat VCSELs in which the carriers are separated on the basis of their spin, their momentum, or on the basis of their spatial position. By numerically analyzing the rate equations for one specific case, we show how a properly chosen polarization dependence of the saturation leads to polarization self-modulation     

Hierarchical detection of persons in groups

In this paper, we address one of the most typical problems of person detection: scenarios with the presence of groups of persons. In this kind of scenarios, traditional person detectors have difficulties as they have to deal with several simultaneous occlusions. In order to try to solve this problem, we propose the use of two different hierarchies. The first one consists of a hierarchy of persons, i.e., the use of the detection of different persons belonging to a group in order to refine the individual’s detections. The second one consists of a hierarchy of parts, i.e., the use of different combinations of body parts in order to refine the final detections. Experimental results over several video sequences show that the proposed hierarchies significantly improve the results with respect to different approaches from the state of the art.     

Random waypoint mobility model in cellular networks

In this paper we study the so-called random waypoint (RWP) mobility model in the context of cellular networks. In the RWP model the nodes, i.e., mobile users, move along a zigzag path consisting of straight legs from one waypoint to the next. Each waypoint is assumed to be drawn from the uniform distribution over the given convex domain. In this paper we characterise the key performance measures, mean handover rate and mean sojourn time from the point of view of an arbitrary cell, as well as the mean handover rate in the network. To this end, we present an exact analytical formula for the mean arrival rate across an arbitrary curve. This result together with the pdf of the node location, allows us to compute all other interesting measures. The results are illustrated by several numerical examples. For instance, as a straightforward application of these results one can easily adjust the model parameters in a simulation so that the scenario matches well with, e.g., the measured sojourn times in a cell.     

利用Duffing方程组检测随机相位的正弦信号

讨论用16个能产生混沌现象的方程来检测带有未知相位的微弱正弦信号。16个相位已经确定的方程的阈值事先求解出来。当未知相位的信号通过系统时,逐个验证方程,看是否有混沌向大尺度周期运动转变的方程,如果有,则此方程可以作为检测信号的方程,若没有则继续实验,最后必然会出现一个甚至多个相轨迹转变的方程。用能够出现相轨迹转变的方程...     

规则序列与奇异非线性移存器--求解快速自启动反馈函数

本文提出由非线性移存器产生规则序列的问题 ,它的用途之一是可以用来取代移位计数器传统的逻辑设计。研究表明 ,求解快速自启动产生规则序列这一问题其实质就是要寻找一个或一批奇异非线性移存器 ,且使它或它们的状态图仅有一个带若干短枝的圈。文中用状态转移变换的方法证明了一批快速自启动产生规则序列的奇异非线性移存器。