具有紧急消息的航电总线Petri网建模与性能分析

在航空电子综合化系统的设计过程中，总线系统的性能指标与整个航电系统的总体指标有着密切的关系。给出了一套完整的基于确定与随机Petri网的综合航电总线系统的性能评价的模型和算法。通过对总线系统的确定与随机Petri网模型的求解，给出了具有紧急消息的总线系统的两个重要性能指标总线负载、延迟时间，通过对性能曲线的分析，可以为综合航电系统的设计和完善提供重要的理论依据。     

中国数字科技馆集成方法研究

国家科技基础条件平台项目--中国数字科技馆需要对海量复杂资源进行高效集成和统一服务.由于其资源组织形式和类型的复杂性,对资源集成的内容和方法的研究显得十分重要.对于复杂类型与组织形式的海量数据的集成,运用异步消息处理机制,并结合资源元数据方法,研究中国数字科技馆特有的资源集成的内容、模式,并在此基础上构建资源集成系统,实现海量复杂资源集成过程的自动、高效和可控.     

基于Java技术消息传输服务的应用

介绍了JMS的消息处理模型和编程模型,并通过一个程序实例分析了实际应用中JMS技术的表现形式。     

基于公钥密码体制的信息安全技术研究(消息认证)

信息在网络中传输,有没有被非法地篡改,如进行添加、删除和替换等等,所以需要对敏感数据进行完整性认证,以保证网络中传输的信息的安全。另外一方面,用户在本地的敏感数据有没有受到病毒或黑客的破坏,也需要经常进行认证,以保证信息安全。本文主要介绍了加密、消息认证、数字签名等的基本概念,本文重点是消息的实现部分。     

基于J2ME的移动银行混合加密方案

移动网络的安全性是移动银行发展的关键,数据加密技术则是保证移动网络安全的主要技术之一,设计合理的数据协议、加密方案对移动银行发展具有很重要的意义。考虑到移动银行实现方式、传输数据量等因素,提出了基于无线消息与移动多媒体两种类型下混合加密方案,分别给出了两种类型下的数据传输协议、混合加密、混合解密的流程,并给出了两种混合加密方案时间与数据量函数图像,验证了方案的可用性。     

基于混合模式网络聊天系统的设计与实现

基于网络聊天通信系统的通用性和界面友好性,研究了网络聊天系统的设计原理及体系结构,给出一个基于C/S与B/S混合模式的即时通讯聊天系统的设计方案.方案设计采用XML表示数据,运用面向对象方法及C#.NET和ASP.NET等工具,实现了网络在线聊天系统的在线好友查看、发送消息、接收消息等功能.界面采用UML语言描述系统设计,并以图片形式显示效果.初步试用表明,系统运行稳定,具有较强的可扩展性和实用性.     

GSM短消息模块在气体自动测报系统中的应用

系统利用GSM短消息模块在现场与监控中心之间传递数据,实现对现场有害气体的实时远程监控,达到对爆炸等事故提前预警的目的.系统中采用主动队列管理算法BLUE,解决多点数据同时到达GSM短消息模块时数据排队问题,保证各观测点的数据实时、有效地发送到监控中心,并及时接收、执行监控中心的指令.     

消息

由上海市信息化委员会提出,上海市信息化培训协会负责组织起草的《上海市信息专业技术人才知识更新培训机构评估认定规范》和《上海市信息专业技术人才知识更新培训指定课程认定规范》,经过两个标准起草专家组的10余次讨论修改,经过市信息化人才培养专家指导委员会的审议和完善,于2007年11月6日向社会公示,广泛征求意见,并开始试行。     

可证明安全的多信任域认证密钥协商协议

为解决采用基于证书认证方式的网络用户与采用基于身份认证方式的网络用户之间相互认证的问题,利用对称加密、数字签名和消息认证码等技术,首先构造一个认证链路模型下会话密钥安全的认证协议,然后设计消息认证器把该协议转换成非认证链路模型下的会话密钥安全的认证协议,并对该协议的安全性进行了分析.分析表明,该协议实现了不同认证方式的信任域中用户间的认证、密钥协商以及密钥更新,并在Canetti-Krawczyk(CK)模型下满足安全属性需求.此外,该协议仅需4次通信即可完成,且扩展性好,为不同认证机制的网络用户间认证提供了一种较为实用的解决方案.     

离散对数数字签名算法的改进

分析了四类离散对数数字签名算法,分别给出了改进算法,证明了正确性和不可伪造性,与已有方案进行了复杂度比较,签名效率有不同程度的提高。