一种无密钥托管的移动IPv6网络匿名密钥分发协议

针对基于身份的密码体制IBE中固有的密钥托管问题,本文提出了一个移动IPv6网络环境中的无密钥托管匿名密钥生成机制与分发协议.该机制将节点身份认证和密钥生成与分发这两个过程分离,利用不可区分性匿名密文安全性在PKG不知道节点地址的情况下分发私钥给经过身份认证的节点,使得私钥生成中心或认证中心即使被单独攻破,攻击者也无法实现身份碰撞.可将身份认证中心部署于家乡服务器,而将PKG离线部署.经安全性分析,协议有效解决了移动IPv6网络中基于身份密码体制的密钥托管问题.     

基于身份密码体制在无线局域网安全协议中的应用

通过引入基于身份(Identity-based)的公钥密码体制，提出了一个基于身份的802．11无线局域网安全认证结构．文中详细描述了从初步建立系统参数，动态的共享密钥的生成，到4-way握手的相互身份认证的认证协议过程以及Weil Palring的实现，并且通过上海交通大学无线网络测试，说明了该协议在安全性方面和实际应用中相对于目前的无线局域网安全协议的优越性．     

SET电子商务中更安全的密钥和证书保护方案

在Internet开放式环境中的身份认证是电子商务安全进行的前提和基础,文章对Set安全电子交易协议中身份认证进行了分析,提出了一种更为安全的密钥和证书保护机制——智能卡系统认证模型,该模型充分利用了智能卡的数据处理能力．     

可证安全的Internet密钥交换协议

针对IKEv2初始交换存在认证失败和发起者的身份暴露问题，提出了一种改进协议．新的协议采用SIGn-and-Mac认证方法来完成显式密钥认证，并且在协议中让响应者首先证明自己的身份，实现对协议发起者的主动身份保护．同时协议双方在自己发送的消息中包含期望的消息接收者来防止认证失败．另外协议中还引入了不可否认性，使得协议交互双方对自己发送的消息内容不可抵赖．分析表明：新的协议在Canetti-Krawczyk模型中是会话密钥安全的，并且性能上相对于IKEv2仅仅增加了一次对称加密运算，大大优于IKEv1．     

基于身份的高效层次认证密钥协商协议

现有的基于身份的认证密钥协商协议大多工作于单一私钥生成中心(Public Key Generator,PKG)环境下.提出了一种新的基于身份的层次认证密钥协商协议.该协议中,根PKG为多层的域PKG验证身份并生成私钥,域PKG为用户验证身份并生成私钥.多层PKG有效防止了单点失效问题,减轻了PKG的运行压力,提高了系统的承载能力.与已有协议相比,本文协议的计算开销与双方用户所处层级成线性关系,不含双线性对运算,具有更高的效率.协议的安全性基于计算性Diffie-Hellman困难假设,满足密钥协商协议所需的基本安全需求,具有PKG前向安全等安全性质.     

一个基于SOAP消息的Web服务综合安全模型

在通用Web服务模型的基础上，提出一种基于SOAP（简单对象访问协议）消息的Web服务综合安全模型．其中增加两个功能模块：Web服务安令平台，用来生成管理密钥对、数字证书和Web服务双方的身份认证；SOAP消息安全代理包，用来保障Web服务消息的安全性．利用现有的工具包对模型进行了实现，并在一个具体的系统平台上对其进行了安全性测试，结果表明对SOAP消息加密成功，同时实现了证书、密钥的发放和管理．保证了Web服务在一个安全的环境中运行．     

一种移动Agent的安全认证方案的设计与实现

针对移动Agent的安全问题，简要介绍了几种常用的安全认证技术，并在公钥密码体制认证方案的基础上，提出并实现了一种可用于移动Agent和Agent平台之间安全认证的方案。证书采用X.509证书格式，使用RSA和IDEA混合加密的算法，密钥管理采用PGP算法中公私钥环的方式，使该认证方案具有很高的安全性。文中详细说明了方案的实现流程，并深入分析了其安全性。结果表明，采用该方案能有效改善移动Agent的安全性。     

基于RSA算法的网络安全体系构造

提出了一种完全基于RSA算法的网络安全参考模型NetRSA．采用分布式KDC分配方案,并且对通信报文以加密方式进行数字签名,有效地防止了报文被非法窃听、篡改或伪造．本模型实现了密钥管理、加密管理、数字签名以及身份认证等功能,     

可选子密钥的门限追踪匿名认证方案

在现有的一些匿名认证方案中,成员不能自主选择子密钥,示证者不能自由选择匿名集,导致方案的计算代价较大,匿名认证过程较复杂.为了解决这两个问题,本文提出了一种新的门限追踪匿名认证方案.该方案允许成员自主选择子密钥,计算屏蔽子密钥作为签名私钥以保护成员的子密钥;示证者使用自由选择的匿名集和自己的签名私钥,借助1/n签名实现匿名认证;基于Lagrange插值,t个成员合作实现门限追踪,并验证追踪到的示证者身份的真实性.与现有方案相比,该方案计算代价较小,成员自主性更大,匿名认证更简单,匿名追踪更安全.在离散对数假设和DDH(Decisional Diffie-Hellinm)假设的前提下,该方案满足匿名性、门限可追踪性,可抵抗外部伪装攻击和一致性攻击.     

