北京市生态安全格局保护紧迫性分级

以北京市为例,通过粒度反推法和景观连通性识别重要生态用地,通过邻域分析法构建生态阻力面,采用MCR模型构建北京生态安全格局,利用人工神经网络计算建设用地扩张概率,对构建的生态安全格局进行保护紧迫性分级。结果表明,北京市重要生态用地面积为6488.53 km²,主要分布在西部和东北部山区,小部分位于东南平原。一级生态用地面积为4482.48 km²,主要分布在西北和西南地区;二级生态用地面积为1338.27 km²,主要分布在西部远郊山区、西南部近郊平原和东南部平原;三级生态用地面积为669.77 km²,主要分布在中北部和东南部平原。重要生态廊道长度为2410.47 km,分布在远郊城镇以及城乡交界处。一级生态廊道长度为1477.63 km,主要分布在西北和西南远郊山区;二级生态廊道长度为390.91 km,主要分布在远郊平原的生态用地附近;三级生态廊道长度为541.93 km,主要分布在城市中心的周边地区,呈环状包围中心城区。     

TATP防爆安检技术

TATP(三过氧化三丙酮)因其制作原料来源广泛易得、制作方式简单、成本低廉,并且起爆方式简单、爆炸威力巨大,容易被犯罪分子用于实施爆炸恐怖袭击。为有效防范打击TATP犯罪活动,安全、快速、灵敏地探测TATP,必须发展TATP防爆安检技术。主要从TATP探测技术和TATP模拟物的制备两个角度综述了TATP防爆安检技术的研究进展,TATP探测技术可用于对TATP的快速筛查发现,而TATP模拟物在安检人员培训、警犬培训和安检设备功能评价中具有重要作用。最后总结展望了TATP防爆安检技术,提出一些打击防范对策。     

Research and improvement on the limitation of authentication test

This paper elaborated on the limitation of authentication test theorem, illustrated the fundamental cause of that limitation through examples, then enhanced authentication test to solve this problem, and also proved the soundness of that improvement with formal method. The enhanced theory can deal with protocols with test component as proper subterm of other regular node＇ s component under certain conditions, and extend the application scope of authentication test. With enhanced authentication test, the automatic protocol verification tools will be more efficient and convenient.     

NGN网络终端安全架构和透明认证的研究

针对NGN网络的终端设备安全认证问题,结合通信网络安全技术理论知识,提出了网络设备终端接入安全架构方案,通过在原有NGN网络中加载少部分设备,有效地提升了NGN网络设备接入的安全性.通过对设备的二次开发,实现了终端设备的透明认证.     

模型检验技术在软件漏洞自动挖掘中的应用

将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效.     

Witty蠕虫的传播模型与分析

为了能够深入了解Witty蠕虫传播的具体过程和采取更为有效的防御措施,利用动力学方法提出了一个含有潜伏期且在潜伏期内和感染阶段均具有传染性的模型.根据网络的实际情况,该模型考虑了延时因素,采用了动态感染率.利用该模型得出了蠕虫爆发的阈值.将已有的模型与该模型进行了比较,仿真结果表明:该模型能更好地符合Witty蠕虫的实际传播数据,偏差比已有的模型分别减小了4.4 %和6.2 %.     

基于安全级的策略求精方法及决策机制

在策略分层思想的基础上,综合考虑策略的纵向求精和横向决策两方面因素,将策略安全级引入策略的求精操作中,作为某一策略层次上多种求精方案的横向决策依据,在系统可允许的安全级别范围内,提供准确而灵活的策略求精和决策机制,为基于策略的安全防护中安全策略的自动化执行和实施提供有力的支持.     

一种病人可控的电子病历安全访问方案

部分病人对其电子病历访问有全程管控的特殊需求,而现有云环境下的电子病历共享系统却无法满足这一需求,于是提出了一种基于超级账本和星际文件系统的电子病历安全访问方案HyperEHR.该方案设计了由病历请求者所在机构以及病人双重审核且由病人决定病历最终访问权的方法.为保证跨机构之间的医疗数据安全互访,将病历生成、更新以及访问等信息存储在联盟链区块中,而将各医院、诊所产生的具体病历信息和访问控制策略加密存储在云端星际文件系统中.系统实现及分析表明:该方案有较好的可扩展性、互操作性及安全性,可满足病人对其医疗数据访问的管控,有效防止病历隐私泄露.     

密码学在移动Agent中的应用

介绍了当前移动agent所面临的安全性威胁,以及密码学中的几个加密算法,提出了针对移动agent所面临的安全威胁,用相关的加密算法来最大程度的保护移动agent,并最后介绍了解决移动agent安全问题仍需要解决的技术问题.     

基于DLP的指定验证人的代理签名

代理签名与指定验证人签名都是非常有用的密码学工具,在实际生活中有着广泛的应用。在代理签名中,原始签名人能将其数字签名的权力委托给代理签名人;而在指定验证人签名方案中,对于验证人却是有所限制的。文章结合两者的优点,利用基于离散对数的Schnorr签名方案构造了一个指定验证人的代理签名方案。本方案与其他方案相比,除了满足所必需的安全性之外,在代价及计算量上更为高效。