安全协议形式化分析与验证

安全协议实施安全性自动化分析与验证

面向安全密钥生成的PUF技术研究与验证

随着芯片攻击技术的发展，存储于ROM等非易失介质中的密钥ID很容易通过版图反向工程和微探测技术等物理攻击方式被截取并且被复制，导致整个加密系统被破坏。物理不可克隆函数（PUF）电路具有良好的安全性和不可克隆...

网络安全协议

计算机网络综合实验教程 协议分析与应用 精编版

本实验教程是《计算机网络（第7版）》（谢希仁编著）教材的配套实验教程，主要内容是以一个基本的校园网络为实验基础，将教材中所阐述的常用的网络协议应用到校园网络中，并通过抓包分析的方式，对协议的概念及协议......

制药设备与工艺验证

《制药设备与工艺验证》一书以GMP为核心，以质量源于设计为理念，从工程分析的角度，系统介绍了风险管理在验证活动中的应用，验证生命周期，验证计划，灭菌技术与设备验证，公用工程系统验证，仓储物流系统验证，制药......

集成电路EDA与验证技术

本书对集成电路设计中的主要EDA工具使用进行了详细介绍，主要内容包括：MOSFET晶体管模型、集成电路EDA技术概述、模拟集成电路设计与仿真、模拟集成电路版图设计与验证、数字电路设计及仿真工具Model Sim、数...

动态系统运行安全性分析与技术

本书以大型工业过程系统与复杂工程系统为对象，对系统安全性的概念、运行危险分析、事故演化、系统运行异常工况识别、面向系统故障安全的故障诊断、系统安全性分析与评估等内容开展深入分析和论述。本书适合...

云存储安全 大数据分析与计算的基石

本书全面介绍云存储安全的关键技术，从云存储安全体系结构开始，按照云存储安全的需求层次，分别介绍了云存储虚拟化安全、云存储系统身份认证与访问控制、加密云存储系统、密文云存储信息检索、云存储服务的数据...

认证与密钥协商协议的设计及其应用