简介：基于模态逻辑的安全协议形式化分析方法一直备受关注。本文在简述一个基于GNY逻辑实现的可视化集成工具的基础上，以SSL协议为例，详细阐述其自动分析过程。最后，就工具不能自动执行第三方信任逻辑的情况，提出了简单的可信第三方参与的扩展逻辑，为复杂安全协议的可视化分析和设计提供参考。

简介：针对目前网络化协同设计系统研究的现状，分析了协同设计的特点及优势，研究了协同设计系统中的任务规划、任务分解。在此基础上，提出了一种基于满意度的任务分解方法。

简介：在IP、ATM等技术推广应用及普及带动作用下,网络技术进入到了快速发展阶段。以往的各种网络都在以迅猛之势完成融合,而这一现象的发生无形中扩大了网络规模,增加了网络的复杂性和异构性,使得网络管理的难度较过去相比明显增加。因此现阶段,网络管理研究的主要问题就是如何科学且合理的对这一复杂的、大型的异构网络实时管理。本文对传统网络管理技术应用中的不足进行了分析,同时对CORBA/Web综合技术在网管理系统中的应用及优势进行了研究。

简介：研究性学习进入“瓶颈”。制度和课时保障，组织周密，安排科学，是“常态化”研究性学习的，必备条件和充分条件。

简介：本文介绍了MobileIP原理及切换中存在的问题以及业界提出的几种解决方案。并在此基础上提出了一种基于服务的切换机制。该切换机制能够同时满足实时性和非实时性数据传输的时延及丢包率要求。

简介：1椭圆曲线标量乘法算法的研究现状自从Kobilitz和Millier提出了将椭圆曲线应用于有限域并应用于公钥加密体系,椭圆曲线便被广泛应用于多种多样的领域中。由于椭圆曲线高比特的安全性,它被积极应用在资源有限的环境中,例如智能卡和嵌入式设备中。

简介：利用扎根理论对互联网思维的内涵与模式进行了理论总结。首先分析了研究背景,然后给出了基于扎根理论的互联网思维研究的过程,接着详细分析了互联网思维的内涵与模式,最后总结了互联网思维的7个方面。

简介：0引言计算机网络不仅可以为人们的工作和生活提供便利,提高效率,也是各企业、机构正常运营的基础技术,这也加深了社会对于计算机网络的依赖程度。但正是由于计算机网络的规模巨大,且数据量信息众多,导致数据的保存和传输安全问题成为重点,一旦存在漏洞,就会导致信息的泄漏,为不法分子所用,使人们的财产安全和个人隐私信息遭受损失。

简介：近年来，随着网络技术的发展，视频监控系统的综合应用性能越来越好，其应用范围也越来越广。现阶段，网络视频监控系统在医院、公安、交通、金融、教育等领域发挥着重要作用，实现了各领域智能化信息的传输和沟通。数字设备都是围绕着监控系统建立起来的，其信息处理系统、记忆性能对模拟信号的处理效果非常好。基于此，本文将深入研究网络视频监控系统的应用架构，探讨其实现价值。

简介：无线传感器网络的广泛应用对其安全性的要求日益提高,网络安全是WSN的基础技术,入侵检测是重要的网络安全技术。本文详细分析了无线传感器网络入侵检测的特点,提出了轻量级的基于危险理论的WSN入侵检测模型。阐述了模型的各个组件的实现过程,并分析了模型的特点。

简介：网络维护外包是广电节约成本、应对社会和内部压力、获得竞争力的重要举措，现已逐渐演变为广电办公主流的网络维护方式。可是，如何在保证较好的日常网络维护外包质量的基础上，获取适当的利益，是广电需要深入挖掘的问题。

简介：由无线城市、Wi－Fi城市的定义切入，对公共免费Wi－Fi网络发展过程中可能涉及并需要解决的技术与设备、建设与应用、用户体验、运营与盈利模式、安全与管理等问题进行了论述，指出在Wi－Fi运营和发展中，需要处理好与用户、与电信运营商、与商家、与政府等的关系，以便让公众更好地享受Wi－Fi带来的益处。

简介：本文首先介绍了XML和WebServices技术,然后讨论了基于XML/WebServices的系统集成技术的特点和优势,最后,利用XML/WebServices技术提出了一个动态的网络授课平台模型。

简介：为适应新课程改革的需要，配合新课程标准的实施，探索中学生学习物理的模式，引导学生采用类似科学研究的方法在研究过程中实现知识的获取、应用和能力的提高，从而在情感和意志品质上获取良好的体验，达到优良个性品质的培养，我们在已有研究成果的基础上提出并开展了《高中物理课堂探究性学习研究》的课题。

简介：一卡多用新型安全智能卡的特点和关键技术，它从硬件和软件两个方面对系统和用户安全提供保证，能方便地支持应用下载其特定的用户程序，并且确保用户下载的程序不能危及系统或其他应用的安全。

简介：0引言计算机终端是指能独立进行数据处理及提供网络服务访问的计算机系统,由硬件、操作系统、应用软件等部分组成,包括台式微型计算机系统和便携微型计算机系统。其作为信息存储、传输、应用处理的基础设施和链接网络的关键节点,成为了广大用户日常生产、办公等工作环节的重要支撑平台,其自身安全涉及到网络安全、数据安全等各个方面,是网络安全的源头和终点。

简介：本文首先介绍了WebServices相关技术,并提出基于WebServices的反应链管理系统框架模型,实践证明这大大地提高了经济的动态集成能力。

简介：新课改风雨兼程六个春秋，对有关问题的争论始终就没有停止过。欢欣与困惑同在，挑战与机遇共存的现实考验并历练着每一个课改人。

简介：IP回溯技术是一种有效应对拒绝服务攻击的主动防御技术。本文在仔细研究了IPv6协议框架中安全机制的基础上，指出了其易受拒绝服务攻击的脆弱性．并提出了将IPv4中有效的概率包标记算法应用于IPv6中的设计方案。在NS2平台上所做的仿真实验表明该方案是有效可行的。

简介：为满足现在企业的技术要求，提高企业的监控效率，本文详细的分析了NET技术的具体功能和分类，并基于NET技术提出了构建机群监控管理系统方案，以期提高企业的监管效率和经济效益。