安全协议的时限责任分析

本文针对安全协议中的时限责任问题,提出结合责任性与新鲜性来分析时间标记.这种思路体现在我们新的时限逻辑框架中,比较Kudo^[8]的方法,新的逻辑体系因为有对消息完整性的判断,能更有效地防止消息的篡改与重发攻击,且更加简洁和实用.     

Internet密钥交换协议安全性分析

ＲＦＣ ２４０９（ＩＫＥ）提供了一组Ｉｎｔｅｒｎｅｔ密钥交换协议,目的是在ＩＰＳｅｃ通信双方之间建立安全联盟和经过认证的密钥材料。文章分析了ＩＫＥ协议安全特性,以及两个阶段中实现各种安全机制的工作原理。同时,发现了存在的安全缺陷,并给出了修改建议。     

基于库函数的ORB运行时系统的研究

一、引言 OMG是对象管理组织(Object ManagementGroup)的缩写,该组织于1989年成立,目的是创建具有互操作性、可移植的分布对象计算标准。OMG对象管理体系结构(OMA)在一个较高的抽象层次上定义了用于分布对象计算的各种机制。OMA的     

基于KVM和QEMU的虚拟桌面系统的实现与应用

介绍一个基于开源Linux技术,尤其是KVM模块和QEMU项目开发的虚拟桌面系统的主要设计思想和实现框架.该系统集成了基于web的管理模块,实现对宿主机、虚拟桌面、模板、桌面池和存储域的管理功能,从而使得用户可以很方便地从传统PC、瘦客户端,以及其他智能设备通过标准的SPICE协议连接到作为进程运行在虚拟机服务器上的桌面.对该虚拟桌面系统的部署方案和应用场景进行了阐述.     

Internet安全议中的密钥交换技术研究

密钥创建是以为基数的数据保护的核心,同时也是Internet上对报文进行保护的关键,介绍了在Internet协议中两个通信利用Diffie-Hellman密钥交换技术协商创建密钥的几种方案,并就每种方案的特点进行了探讨。     

ElGamal知识证明及其在授权签名系统中的应用

离散对数签名方案的本质是密钥持有者给出了已知公钥的离散对数的知识证明,提出了ElGamal知识证明的概念,并给出了相应的性质,给出了用ElGamal知识证明实现授权签名的一种方案。