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

简介：随着互联网技术的发展以及国家政策的支持,互联网创业引起了社会和教育界的重视,逐渐成为人们关注的焦点,现阶段探讨互联网创业的研究具有现实和理论意义。

简介：民以食为天,我国人口众多,食品消费量巨大。但近些年接连曝光的食品质量安全事故,让普通消费者到政策制定者都感到食品质量监控迫在眉睫。食品流转环节漫长,生产环节中存在过量施肥、农药残留等风险,流通及销售环节中存在质量流失、假冒伪劣、篡改信息等风险。建立质量追溯系统被认为是杜绝此类风险的有效途径,一个全程追溯、互联共享的产品质量信息追溯系统,是当前流通体系研究人员的重要课题。通过食品质量追溯系统,交互共享产品质量信息,遏制食品非安全因素,在食品产地、流通组织、监管机构与消费者间建立信息共享机制,形成食品危害物溯源信息集成化、无缝供应链,保证人们食品安全信息的需要。

简介：图标法是常见的平面矢量场可视化方法。但是当传统的图标法用在大数据集且变化不是很明显的矢量场中时,图像可能会显得比较混乱。本文基于矢量场中局部矢量近似平行的原理,将传统的图标法做一改进。将局部范围内变化不明显的矢量,用该范围内的某一矢量来代替,这样所得的图像不再是规整的图标图像,图像上图标的多少是由矢量变化的明显程度来决定的。矢量变化不大的地方,矢量图标少,反之,矢量变化较大的地方,矢量图标多。这种方法使得所显示的矢量场不显得混乱,又能表达出矢量场的方向和大小。

简介：

简介：谢家琪,北京玖典科技发展有限公司董事长,毕业于东北大学计算机控制系统专业硕士,中国安防协会生物识别行业专家,中国能源集团联盟专家委员会秘书长,中国节能产业网专家组专家.从事自动化控制与电子信息领域近三十年,拥有丰富的研发、生产及企业管理经验.主导完成电动机节电系统,锅炉自寻优燃烧系统等工业自动化系统的研发及实施,并取得良好的经济效益,尤其在动态人脸识别技术,智能安防行业的成果显著,获得几十项软件专利,多项产品获得北京市新产品证书.

简介：本文主要是针对关系型数据库的信息管理系统在处理海量数据的存储与检索方面的一些可选方案进行探讨与分析,并结合实际应用,分别从分布式数据存储、动态表、索引、查询语句优化等4个方面对海量数据的存储与检索给出可行的优化配置解决方案。

简介：随着产品品种越来越多，生产周期越来越短，企业面临的管理问题日益突出。日趋激烈的市场竞争以及越来越苛刻的法律法规．对制造装配业的产品质量提出了更高的要求。而实现产品全过程质量追溯，是提高产品质量和客户满意度的重要环节。

简介：现阶段各个可视交互模型的大多采用的是二维显示的方式建立,在具体操作中存在交互体验弱、分析效率低下、信息层次不够丰富等问题。随着社会科技的发展,人们在原有二维交互平台的基础上提出了网页三维交互平台。本文在阐述基于WebGL的3D可视交互平台基本构架的基础上,对其各个功能模块的应用实现进行分析,并阐述基于WebGL和Three.js图形库的实现方式。

简介：现代计算机网络的建设在规模和复杂程度上，正向着更大、更快速的方向发展，网络的管理人员也渐渐地认识到，有效地控制现有的IT资源，对于提高网络资源利用率和降低管理运营成本有着极为重要的作用。所以对于IT资源的管理者，特别是高集成度的计算机机房和数据中心的管理，将会提出日益严格和细化的要求。

简介：日前，北京豪义慧通科技有限公司受公安部警卫局委托，独立承建了“两会”IP可视电话系统，并在今年“两会”期间成功运行。

简介：SharePoint的另一个重要部分是可视元件，包括Web部件和视图。本文将介绍SharePoint的信息表达功能。特别是列表视图和分组列表Web部件。以及如何使用它们来集合信息。从而为用户提供更全面和直观的界面。

简介：最近我所在局域网的速度变得越来越慢，打开新浪页面的时间变成了原来的4、5倍．我不解为什么前后的网速会发生这么大的变化。期间我怀疑是机器中了木马病毒．但杀毒软件升级到最新病毒库，全盘扫描仍然没有查出所以然来。

简介：

简介：在普通用户眼中，反病毒行业是一个神秘的行业。反病毒工程师们如何获得病毒，如何分析病毒并提取特征码，如何生成．升级病毒数据库等问题。都令人充满好奇和遐想。为了让大家对病毒分析技术有更“专业”的认识，本刊特约反病毒专业研究机构——安天实验室CERT小组集体撰写本文。

简介：IPTV是一种利用宽带网络为用户提供交互式多媒体服务的业务,其主要特点在于交互性和实时性.通过IPTV业务,用户可以得到高质量的数字媒体服务,可以自由地选择宽带IP网的视频节目,实现媒体提供者和媒体消费者的实质性互动.

简介：信息取证技术在现代网络安全体系中的作用越来越重要，本文在分析网络攻击技术发展趋势的基础上，研究和讨论了目前的信息取证技术，并对其技术发展进行了分析。

简介：COCOONCounter是被广泛使用的网站流量统计系统之一。其界面整洁统计数据详细，深得各个网站管理员的喜爱。虽然它的内部结构甚是简单，但其代码安全度却不容乐观〈以下代码摘自COCOONCounter【v：1960】测试版〉

简介：开篇之前，先简单介绍如下几个名词．方便大家更好的理解SEO（搜索引擎优化）。黑链接：黑链意思是站点被黑客利用技术入侵．并且取得权限．经过代码的添加．实现隐藏一个或者多个导出链接。

简介：VoIP电话概念已提出10年多了,根据国外咨询公司的统计,IP电话业务量已经占据了全球电话业务量的10%(180亿分钟),IP电话对长途电话的替代作用已经非常明显.然而,由于通话质量等各方面存在的缺陷,IP电话对始发呼叫的传统长途电话的替代作用并没有当初预测的那样悲观,端对端的VoIP电话并没有真正大范围地发展起来.