论文部分内容阅读
安全协议的人工实现是一个低效且易错的过程。安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C++的协议实现代码。Hlpsl2Cpp节省了人工实现协议的大量重复劳动,避免了人工实现安全协议带来的各种讹误和实现相关漏洞。
Hlpsl2Cpp——一个安全协议编译器
【摘 要】
：
安全协议的人工实现是一个低效且易错的过程。安全协议编译器Hlpsl2Cpp可以自动从用HLPSL语言描述的安全协议生成C++的协议实现代码。Hlpsl2Cpp节省了人工实现协议的大量重复劳动,避免了人工实现安全协议带来的各种讹误和实现相关漏洞。
【机 构】
：
清华大学计算机科学与技术系网络所信息安全组
【出 处】
：
计算机应用研究
【发表日期】
：
2007年06期
其他文献
通过仔细分析HTML标签的各种性质,提出了几种新的基于标签的隐藏信息的方法。在此基础上,提出并实现了一个基于HTML标签的信息隐藏模型。该模型具有隐藏容量高、隐蔽性、鲁棒性和安全性较好,并且具有弹性,能自动调节隐藏算法的参数,使得在满足容量的前提下,尽量提高隐蔽性。
鉴于网络流量复杂的奇异特性,采用多重分形谱分析其丰富的结构特征。首先构造出局域网流量的多重分形谱,并分析其特点;然后分析了谱参数与平均流量变化图的分布特点;进一步研究了多重分形谱参数与平均流量对数的关联关系。研究结果显示,多重分形谱宽度的变化与网络流量的变化十分相似,且最大与最小概率的多重分形谱函数之差的变化在某种程度上比流量的波动要提前一个时段,该结果为采用多重分形谱实现网络流量预测奠定了理论基
利用网络模拟软件NS-2对最近提出的端算法HSTCP、STCP、BIC-TCP、H-TCP和Fast-TCP进行了实验研究,从收敛性、稳定性、协议内公平性、RTT公平性、TCP友好性和带宽利用率等方面来比较它们的性能。
组件式GIS是开发地理信息系统的最新技术手段,成为环境管理与GIS综合集成的首选工具。以MapObjects为例,对基于组件式GIS开发循环经济管理信息系统的设计技术进行了分析,提出扩展系统开放性的方法,对信息查询、多源数据的图层处理及GIS与环境模型的集成途径进行了研究,结合程序代码,对如何实现系统功能进行说明,提出对循环经济管理中的特定对象进行动态跟踪的实现方法。
针对双目视觉中的图像立体匹配问题,提出了一种基于径向基神经网络的立体匹配算法。该算法提取图像的尺度不变特征变换(SIFT)特征建立特征匹配矩阵,对特征匹配向量进行约简,最后将约简的特征匹配向量输入径向基神经网络进行识别输出。仿真和实际图像实验表明,该算法的匹配正确率比标准的SIFT有所到提高。
提出了一种基于DHT技术的Web缓存共享方法。该方法使得企业网络中所有节点能够相互共享浏览器中的本地缓存,从而形成一个高效的、大规模的分布式缓存共享系统。针对Web缓存共享的系统响应迅速的要求提出一种路由步长为O(2)的路由协议,保证Web查询请求最多只经过一次转发就可到达目标节点。性能分析和仿真实验的结果证明其在路由可靠性、命中率、系统响应和缓存代价方面均有满意的效果。
通过对嵌入式处理器进行多媒体处理能力的扩展可增强其对多媒体数据的处理能力。以32 bit龙腾嵌入式处理器为基础,研究AltiVec技术以及超标量技术,设计了该处理器中支持AltiVec技术的多媒体协处理单元。该单元采用五级流水线,将指令动态调度技术分配到不同的流水线中,在提高处理性能的同时保证了设计频率。通过多媒体基准程序测试,该单元的指令IPC为1.2,SMIC0.18μm工艺库下,频率为350
提出了一种鲁棒性全景图像拼接方法。首先,为了缓和光照条件变化进行直方图均衡化;其次,利用相位相关的方法提取种子点,即重叠区域的高度纹理点,因为感兴趣区域(ROI)被限定在重叠区域,所以能得到更精确的对应点;最后,用加权块匹配算法(BMA)来最小化相机转动产生的图像扭曲问题。通过多种类型全景图像的峰值信噪比(PSNR)与其他算法相比,证明该方法具有很强的鲁棒性。
针对软件资源共享需求,给出了软件资源共享模型;比较了软件资源共享与网格的相似特点,设计了基于OGSA的软件资源共享系统,详细介绍了系统的体系结构和系统实现的关键技术。考虑到影响软件资源共享服务器性能参数的动态不稳定性和不可公度性,运用模糊多目标格序决策的方法对满足SRSR的软件资源服务器进行了优选。
结合对称密码算法中的DES、IDEA、AES和单向散列算法中的MD5、SHA-1、SHA-256等算法,提出了一种在同一文件内部采用多模式加密的方案,该方案比传统的单一模式加密的方案能更好地保证数据的完整性和安全性。详细描述了该方案的算法实现,通过试验验证了其实用性,同时分析了该方案的优点和不足。