土木工程安全检测、鉴定、加固修复案例分析 【工业技术】

本书主要针对土木工程安全检测、鉴定与修复案例进行编写，参照相关标准并结合实际的安全检测、鉴定与修复工作，系统地梳理和列举了历史保护建筑、民用建筑、工业建筑、特种构筑物、桥梁工程、隧道工程、道路工...

医疗安全核心制度及案例精析 【医药卫生】

本书是我国第一本全面而详细介绍医疗安全核心制度的专著，同时也是我国第一本以最新的现实司法判例为基础，分析和讨论医疗安全核心制度及其临床实践的书籍。全书共30章，介绍了27项医疗安全核心制度，涉及司法案例...

食品安全企业自主治理 目标模式与实现路径 【经济】

全书以推进企业自主治理的实施为目标，沿着食品安全治理的理想模式——企业为什么需要自主治理——企业食品安全自主治理的四维约束机制——食品安全自主治理的制度障碍：管制模式食品安全管制的行为逻辑与制度...

危机与治理 中国非传统安全问题与战略选择 【政治法律】

本书内容包括：非传统安全的概念和基本特征；非传统安全与和平、发展的关系；中国面临的非传统安全问题；善治中国的非传统安全问题；建构中国的非传统安全战略。本书提出的“以危机机制应对中国的非传统安全问题”“...

非煤矿山企业安全生产监督管理工作指南 【工业技术】

本书内容包括非煤矿山安全生产法律法规、露天矿山安全生产监督与管理、地下矿山安全生产监督与管理、尾矿库安全生产监督与管理、地质勘探安全生产监督与管理、排土场安全生产条件和现场检查和非煤矿山安全...

软件安全 从源头开始 【工业技术】

本书阐述什么是人类可控制管理的安全软件开发过程，给出一种基于经验的方法，来构建最好用的安全软件开发模型，以应对安全问题，并在安全软件开发模型中解决安全问题。本书分为三部分，共10章。第1章简要介绍软件安...

软件安全开发 属性驱动模式 【工业技术】

全书以软件安全属性为核心，将安全属性贯穿于软件开发生命周期的每一个阶段，通过对软件开发生命周期全过程的安全质量管理和控制，以期减少开发过程中可能产生的各种漏洞，提高软件产品的本质安全性。全书共分为6...

食品安全国家标准汇编 食品添加剂 4 【工业技术】

本书收录了2010年以来发布实施的食品添加剂食品安全国家标准438项及营养强化剂标准15项。食品添加剂标准包括《复配食品添加剂通则》、《食品工业用酶制剂》通用要求，及各单一品种食品添加剂质量规格标准；食...

注册消防工程师资格考试辅导用书 消防安全技术实务押题密卷 2016版 【工业技术】

安全协议实施自动化生成与验证 【工业技术】

本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用...