《門級信息流分析理論及套用》是2014年科學出版社出版的圖書，作者是胡偉、慕德俊。
基本介紹
- 中文名：門級信息流分析理論及套用
- 作者：胡偉,慕德俊
- 出版時間：2014年11月
- 出版社：科學出版社
- 頁數：224 頁
- ISBN：9787030423702
- 定價：72.00
- 裝幀：平裝
內容簡介,作者簡介,圖書目錄,
內容簡介
本書屬於信息安全領域，旨在解決物聯網和信息物理系統環境下高可靠系統所面臨的信息安全問題。但本書同時涵蓋了網路信息安全、數字電路、設計自動化以及算法複雜性理論等相關學科。其中，在網路信息安全領域主要涉及基於格模型的信息流安全理論及方法；在數字電路方面主要涉及信息流模型的形式化描述以及設計最佳化問題；在設計自動化領域主要利用了一些相關的電路設計、評估與驗證方法；在算法複雜性理論方面主要涉及一些相關算法的設計與複雜度分析。
作者簡介
胡偉，男，1982年10月生，分別於2005年、2008年和2012年獲得西北工業大學“信息對抗技術”專業學士、“模式識別與智慧型系統”專業碩士和“控制科學與工程”專業博士學位，2009年9月—2011年9月赴加州大學聖迭戈分校計算機科學與工程系學習，2012年7月入西北工業大學“計算機科學與技術”博士後流動站，主要從事硬體安全、高可靠系統安全、嵌入式安全、可重構計算等方面的研究。
慕德俊，男，1963年6月生，西北工業大學自動化學院教授、博士生導師，主要研究方向包括網路與信息安全、控制理論與套用、網路化控制、無線感測器網路等。
圖書目錄
封面
門級信息流分析理論及套用
內容簡介
前言
第1章 緒論
第2章 信息流安全相關理論
第3章 二級安全格下的GLIFT理論
第4章 多級安全格下的GLIFT理論
第5章 GLIFT邏輯生成算法理論
第6章 GLIFT邏輯的設計最佳化問題
第7章 GLIFT方法的套用
第8章 測試與驗證方法
第9章 測試與驗證實例
第10章 結束語
參考文獻
附錄1 CLASS標準單元庫相應的GLIFT邏輯庫
附錄2 軟體工具和測試基準集
附錄3 ModelSim仿真工具參考腳本
附錄4 Design Compiler綜合工具參考腳本
附錄5 縮略詞表
附錄6 符號對照表
封底
