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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于Web Service的多Agent虚拟企业伙伴选择方法研究

虚拟企业是未来企业生产经营和市场竞争的发展模式,在虚拟企业组建过程中,如何选择合作伙伴关系到虚拟企业的成败;该文论述了代表企业Agent的属性及代理间的交互协议,以及选择企业成员过程中使用的效用函数,给出了基于WebService的多Agent的虚拟企业组建模型,并通过应用实例予以验证.     

无线传感器网络MAC协议的节能机制研究

由于无线传感器网络节点使用干电池和纽扣电池供电的特点,限制了网络节点能量的使用。而传感器网络中能量的控制主要由MAC层和路由层完成,MAC层相对于路由层对能量的控制更为直接和频繁。文章分析了传感器网络的MAC协议中能量消耗的各种原因,并针对各种原因提出了相应的解决办法,可以较好地延长网络的使用寿命。     

网络自动售货机数据管理的研究

从数据管理的角度出发,对网络自动售货机的数据特点进行分析,并对前台数据的传输协议进行了研究与制定.研究和构建了网络自动售货机的数据库系统,把网络自动售货机的数据管理应用于实际当中.