互联网密钥交换协议匿名特性的CSP分析及改进

相对于以往的非形式化分析，文章对互联网密钥交换(IKE)协议的匿名特性进行了基于CSP方法的形式化分析，并提出了新的改进建议．与其他文献只能保护单方身份的改进方法相比。该改进方法能够同时保护双方的身份．     

基于U盘的嵌入式防火墙的设计与实现

将Netfilter／Iptables作为一个嵌入式防火墙产品进行研究，提出了一种基于U盘的嵌入式防火墙的设计方法及其实现的技术．该防火墙基于x86硬件平台，将嵌入式系统软件全部集成在一个U盘中，并使防火墙能从U盘中启动．在设计中，该防火墙通过对Linux内核裁剪，实现了Linux系统通过USB端口中的U盘启动．同时，在系统中集成了嵌入式的Web服务器和用户的配置界面脚本程序，使用户通过Web界面对防火墙能方便地进行配置，实现其较好的实用价值。     

三态噪声诱导的无穷耦合粒子形成的系统随机共振现象

研究了无穷耦合粒子形成的系统耦合系数遭受三态噪声扰动时,系统所表现出的随机共振现象.首先,利用随机平均法和Shapiro-Loginov公式,得到了耦合粒子位置的一阶矩的精确表达式;其次,通过计算机模拟画出输出信号振幅与输入信号频率、系统参数、噪声参数之间的变化曲线;最后,从模拟曲线观察到系统不仅表现出了随机共振现象,甚至还出现了双共振峰,这在双态噪声诱导的无穷个耦合粒子系统中是没有的现象.     

红外遥控远距离音视频切换器

设计了一种利用红外遥控进行远距离音视频切换的系统,阐述了该系统的工作原理及其实现方法．实用表明,该系统在各种监控领域中采用光耦技术,增大了抗干扰能力,减少了施工难度,具有很好的实用价值     

约束Hamilton系统在相空间中的对称性质

本文导出了奇异Lagrange量连续系统在相空间中规范变更时的Noether定理,导出了变更性系统在相空间中的Noether恒等式以及强守恒律和弱守恒律。基于该系统的对称性质,给出了一个反例,Dirac猜想失效。这里不像Cawley和其他作者那样,我们未将约束线性化。     

一种加载在uCOS-II内核上的嵌入式文件系统

分析了文件系统在嵌入式应用中的重要作用,在剖析了uCOS-II内核工作原理的基础上,借鉴FAT16文件系统,构建了一个适合嵌入式应用的文件系统FAT8,并详细介绍了如何在uCOS-II内核上实现。     

一种图论方法在电力系统故障恢复中的应用

引述了图论理论中的一个最大流问题的解法一标号法，并将其应用到电力系统的故障恢复策略的生成当中。文章首先介绍了有关标号法的基本内容；之后列出了标号法所用的临界约束和参量，讨论了电力系统故障恢复策略生成的具体部分，对在容量限制下故障系统的恢复，提出了一种数值研究方法。最后，给出了一个实际故障系统的恢复策略生成例子。     

计算机控制突波吸收器封装系统

介绍了一种计算机控制的真空玻璃封装系统，给出了控制系统硬件和软件设计．该系统采用插在主权扩展槽内的总线扩充卡作为I／O接口．系统适合于微隙突波吸收器及玻封二极管等的封装.     

基于嵌入式Linux的多路视频监控系统的设计

提出一套基于嵌入式的数字视频监控系统,以高性能的ARM处理器、嵌入式Linux操作系统为核心,以Internet为支撑,介绍了系统的硬件设计和软件设计.该系统采用USB摄像头及嵌入式芯片为硬件基础,通过内嵌WebServer的方式访问系统进行视频监控.     

分布式系统调试器IVD的系统实现

介绍了一个自主式智能车辆AIV系统的分布式系统测试床IVD系统.首先讨论了IVD系统的设计目标,然后在介绍AIV结构的基础上,详细地分析了IVD系统,按实时在线调试和离线重放两种情况进行一一讨论.该系统已在智能车辆AIV系统开发及调试实验中得到应用,实验结果验证了该系统是进行在线实时观察,离线分析问题的强有力的工具.     

高维分层混合模糊系统的规则缩减及逼近性假设检验

混合模糊系统,即通过调控参数将Mamdani和T-S合并建立的一种新型系统模型.混合模糊系统不仅能保持各自模糊系统的优良特性,还可大大缩减系统内部的模糊规则总数.为避免因增加输入变量引发高维混合模糊系统规则爆炸,基于混合模糊系统的分层表示,给出了分层混合模糊系统对连续函数的逼近算法.对比发现,高维分层混合模糊系统的规则总数可被大幅度削减.此外,通过实例模拟了一个三维混合模糊系统分层后的实际输出,并用统计学的t-假设检验方法检验了该分层混合模糊系统的逼近性能.