基于COM＋技术的Web服务封装研究

早期的信息管理系统都是用于实现企业特定的业务功能而建立的,包括对企业生产、供应、销售以及客户服务等的控制和管理。企业按照职能部门建立了各种企业信息系统,这些信息管理系统被其所在部门所使用,并在实际的工作生产中发挥了巨大作用。该文从整体考虑各个企业信息管理系统,并根据具体业务的需求对这些系统进行统一编排,通过一个合适的集成平台把现有企业信息管理系统进行有机的整合起来,使各＂信息孤岛＂联系起来。     

基于身份的一次性盲公钥方案

在现有方案的基础上,通过分析超椭圆曲线双线性对和基于身份的特点,给出了一个改进的基于身份的一次性盲公钥方案。该方案由用户和可信中心共同完成用户密钥的生成,克服了密钥托管问题,避免了由可信中心进行密钥管理所产生的安全隐患。新构造的方案能够抵抗伪造性攻击,具有不可欺骗性,又保证了一次性盲公钥的独立性,是安全可靠的。而且方案中用户在通讯时可以使用不同的公钥,解决了Internet通信中的匿名认证问题,实现了用户隐私的有效保护。     

基于能量预测的传感器网络信任机制研究

信任机制最近已建议作为一个无线传感器网络(WSNs)有效的安全机制.文中提出了一种信任机制(EPTM),该机制不仅可以防止被入侵的节点或者恶意节点选举为簇头,而且还设计出一种新型副簇头节点来监察簇头以防止他们的恶意行为.特别介绍了一种基于能量预测的方法来检测拒绝服务攻击(DoS)的节点,选出值得信赖的簇.最后通过仿真验证了机制的可行性,结果表明:EPTM可以有效防御拒绝服务(DoS)攻击.     

标准模型下的无证书代理环签名方案

由于无证书公钥密码体制是一种新型公钥密码体制,它既克服了密钥托管问题,又不需要使用公钥证书,而在标准模型下所构造的方案与在随机语言模型下所构造的方案相比,具有更高的可证安全性,因此,该文在标准模型下,提出了一个无证书代理环签名方案。与现有的代理环签名方案相比,它具有更高的执行效率和可证安全性,能够归约于CDH（computational diffie-Hellman）问题假定。分析结果表明：它既能有效抵制来自密钥生成中心和授权人的伪造攻击,又能满足代理环签名的其他安全性需求;并且,该方案具有更高的执行效率,只需要两次对运算。     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

基于ITIL运维服务管理体系的研究和设计

随着信息化应用的不断普及和深入,信息系统已成为支撑企业运作不可缺少的一部分,系统的运行维护也显得越来越重要。文章基于对ITIL最佳实践的研究,设计了一套IT运维服务管理体系,从而达到加强运维管理、提高运维效率、改善运维质量的目的,充分发挥信息化对企业的支撑和推动作用。     

物联网对图书馆事业的双重影响

作为信息产业的第三次浪潮,物联网技术的发展与应用为人与物、物与物之间的信息交换创造了一个全新的平台。国内物联网技术研究与应用的不断深入,将对图书馆事业的发展产生深远影响。文中探讨了物联网对图书馆事业的双重影响,分析了物联网技术带来的优势和挑战,最后强调了以技术为依托,回归服务本质的理念。     

利用RSS推送的主动服务解决藏书呆滞的研究

将通过系统提取的读者兴趣及需求信息与不断更新的RSS资源库进行比对,筛选出最能满足用户要求的RSS信息,并通过RSS主动推送技术,将资源及时发送给读者,是提高馆藏图书利用率,减少图书呆滞量的一种有效途径。     

基于Web Service的建材租赁管理信息系统的设计与实现

提高信息化管理水平对建材租赁企业的发展显得日益重要。在业务需求分析基础上,对系统进行设计,采用JavaEE架构,结合WebService技术及Hibemate＋Structs框架技术,以MySQL为数据库对建材租赁管理信息系统进行开发。该系统由Web服务和客户端应用两部分组成,具有跨平台应用、数据可共享与互操作、耦合度低、灵活性好、可扩展性和通用性强的特点,可向企业提供建材租赁管理信息服务。具有一定的推广价值。     

基于改进遗传算法的QoS感知Web服务组合

传统遗传算法在种群初始化的时候,普遍采用均匀取种法或随机取种法,这些方法生成的种群的平均适应度比较低,难以保证算法的搜索效率。文中提出一种改进的遗传算法用于QoS敏感的Web服务组合,采用两种不同的算法进行服务选择,避免了随机生成初始种群给算法带来的负面影响。并且,该算法将路径模板化以减少服务组合的工作量,用染色体可变长的编码方式来解决组合服务的多路径选择问题。通过仿真实验,与传统的算法相比,所提出的算法在实现服务组合时收敛更快,最优解的适应度更高。