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

简介：AngularJS是谷歌推出的一款前端JS框架,具有很多优秀的技术特性。采用AngularJS的MVC模式和数据绑定构建了知识管理系统数据分析平台,并详细论述了平台前端展示的过程。

简介：通信技术的快速发展、市场环境和电信业竞争格局的变换,对承载移动业务的通信运营商数据业务平台系统建设和发展提出了更高要求,通过对中国移动数据业务平台系统现状分析推导出平台系统优化的必要性,并且从系统融合、机房改造、管理提升与业务开发等维度讨论平台系统的优化方案和策略,尝试探索平台系统今后的演进路线。

简介：对于经常玩SQLInjection的朋友来说，字符的猜解通常是一件枯燥、乏味、痛苦的事情，特别是中文字符的探测。一遍遍地输入，然后又一次次地被否决。不过，据说这对于耐心的培养是一个非常好的办法。那么，你有没有想过自动注入呢?请看我写的文章“SQLServer数据信息自动探测”。(做个广告，别扔鸡蛋，不然我今天晚上就不用吃饭了。)

简介：近几年，网络安全技术呈现多样化发展，为网络安全提供多个发展空间，其中防火墙属于建设安全技术的重点，因此，本文通过对防火墙进行研究，分析其在网络安全技术中价值。

简介：随着校园网络安全问题的日益突出,本文详细分析了现有校园网的安全风险,对病毒防护、入侵检测等多方面提出了网络安全综合性防范对策。

简介：2012年我国启动了机读旅行证件电子化工作，相继开展了护照、港澳通行证、回乡证、台胞证以及大陆证等传统证件的电子化工作，标志着我国在出入境证件应用方面达到了欧美发达国家的先进水平。本文详细介绍了电子机读旅行证件在生产和应用各环节的失效问题，通过技术分析和大量实验，形成了芯片大规模应用失效分析解决方案。通过解决方案的实施，提高了专用芯片产品的一致性和稳定性，为我国电子机读旅行证件大规模应用提供技术保障和服务。

简介：一、石油学院一卡通产生的背景校园卡已经在就餐消费、图书借阅等领域取得了成功的应用,目前正呈现出全面连通的趋势.一方面,校园卡正走出食堂,进入如超市、洗浴、上机等校园消费的各个领域;同时,银行信用卡与校园卡的银校联,使校园卡增加了功能、提高了安全性,使其向金融化方向纵深发展,成为校园内的商务一卡通.另一方面,校园卡也正从商务服务向校务管理横向扩展,使校园卡成为全面的一卡通.

简介：伴随互联网的高速发展,很多新兴产业的诞生被广大网友所喜爱,其中移动视频直播正蓬勃发展,许多地方新闻网站也想加入移动视频直播的大军,享受新兴产业带来的成果。为此,新闻网站应从自身产业发展的方向进行考虑,建立在自身网站和媒体的传播优势上,在移动视频直播行业中认真规划。

简介：首先分析了2016年10月的网络安全基本态势,其次通过数据总结了重要联网信息系统安全,最后统计了恶意代码活动监测数据、网站安全监测数据、漏洞数据和事件接收情况,对公共网络安全进行了全面分析。

简介：互联网＋时代的到来,给人们的工作和生活带来了极大的便利。然而,个人信息泄露事件却频繁发生,个人隐私保护面临的挑战空前大。基于此,主要探讨了个人信息在互联网＋时代的定义与分类,并且根据个人信息泄露途径界定了个人信息的处理环节,最终由个人信息权能推导出个人信息的保护原则。

简介：我国互联网快速融合发展，宽带普及提速工程稳步推进，移动互联网、云计算、电子商务、网络媒体、微博客等新技术、新业务相互促进，快速发展。在政府相关部门、互联网服务机构、网络安全企业和广大网民的共同努力下，我国相关单位和网民的网络安全防范意识进一步提高，互联网网络安全状况继续保持平稳状态．未发生造成大范围影响的重大网络安全事件。但总体上看，黑客活动仍然日趋频繁，网站后门、网络钓鱼、移动互联网恶意程序、拒绝服务攻击事件呈大幅增长态势，直接影响网民和企业权益，阻碍行业健康发展。针对特定目标的有组织、高级可持续攻击（APT攻击）日渐增多，国家、企业的网络信息系统安全面临严峻挑战。本文着重对我国互联网安全威胁的特点和未来发展趋势进行了分析和总结。

简介：近两年可穿戴设备快速发展,在技术、用户、产业的推动下可穿戴设备越来越受到大家的关注。以苹果、谷歌、小米、华为为代表的互联网公司陆续进入可穿戴领域,以手机为辅助设备,出现了智能手表、手环、眼镜以及智能服饰、智能戒指等,越来越多的可穿戴设备被大家所了解、所关注。

简介：社区网络安全对整个社区网的应用是非常重要的。本文分析了社区网络系统中网络所存在的安全问题和网络安全策略，最后给出了在社区系统网络安全体系中应采取的措施和方法。

简介：最近业内对应用于高速数字传输系统及模拟视频传输系统的现场端接型无环氧树脂／非抛光（NENP）连接器的使用性能提出了疑问。由于存在这些怀疑态度，因此布线市场上的很多用户开始转向选用熔接机熔结工厂预端接的尾纤，而不是现场端接光纤接头。

简介：现阶段,安全态势评估已经成为国内外研究的一项热点课题,其在网络安全领域占据了十分重要的地位。在对原有安全态势评估方法对比分析基础上,本文提出了基于信息融合的网络安全态势评估模型,通过应用改进的D—S证据理论融合多数据源信息,而计算网络的安全态势则利用节点态势和态势要素进行融合,预测出网络的安全趋势。

简介：近年来，随着信息技术的快速发展，用户及网络运营商对水平布电电缆的要求越来越高，需要数字电缆能够适用于室外场合。对于在室外应用的数字电缆，如果电缆内部被水浸泡，会极大的恶化电缆的传输特性，因此需设计一种能够阻水和防潮的数字电缆，即室外阻水型高频数字电缆。

简介：对面向公众开放的服务器来说,发现和屏蔽非法来访IP是重要的安全措施,本文以最常用的Web服务器为例,利用日志分析和作用于windows高级防火墙的netsh命令,提出了自动分析日志、自动判断非法攻击、自动屏蔽非法IP的防范策略,这种方法具有易于编程实现、灵活易用的特点.

简介：计算机网络安全是促进网络事业健康发展的前提，在分析网络安全产生的原因及目前网络所面临威胁的基础上，以安全防御作为出发点，从技术及管理两大方面，提出了防护计算机网络安全的具体措施与有效方案。如何保护计算机信息的问题显的越来越重要。该文旨在分析计算机网络面临的威胁和存在的安全隐患，并提出防范技术，提高计算机网络安全。

简介：