安全协议操作语义与验证

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

RFID安全协议分析与设计

本书首先分别对物联网和RFID系统进行了概述，指出了RFID系统存在的安全性问题及主要解决办法。然后，介绍了进行RFID安全协议分析与设计所需要的基础知识。最后，分别对RFID认证协议、RFID标签所有权转移协议、RF...

基于安全协议的云计算平台数据安全及隐私保护研究

安全协议作为互联网安全运行的重要基础协议，可以实现网络实体之间的认证、在实体之间安全地分配密钥或其它各种秘密、确认发送和接收的消息的非否认性等。将安全协议应用于云计算平台中，还可以对现有的云计算...

建筑消防安全评估技术与方法

本书总结多年的学习心得体会和研究成果，利用现代安全科学理论、统计学、模糊数学、计算流体力学、经济学理论等分析工具，对建筑火灾风险进行分析和评估，紧密结合最近10年以来典型国内外重特大建筑火灾事故，对现...

无线传感器网络MAC协议分析与实现

漫说中国科大

本书是关于中国科学技术大学的通俗性读物，主要介绍了中国科学技术大学自建校以来近60年的历史，学校的人、事、物，以及现在取得的成果。具体内容包括“符号”、“温故”、“谈今”、“文化”四个部分，对于中国科...

路由协议与交换技术

本书详细介绍了交换机的工作原理、三层交换技术、IP路由原理、路由器的工作原理、路由重分布等内容。以园区网交换技术、网络互联中的路由技术、远程访问INTERNET技术等作为网络最主要的支撑技术，为“建好网...

中国科大校园草木

本书根据《中国科学技术大学校园常见植物图鉴》改编，涵盖了科大东、西、南区大部分常见植物。每种植物都配有多幅拍自于校内的照片，并且附有校园植物分布的部分信息，可供校内学生、老师阅读。本次改版采用大开...

永恒的东风 中国科大故事

档案是学校发展过程中留下的历史记录和宝贵财富，它所蕴含的历史信息广泛而丰富，承载着中国科大的精神与文化。本书以中国科大档案馆馆藏档案为主体，进行多层次、多方位、多角度的解读，深入挖掘学校历史任务和历...

TCP/IP协议原理与应用

本书深入介绍了TCP/IP的模型、协议、服务以及标准。本书采用理论与实践相结合的方法，利用各种网络工具（如Wireshark），通过捕获网络上的真实数据包，并把数据包的内部结构以可视化的形式详细分解，让读者能够以直观...