装备测试性设计分析验证技术

介绍了测试性的基本概念，详细阐述了测试性工作通用要求和实施方法，以及测试性设计分析验证中关键技术。包含已有的测试性设计、分析验证中的常用方法和规则，以及在实际装备综合诊断中，针对装备保障中存在的测试...

安全协议操作语义与验证

安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...

构件化软件动态更新与验证技术

民用建筑设计常见技术问题释疑 第3版

本书是建筑师的案头工具书，作者试图通过帮助读者解答工作中常见的各类技术问题，帮助其加深对规范的理解、记忆和运用。本书包含建筑设计和建筑构造与装修两大部分内容。汇集了110余本现行规范、标准、规程及...

软件安全开发指南 应用软件安全级别验证参考标准

本书系统性地介绍了OWASP安全组织研究总结的应用安全验证标准，为软件开发过程中的安全控制措施开发提供直接指导与必要参考。全书分为两大部分：第一部分介绍了应用安全验证要求的使用方法和参考案例。第二部...

社会消防安全教育培训系列丛书 高层民用建筑消防安全培训教程

本书为清大东方教育科技集团有限公司组织编写的社会消防安全教育培训系列丛书之一，作者刘茂华。全书共6章，分别为基础概论、建筑防火管理、消防设施器材管理、单位内部管理、消防安全责任、典型火灾案例评析...

民用建筑场地设计

5G技术丛书 面向5G移动通信的软件无线电平台原型验证与开发

本书主要讲述了利用软件无线电技术构建面向第五代移动通信系统的几大关键技术的原型验证平台的内容，包括第五代移动通信系统的几大关键技术的基本原理，原型验证系统的设计思想和经典案例等。全书共分为三部分...

网络空间安全技术丛书 C#灰帽子 设计安全测试工具

本书介绍如何用C#核心库进行漏洞扫描、恶意软件自动分析和安全事件响应等，以及如何编写安全实用工具可应用于Mac、Linux、移动平台等。例如，编写模糊分析器以便用HTTP和XML库扫描SQL和XSS注入，在 Metasploit中...

民用建筑防火设计图示综合解析

本书结合建筑学专业特点，以图解及案例综合分析的方式阐述民用建筑防火设计的整体框架和主要知识节点，旨在以民用建筑为纲，以建筑设计为本，以设计实例为鉴，以火灾实例为证，从建筑设计角度来诠释建筑防火设计，并......