论文部分内容阅读
有向签名适用于税务单，法院传票等场合。就我们所知，基于身份的有向签名体制还没有被系统地研究过。因此，本文对基于身份环境下的有向签名进行研究。我们首先提出了基于身份有向签名的形式化定义和安全模型，接着提出了一个基于双线性配对的具体方案，最后在随机预言机模型下证明了方案的安全性。
基于身份的有向签名
【摘 要】
：
有向签名适用于税务单，法院传票等场合。就我们所知，基于身份的有向签名体制还没有被系统地研究过。因此，本文对基于身份环境下的有向签名进行研究。我们首先提出了基于身份有向签名的形式化定义和安全模型，接着提出了一个基于双线性配对的具体方案，最后在随机预言机模型下证明了方案的安全性。
【机 构】
：
上海交通大学电子工程系，上海，200240 上海交通大学电子工程系，上海，200240 上海交通大
【出 处】
：
第六届中国信息和通信安全学术会议(CCICS2009)
【发表日期】
：
2009年1期
其他文献
本文介绍了会话边缘控制器SBC在IMS架构中组网的应用场景，分析了两种SBC．用于接入的A-SBC和用于跨域互联的I-SBC，以及他们的典型功能，例如充当NAT服务器,进行拓扑隐藏，支持不同IP能力的终端或IMS核心网的互通等，重点研究了SBC在技术上是如何实现这些功能的．
频率合成器对通信系统性能有着重要的影响，本文介绍了一种Ka波段频率合成器的设计，详细分析了环路滤波器的设计，最后给出了实验结果。
伪码同步捕获是实现直扩通信系统有效传输的关键问题，本文针对直扩通信系统中通常采用的几种截获方法进行了对比，分析了各自的特点及适用场合.
对于放置在敌对和非开放地区的无线传感器网络而言，节约能源是至关重要的。靠电池驱动的传感器将迟早耗尽电池能量．如果可以利用再生能源，如太阳能发电或引力，就可以弥补有限的电池能量，进而延长传感器网络的寿命．本文，我们在原有leach算法的基础上，引入太阳能节点．仿真结果表明，基于太阳能感知的LEACH算法能显著延长传感器网络的寿命．
资源发现是网格系统中的重要问题。面向同一应用领域的网格，因为所处理的内容相近，可以进行资源共享．P2P是分布式系统，有动态性、可伸缩性等优点．它与网格有共同的目标：共享大规模资源．随着二者的发展，网格和P2P将结合成一个兼具二者特性的新系统．本文在现有网格之上加入了一个P2P虚拟层，以实现面向同一应用领域的网格间的资源发现．以chord和Gnutella两种模型实现该虚拟层，通过比较得出chord
本文首先提出僵尸网络生存性概念，对僵尸网络生存性进行了定义。分析了僵尸网络及其生存性技术发展历程，并讨论了Storm僵尸网络的生存性技术与策略，还提出了具有生存性的僵尸网络系统功能结构，定义了僵尸网络的基本服务。最后讨论了未来的僵尸网络生存性研究方向。
无线网络的开放性使移动通信网络面临着更多的安全威胁，如窃听和假冒等，安全技术受到越来越多的关注，本文给出了一种基于SDIO接口的智能移动安全终端系统的设计方案，实现了端到端的安全语音通信。文章首先介绍了高级加密标准(AES)在ATmega32平台上的设计与实现，其次给出了基于SDIO技术的加密卡的硬件设计及软件接口设计，并且针对语音通信的应用给出了移动智能终端(PDA)上的体系架构及对卡接口，最后
为了抵抗调整或转换数据流的时延特性来嵌入标记的匿名系统攻击，本文提出了一种基于数据包时延规范化的防御方法，以Wang等人提出的时间水印攻击为例，从理论上分析了本方法防御此类攻击的有效性，并通过实验仿真进行了验证。
Minix 3.0是一个微内核结构的操作系统，在此系统甲，内核的功能很少，它把进程服务、网络服务、文件系统服务等几大功能在核外实现。微内核系统的结构在安全性能方面有着很大的优势，但是Minix 3.0的内存管理模块做的很简单，没有实现基本的虚拟内存管理功能，本文阐述了在Minix 3.0上实现虚拟内存管理系统的设计思路。
在遥感图像、医学图像等领域，最初获得的图像分辨率往往达不到期望的水平。为提高图像的质量，发展了一种基于小波插值方法的超分辨率技术，根据图像小波变换和插值处理的特点，本文提出了一种将小渡分解与PDE插值算法相结合的图像超分辨率重建方法。实验结果表明了采用PDE插值的小波方法对于改善图像分辨率的有效性和可行性。