门级信息流分析理论及应用

书籍简介:

本书属于信息安全领域，旨在解决物联网和信息物理系统环境下高可靠系统所面临的信息安全问题。但本书同时涵盖了网络信息安全、数字电路、设计自动化以及算法复杂性理论等相关学科。其中，在网络信息安全领域主要涉及基于格模型的信息流安全理论及方法；在数字电路方面主要涉及信息流模型的形式化描述以及设计优化问题；在设计自动化领域主要利用了一些相关的电路设计、评估与验证方法；在算法复杂性理论方面主要涉及一些相关算法的设计与复杂度分析。

书籍规格:

书籍信息归属:

门级信息流分析理论及应用是科学出版社于2014.11出版的中图分类号为 TP309 的主题关于 信息安全 的书籍。