基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

无可信中心的(t,k)门限RSA数字签名体制

提出了一种新的不需要可信中心的门限数字签名方案.在k个成员组成的群组中,只有t个或t个以上成员才能够代表群组签名,而少于t个成员则不能代表群组签名.方案基于Boneh等学者的分布式RSA密钥产生协议和Shamir秘密共享方案而构建.签名过程分为四个阶段:系统初始化、生成个体签名、生成群签名以及签名验证.在系统的初始化阶段不需要可信中心的参与,并且个体签名的生成、群签名的生成和验证都可以方便地实现.通过对方案的安全性分析显示,个体签名和群签名都是不可伪造的,并且在整个签名过程中都没有系统秘密信息的泄漏.     

多级桥CA模型构建及其LDAP服务器设计

为解决PKI信任体系互联互通问题,在对比分析现有PKI常用5种信任模型优缺点的基础上,借鉴已有信任模型,特别是桥CA模型的优点,提出了一个新的模型——多级桥CA信任（multilevel bridge certificate authority,MBCA）模型．阐述了多级桥CA信任模型的基本原理及其构建方法,给出了其总体架构;在总体框架下,对其原型系统中LDAP服务器进行了设计;并结合具体项目对方案的可行性进行了实验验证和分析．实验证明了该模型的可行性,有望对我国PKI建设工程有所帮助．     

多无人机协同探测快速目标的控制方法设计

针对无人机(unmannd aerial vehicle, UAV)对快速运动目标的协同探测问题, 设计了一种多UAV协同探测控制算法。首先假设每架UAV都携带相同的探测载荷, 根据载荷特性设计了针对快速运动目标的UAV协同探测队形。然后引入固定时间控制一致性协议到UAV载荷角度控制中, 控制载荷持续照射目标; 引入有限时间一致性协议到UAV编队控制中, 用以形成协同探测队形, 并通过二跳网络加快队形的收敛。通过将UAV队形控制与UAV载荷的角度控制相结合, 从而实现UAV对快速运动目标探测时间的最大化, 极大的延长了高速运动目标被发现的时间。最终通过理论分析和仿真实验证明了该控制算法的有效性。     

基于软交换与Media Portal的私网穿越方案

介绍了用于解决软交换系统中的网络地址翻译穿越问题的几种技术,分析它们各自的适用范围、适用对象和存在的缺陷,提出了一种新的基于软交换与Media Portal配合的私网穿越方案.     

税收筹划在现代公司财务管理中的运用

我国加入WTO以后,随着市场经济体制的完善,企业必须提高竞争能力以迎接来自国内、国际市场两方面的挑战。而财务管理活动是现代企业制度重要的构成部分,作为纳税主体的企业,正确认识税收筹划以及在实践中合理运用,是当前亟待解决和研究的重要课题。一、税收筹划的概念税收筹划是纳税人在遵守现行税法及其它法规的前提下,在税收法律许可的范围内,充分利用税法所提供的包括减免税在内的一切优惠,通过对经营、投资、理财等事项的事先安排和筹划,对多种纳税方案进行优化选择,从而取得节约税收成本、实现企业价值或股东财富最大化的活动。它在…     

TD-SCDMA网络测试仪中SCCP协议解码及上层PDU获取方案

以TD-SCDMA网络测试仪的信令分析功能作为研究背景,介绍了,3G协议栈中信令连接控制协议的基本概念、功能以及消息结构,并且在此基础上探讨了信令连接控制部分（SCCP）协议的解码以及针对实际数据的组装 方法,目的是对网络测试仪中SCCP模块的软件实现提出解决方案。该协议位于协议栈的传输层,其分析思路和 方法对研究传输层的其他协议具有指导和推广意义。     

基于PHP的流媒体视频点播网站的设计与实现

在阐述流媒体技术、流式传输协议以及PHP技术的基础上,以甘肃科技电视网为例,详细介绍了三层结构下基于PHP技术的视频点播网站实现的软硬件环境、关键技术和具体步骤,为实现大规模多媒体实时点播系统的设计提供参考.     

机会网络研究进展

随着移动通信设备的普及,无线网络逐渐成为网络领域的热点研究内容。由于无线环境通信具有大传输时延、间歇性连接以及高误码率等特征,传统的面向连接的网络形式面临了巨大的挑战。机会网络(Opportunistic Network)的出现,为组建无线网络提供了一种新模式。机会网络采用"存储—携带—转发"的路由机制,信息传递通过节点移动带来的相遇机会实现,从而能够为缺乏持续端到端连接的网络提供通信服务。系统地介绍了机会网络的概念、结构以及节点移动模型、路由机制、拥塞控制等方面的研究进展,并对其未来的研究方向进行了展望。