信息安全技术丛书：门级信息流分析理论及应用
编辑推荐
《信息安全技术丛书：门级信息流分析理论及应用》详细论述了门级信息流跟踪方法的基础理论与应用。首先介绍该方法的基本原理，包括门级信息流跟踪逻辑的性质定理、形式化描述、生成算法与复杂度理论、设计优化问题；然后介绍该方法的应用原理、设计方法学、设计与验证环境，以及该方法在开关电路设计等相关领域的应用等内容，并提出了一些供参考的研究方向。
《信息安全技术丛书：门级信息流分析理论及应用》可供信息安全、计算机体系架构和电子设计自动化领域的广大科研工作者、教师和研究生阅读。
内容简介
《信息安全技术丛书：门级信息流分析理论及应用》属于信息安全领域，旨在解决物联网和信息物理系统环境下高可靠系统所面临的信息安全问题。但《信息安全技术丛书：门级信息流分析理论及应用》同时涵盖了网络信息安全、数字电路、设计自动化以及算法复杂性理论等相关学科。其中，在网络信息安全领域主要涉及基于格模型的信息流安全理论及方法；在数字电路方面主要涉及信息流模型的形式化描述以及设计优化问题；在设计自动化领域主要利用了一些相关的电路设计、评估与验证方法；在算法复杂性理论方面主要涉及一些相关算法的设计与复杂度分析。
作者简介
胡伟，男，1982年10月生，分别于2005年、2008年和2012年获得西北工业大学“信息对抗技术”专业学士、“模式识别与智能系统”专业硕士和“控制科学与工程”专业博士学位，2009年9月-2011年9月赴加州大学圣迭戈分校计算机科学与工程系学习，2012年7月入西北工业大学“计算机科学与技术”博士后流动站，主要从事硬件安全、高可靠系统安全、嵌入式安全、可重构计算等方面的研究。
慕德俊，男，1963年6月生，西北工业大学自动化学院教授、博士生导师，主要研究方向包括网络与信息安全、控制理论与应用、网络化控制、无线传感器网络等。
在线客服