信息安全技术丛书：门级信息流分析理论及应用
图书信息
书名：信息安全技术丛书：门级信息流分析理论及应用作者：胡伟,慕德俊
包装：平装
开本：16
页数：224页
全文字数：280000
出版社：科学出版社
出版时间：2014-11
图书简介
《信息安全技术丛书：门级信息流分析理论及应用》旨在解决物联网和信息物理系统环境下高可靠系统所面临的信息安全问题，同时也涵盖了网络信息安全、数字电路、设计自动化以及算法复杂性理论等相关学科。本书详细论述了门级信息流跟踪方法的基础理论与应用，首先介绍了该方法的基本原理，包括门级信息流跟踪逻辑的性质定理、形式化描述、生成算法与复杂度理论、设计优化问题。然后介绍了该方法的应用原理、设计方法学、设计与验证环境以及在开关电路设计等相关领域的应用等内容，并提出了一些供参考的研究方向。本书适合信息安全、计算机体系架构和电子设计自动化领域的科研工作者、教师和研究生阅读，尤其是那些希望深入研究门级信息流跟踪方法并解决高可靠系统信息安全问题的人士。
推荐理由
《信息安全技术丛书：门级信息流分析理论及应用》详细叙述门级信息流跟踪方法的基础理论与应用，内容全面、深入，对于解决高可靠系统的信息安全问题具有重要作用。本书既适合信息安全领域的专业人士，也适合计算机体系架构和电子设计自动化领域的相关从业者阅读。同时，本书提出了一些供参考的研究方向，对于希望深入研究门级信息流跟踪方法的人士也具有很大的帮助。
