均质土坝水库应急除险加固与安全核验分析研究

本文以韶关市罗坑水库应急除险加固工程为例,首先针对现状各建筑物现场检测情况、大坝防洪标准(坝顶高程)、大坝渗流安全、溢洪道渗流安全等进行复核,复核结果均满足工程设计标准要求;然后罗坑水库枢纽工程在洪灾中暴露出的问题以及洪灾中发生的险情进行应急除险加固设计,保障下游沿岸人民的生命财产安全。

再论超高层建筑中“安全核”的火灾安全性与“安全核”中的火烟控制

文章在“安全核”建筑设计基础上 ,对“安全核”中的火灾安全性提出了新的思路 ,即根据起火层上下楼层的危险性 ,提出了这些楼层的安全疏散的程序控制 。

高层建筑安全核区域防排烟技术探讨

本文在某高层安全核区域设计了一系列现场实验,通过送风系统和机械排烟的不同开启、关闭组合方式,定性判断送风与排烟的相互作用。结果显示：在送风量略大于排烟量的前提下,烟气层能够稳定在一定的高度,对人员的安全疏散是最有利的。因此,本文提出在满足楼梯间及其前室足够正压值的前提下,改造现有的送风系统,利用多余的正压值进行补气,以优化高层建筑内的防排烟效果。

安全核机制的分析

安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析，讨论了该核的概念及特征，包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制，能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。

支持动态策略的安全核(Security Kernel)机制的研究

Security of information system requires a secure operation system. Security kernel meets the requirement and provides a bedrock to security of operation system. This paper extracts the deficiency of traditional security kernel, presents a security kernel mechanism supporting policy flexibility, simplified secure interface. It optimizes the performance by reused policy cache, provids a method to revoke granted permissions and assures the atomicity of revocation permissions and granting new permissions. As a result, all refinements help security kernel to improve its flexibility, extensibility and portability.

软件安全核的可信性问题

软件的大量应用,使控制系统面临严峻的安全考验,陷入了安全危机中,迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念,其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题,测试和限制安全核尺寸是当前采用的方法,它们极大地制约了安全核技术在复杂系统中的应用。本文分析了安全核可信性的本质;结合安全关键系统的基本构架,提出了从安全需求分析开始到安全核生成过程中,如何通过形式化的方法来提高安全核可信性的方法,为安全核技术在复杂系统中的应用提供了一种新思路;以交通灯控制为例全过程地实现和验证了所提出思想的正确性和可行性。

基于微内核的VTOS安全核设计与实现

为避免操作系统中访问控制机制被篡改、旁路,基于微内核多服务器结构设计并实现了安全核,为系统的机密性和完整性提供了保障。微内核结构的简单性和模块化为安全核的形式化验证奠定了基础。原型系统VTOS的安全核为用户提供多策略的访问控制,通过微内核多服务器结构为安全服务器提供了不可旁路性和完整性保障,确保安全策略的正确实施。

架构问题再成IT安全核心

运营安全挑战多样化 《通信世界周刊》：根据您的经验,目前运营商在信息安全、网络安全方面都采取了哪些方面的手段和措施,下一步的发展方向是什么？

一种新型32位信息安全核的设计

本文通过对MCORE中M310改进,设计了一种新型的32位信息安全微处理器核CS320,该处理器核具有先进的反跟踪和保密机制,使得以CS 320为核的系统芯片更加安全。

反射机制的安全核技术在微机联锁系统中实现

软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新安全保障技术的研究具有重要的意义。安全核正是应运而生的一种新安全保障概念,其实施技术是当前的研究热点之一。该文以研究基于反射机制的安全核技术为出发点,在分析铁路微机联锁系统故障行为的基础上,深入研究基于反射机制的安全核技术在铁路微机联锁系统中实现的可行性及关键技术,以期为这一类安全关键系统提供新的、更有效的安全保障技术支持。

高层建筑火灾安全学发展的新概念——“安全核”疏散体系设计初论

分析高层建筑传统疏散体系设计的不足，根据建筑火灾安全学原理，尤其是根据火灾中人的行为心理规律，探讨了高层建筑安全疏散的新概念——“安全核”疏散体系。

美亚柏科,创新提升网络安全核心技术

中国实施网络强国战略美亚柏科时不我待 2014年2月,中共中央总书记习近平在中央网络安全和信息化领导小组第1次会议上发表讲话,他强调：“没有网络安全就没有国家安全,没有信息化就没有现代化”.

安全核技术在微机联锁系统中的实现

软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义.安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一.本文以研究安全核为出发点,深入分析基于反射机制的安全核实现方式以及安全策略调度问题实现的可行性和关键技术,以期为这类安全关键系统提供新的,更有效的安全保障技术支持.

培育安全核心价值观推进群众性安全文化建设

安全文化是安全管理的灵魂，对保障安全生产具有战略性意义。长期以来，阜宁县供电公司以系统工程的思维推进企业安全文化建设，深入开展内容丰富的、具有企业特色的群众性安全文化活动，实现了安全史化建设目标具体化、活动项目系统化、宣教方式多样化、理念要求制度化、检查考核规范化，为企业安全发展奠定了坚实的基础。

企业分销的安全核心——电子订单确认系统

本刊前几期向大家介绍了许多与个人用户相关的电子商务安全知识，但对企业电子商务方面涉及较少。然而，从实际需求上讲，企业(尤其一些中大型企业)更需要完善和安全的电子商务解决方案。本文就给大家介绍一个企业应用中的典型案例。

以安全核心理念引领安全发展——广西柳工集团有限公司安全管理经验采撷

第一次听左芳介绍广西柳工集团有限公司(以下简称柳工集团)安全管理经验是在今年6月6日广西交通投资集团“安全生产月”活动启动仪式上,当时记者在台下聆听报告时,就对柳工集团先进的安全管理经验感兴趣,无奈当时没能留下联系方式以进一步采访了解。好在近期又有机会前往柳工集团,现场了解和采访其先进的安全管理理念和管理经验。碰巧的是,也是左芳在给大家介绍经验。

硬件平台：64位系统安全核心

64位系统的硬件平台主要包括处理器和主板，如果能从硬件层面阻断安全威胁，无疑更为直接有效。目前的64位处理器基本上都内置了防毒功能，同时如果能配合NVIDIA特定芯片组主板的硬件防火墙功能，就能构筑64位系统的安全核心……

工信部:推动网络安全核心技术创新

近日从工信部获悉,由工业和信息化部、北京市人民政府共同指导的首届中国网络安全产业高峰论坛在北京开幕。工业和信息化部党组成员、副部长陈肇雄,北京市委常委、副市长阴和俊出席论坛并致辞。陈肇雄指出,当前,我国网络安全领域技术创新活跃、新产品新服务不断涌现、产业综合实力显著增强,网络安全保障能力持续提升,但与我国网络设施、融合应用、个人信息等安全保障需求的迅速扩大相比,我国网络安全技术产业的支撑能力仍有较大的差距,网络安全核心技术亟需加快突破,安全保障能力有待加快提升,

安全核能再试熔盐堆

福岛核危机之后，核能似乎又重回到尴尬境地。出于对核安全的顾虑，德国宣布将在12年内逐步告别核电，意大利在这个夏天的全民公投后仍然固步1986年以来的无核能源之路，日本菅直人政府亦开始研究弃核后的能源布局；即使前些年大张旗鼓发展核电的中国也已进入了核电审批冰冻期。