基于计算模型的安全协议验证软件Crypto Verif研究

目前,对安全协议的自动化证明分为两类：基于符号模型的和基于计算模型的。介绍了基于计算模型的协议证明软件CryptoVerif,介绍了其原理和可证明的安全属性,并使用其证明了一个协议的安全性;最后,指出其不足,为以后的软件改进指出了方向。     

金保工程信息系统的组网方案设计

按照市级人力资源和社会保障（下文简称：人社）系统金保工程信息网络建设需求,介绍了地级市金保工程信息系统的组网方案设计;该组网方案已应用在抚州市人社系统,运行安全可靠。     

多级安全数据库推理通道综述

介绍了多级安全数据库系统中存在的推理通道,推理攻击的种类,推理通道的4种形式化描述方法。在此基础上,介绍了目前国内外最新的检测和消除多级安全数据库中推理通道的最新技术成果和未来研究热点与方向。     

防火墙技术在计算机网络安全中的应用

介绍了防火墙的概念、作用和功能。在防火墙工作原理的基础上综述了在网络安全中的防火墙技术。     

基于Java的RSA公钥密码算法的实现与探讨

鉴于Java语言在网络上的安全特性和RSA加密算法的优越性,介绍了公钥密码体制的概念和RSA加密算法的原理,并在Java环境下实现RSA公钥密码算法。     

云计算数据中心网络安全的实现原理

探索云计算的网络架构。针对云服务提供商在网络安全方案方面进行了研究和探讨。对于云计算数据中心的整个网络架构作了仔细阐述。     

网络信息安全及信息安全性等级研究

介绍了网络信息安全的概念和网络信息安全的目标,分析了近年来国内外信息安全发展的新动向,最后介绍了美国的＂DoD可信计算机系统评估准则＂和我国的计算机信息系统安全保护等级划分准则。     

《数据安全法》与《档案法》协调研究

[目的/意义] 剖析《数据安全法》与《档案法》在规制对象、立法目的以及立法原则等方面的各自偏重和相互交叉,探讨推动两部法律协调发展的必要性和可循路径,为档案与数据后续立法提供参考。[方法/过程] 通过文献调研和比较分析,提出《数据安全法》与《档案法》两部法律协调推进过程中面临的问题,通过域外经验借鉴,对两部法律配套下位法的制定提出建议。[结果/结论] 研究发现,两部法律从各自的管理实践出发,在档案与数据保护相关规定、档案与数据分级分类标准、档案与数据跨境流动等方面的法律规制协调性不足,导致部分数据陷入"灰色地带",数据安全无从保证。文章提出：应明确档案部门在数据治理中的参与;从数据长期保存的连贯性出发建立符合我国实际的数据与档案分级标准;档案部门与数据部门协同建立重要数据跨境流动的法律法规和管理机制;完善两部法律中有关个人隐私保护的内容。     

我国科学数据安全保障路径研究

文章阐述了科学数据安全保障的现实意义和重要价值,系统梳理了当前我国科学数据安全研究的现状与不足,分析了我国科学数据安全面临的主要威胁,并从多个方面提出了科学数据安全保障路径。我国科学数据安全面临的威胁主要体现在利益相关者安全意识淡薄、重点科学数据外流、数据基础设施依赖国外技术以及科学数据安全危机仍然存在等方面。未来的科学数据安全保障路径可以从明确目标、提升技术、建章立制、人才培养等方面入手。     

美国高校校园安全管理建设探析——基于康奈尔大学的实证分析

高校校园安全管理建设是维护学校自身安全稳定和维护广大师生员工正当权益的基本保障,对高校稳定发展具有重要意义。从校园安全管理理念构建、机构设置及人员配备建设和校园安全服务设施建设等方面,探究美国康奈尔大学校园安全管理建设的现状,认为校园安全管理理念人性化,管理队伍专业化及管理机构设置多元化、各部门职能明确化,是其校园安全管理建设的特点,旨在为我国高校校园安全管理建设提供借鉴。