简介：
简介：基于模态逻辑的安全协议形式化分析方法一直备受关注。本文在简述一个基于GNY逻辑实现的可视化集成工具的基础上，以SSL协议为例，详细阐述其自动分析过程。最后，就工具不能自动执行第三方信任逻辑的情况，提出了简单的可信第三方参与的扩展逻辑，为复杂安全协议的可视化分析和设计提供参考。
简介：本文主要是针对关系型数据库的信息管理系统在处理海量数据的存储与检索方面的一些可选方案进行探讨与分析,并结合实际应用,分别从分布式数据存储、动态表、索引、查询语句优化等4个方面对海量数据的存储与检索给出可行的优化配置解决方案。
简介：英国《电讯报》（telegraph）网站2018年4月1日消息，互联网名称与数字地址分配机构（ICANN）的首席执行官马跃然表示，将于5月生效的欧盟《一般数据保护条例》（GDPR）可能意味着，用于识别和阻止攻击的关键数据库可能被关闭或“碎片化（fragmented）”。
简介：随着互联网技术的发展以及国家政策的支持,互联网创业引起了社会和教育界的重视,逐渐成为人们关注的焦点,现阶段探讨互联网创业的研究具有现实和理论意义。
离子风暴前瞻
安全协议的可视化分析和设计研究
海量数据分布式存储与检索优化分析研究
ICANN认为欧盟《一般数据保护条例》或有利于网络犯罪分子
基于知识图谱的国内外互联网创业研究的可视化分析
