论文研究LWIGMPv3协议在XORP平台上的分析与实现 .pdf

MiniGUI图形库在嵌入式Linux平台上的移植与实现.

Unity3D Sqlite library on the Android platform

研究分析了基于WindowsNDIS框架构建无线移动Adhoc网络路由协议测试平台的一般方法，提出了以NDIS中间层驱动形式创建动态源路由协议(dynamicsourcerouting,DSR)的设计

论述基于Petri网的Socks协议分析，通过对Socks协议的分解，给出了Socks协议各阶段的流程，并建立相应的Petri网模型，从而完成对Socks协议运行机制和实现原理的分析。

串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证

以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性、公平性和时限性,而且具有实现简单、执行效率高、可信第三方负担轻等特点。

基于Symbian平台的VoIP的设计与实现，马霞，，随着智能移动终端和移动互联网的发展，无线移动应用及服务为人们的生活带来了很大的改变，逐渐成为人们获取信息、进行通信的重要

ADAM在SaaS模式下的研究与实现，周新，凌咏红，本文介绍了ADAM技术，比较它和关系型数据库的优劣，指出它和关系型数据库结合使用增强了SaaS软件的安全性。进一步给出一个实例，分�

介绍了分布式医学影像分析与处理平台DMIP（DistributingMedicalImagingAnalyzingandProcessingPlatform）的设计以及在此基础上开发的数字医疗软件。D

企业级通信平台构建的研究与实现，顾成杰，，本文首先分析了主流即时通讯系统在企业应用中的不足。为适应企业需要，对即时通讯系统中采用的关键技术进行了改进，设计了一个整