简介：因特网渗透到现代人类生活的方方面面,它具有开放性,但目前我国相应法律、法规不健全,导致网络安全性差。在网络安全中,"攻与防"一直是矛盾的焦点,只有了解了攻,才能更好地进行防范。但所谓"道高一尺,魔高一丈",网站没有绝对的安全。只能通过一些安全策略,尽可能将站点的安全风险降至最低。

简介：作为学校重要的基础设施,校园网担负着教学、科研、管理的诸般重任,同时也是高校师生学习生活和共享交流的主要载体,其安全状况直接影响到高校日常工作的顺利进行。随着“双一流”高校建设的深入开展,校园网作为高校的“中枢神经”作用日趋凸显,其“健康状况”自然备受关注。Web安全何以成为“痛中之痛”日前,

简介：摘要Go语言1是谷歌公司于2009发布的第二款开源编程语言，它的作者是RobertGriesemer，RobPike和KenThompson。Go语言专门针对多处理器系统应用程序的编程进行了优化，使用Go编译的程序可以媲美C或C++代码的速度，而且更加安全、支持并行进程，更适合于当今的互联网和云计算2开发。Go语言对Web有很好的支持，Go语言里面提供了一个完善的net/http包，通过http包可以很方便的就搭建起来一个可以运行的Web服务。本文介绍了如何使用Golang语言的来快速的搭建Web服务器3。

简介：代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT（AlgebraicSpecificationsBasedAutomaticTesting）,并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.

简介：进入21世纪之后,世界各国的经济往来更加频繁,企业与企业之间的竞争更加激烈,合作的规模和形式也有了很大的变化,特别是在近几年,由于网络技术的迅猛发展,企业的市场遍及全球,云计算作为一种新的计算方式,逐渐在商业领域得到了推广和应用,正是在这种全球化的背景下,Web的服务选择和应用情况,也越来越多样化;通过对Web服务选择的论述,阐述在云计算背景下,Web的应用状况。

简介：为了解决语义Web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系;利用描述逻辑ABox一致性检测推理,判断服务请求与广告PE之间的逻辑蕴含关系;依据此蕴含关系,将PE匹配情况划分为4种,即Exact,Perfect,Side-effect和Common匹配,用以对匹配结果进行有意义的排序.实验结果表明,所提方法在召回率与现有方法相当的情况下,具有更高的查准率.更多还原

简介：在世界互联网飞速发展的今天,关于网络技术覆盖到了各行各业,并且网络由于其特殊性,即使得生活、文化、办公、业务等区域无国界化,导致了访问的效率性,方便性。但是,网络整体化发展的同时,也带来了负面的影响,给我们带来了各种困难。

简介：为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.

简介：如何从互联网上大量存在的Web服务中选出符合用户需求的服务是一个很重要的研究方向。将量子遗传算法引入服务选择问题中，并将服务选择转换为基于QoS的多目标优化问题。量子遗传算法采用量子比特编码和量子旋转门变异，丰富了种群多样性，并具有更快的收敛速度。通过模拟验证，说明了该方法的可行性。

简介：档案移动信息服务存在部分WAP网站用户体验不佳、APP开发运营成本与利用效益的反差、微平台侧重于宣传与普惠档案服务的局部发展、档案移动应用建设困于成本高、技术难、资源共享难的问题之中。应用响应式Web设计技术可提升用户体验、增加利用效益、传递全方位信息、助力解决“钱、技、共享”难题等。应用此技术档案馆也将面临开发成本资金筹措、技术合作、浏览器等问题，并提出众筹助力解决开发成本、“产学研”为导向与高等学校技术合作，鼓励用户更新浏览器等解决方法。

简介：提出了一种科学计算领域中常用的命令行程序web服务包装方法.首先给出了实现一个基本的web服务包装器的软件架构,并对主要组件的功能进行了解释.进而经过对数据传输和作业生命周期的深入分析,设计了一种新颖的文件传输和作业管理机制用以增强该软件架构,使得在命令行程序被包装成web服务的同时,保证了文件的高效传输,运行状态的即时反馈和作业的自动管理.对比实验表明,该方法在使用了较少内存的前提下提高了程序运行性能,定性比较显示程序的易用性也有所提高.本工作已经在实际的科学计算系统中得到了应用,极大地提高了系统的数据处理效率.

简介：基于ARM9平台，研究了嵌入式数字家庭网关体系结构，在应用支撑层上给出了Boa服务器的移植方法，将嵌入式数据库技术与Web服务器技术关联，实现了网络化、界面化家庭网关数据管理。

简介：介绍Web3.0的概念及特征,分析Web3.0下图书馆建设面临的挑战,最后指出Web3.0在图书馆信息服务方面的应用前景。

简介：统一建模语言(UML)是一种可视化的面向对象的建模语言,具有强大的建模能力。探讨了UML在网络实验管理系统项目中的应用,采用ROSE构建了系统的需求模型、对象结构模型、行为模型、体系结构模型以及多线程控制模型。

简介：随着信息化建设的不断深入，人们对管理信息系统软件的要求也不断提高。传统的胖客户端架构和瘦客户端架构已经不能满足构建某些软件系统的需要。人们急需一种新的架构技术来适应软件的发展。智能客户端技术的出现为解决此问题提供了一种良好的解决方案。智能客户端结合了传统胖客户端和瘦客户端的优点，摒弃了它们的缺点，为用户提供胖客户端应用程序的运行效率和瘦客户端应用程序易于部署和更新的优点。主要研究在．NET平台下构建WindOWS智能客户端应用程序要涉及到的关键技术，包括：智能客户端层次结构、数据处理技术、偶尔连接技术以及安全性问题等。给出了智能客户端的参考模型。

简介：提高图书馆Web服务器的访问速度成为提高图书馆服务质量的重要一环。文章通过对提高Web服务器访问速度影响因素和现有加速技术的分析，提出采用综合性的方法来提高Web服务器的访问速度。

简介：为便于移动设备对Web服务进行可信证明,基于可信第三方作为证明代理,通过公钥密码算法对通信消息进行签名,设计了轻量级的可信证明方案.通过可信第三方进行代理证明,能够保护证明方的隐私信息,实现方便的Web服务器平台定位,同时能够降低终端的验证负担.最后,建立了仿真实验环境.实验结果表明,该方法能够使终端较轻松地对Web服务进行可信性证明,满足了移动计算环境下较弱处理能力终端的需求.

简介：利用Windows2000Server自带的IIS(Internet信息服务)套装软件可以轻松构造Web服务器。网络中的计算机可以通过IP地址直接访问IIS创建的Web站点,如果本地网络中有DNS服务,就可以直接使用域名来访问。

简介：【摘要】数据库技术具有数据处理效率高、检索快、使用方便等优点。如何引导学生更加迅速有效地掌握专业知识和专业技能，是中职学校教学改革的重要思路。本文阐述中职数据库技术在各种web服务中的应用，旨在通过各种数据库运用技能训练，让学生掌握计算机专业知识。

简介：破坏性极强的“震荡波”(Worm-Sasser)病毒从5月1日开始肆虐全球，致使150万台电脑不能正常工作，造成的经济损失高达数百万欧元，然而其制造者竟是一位只有18岁的德国少年。