| | | 門級信息流分析理論及應用 計算機與互聯網 胡偉,慕德俊著 科學 | 該商品所屬分類:圖書 -> ε | 【市場價】 | 540-784元 | 【優惠價】 | 338-490元 | 【出版社】 | 科學出版社 | 【ISBN】 | 9787030423702 | 【折扣說明】 | 一次購物滿999元台幣免運費+贈品 一次購物滿2000元台幣95折+免運費+贈品 一次購物滿3000元台幣92折+免運費+贈品 一次購物滿4000元台幣88折+免運費+贈品
| 【本期贈品】 | ①優質無紡布環保袋,做工棒!②品牌簽字筆 ③品牌手帕紙巾
| |
版本 | 正版全新電子版PDF檔 | 您已选择: | 正版全新 | 溫馨提示:如果有多種選項,請先選擇再點擊加入購物車。*. 電子圖書價格是0.69折,例如了得網價格是100元,電子書pdf的價格則是69元。 *. 購買電子書不支持貨到付款,購買時選擇atm或者超商、PayPal付款。付款後1-24小時內通過郵件傳輸給您。 *. 如果收到的電子書不滿意,可以聯絡我們退款。謝謝。 | | | | 內容介紹 | |
![](/c49/32/68384328580.jpg)
出版社:科學出版社 ISBN:9787030423702 商品編碼:68384328580 開本:16開 出版時間:2014-11-27 頁數:224 字數:280000 代碼:72
" 商品基本信息,請以下列介紹為準 | 商品名稱: | 門級信息流分析理論及應用 | 作者: | 胡偉,慕德俊著 | 代碼: | 72.0 | 出版社: | 科學出版社 | 出版日期: | 2014-11-27 | ISBN: | 9787030423702 | 印次: | | 版次: | 31 | 裝幀: | 平裝 | 開本: | 16開 |
內容簡介 | 《門級信息流分析理論及應用》詳細論述了門級信息流跟蹤方法的基礎理論與應用。先介紹該方法的基本原理,包括門級信息流跟蹤邏輯的性質定理、形式化描述、生成算法與復雜度理論、設計優化問題;然後介紹該方法的應用原理、設計方法學、設計與驗證環境,以及該方法在開關電路設計等相關領域的應用等內容,並提出了一些供參考的研究方向。 |
目錄 | 前言
第1章? 緒論
? 1.1? 信息問題的起源與發展
??? 1.1.1? 信息問題的起源
??? 1.1.2? 信息問題的發展歷程
??? 1.1.3? 信息問題的發展方向
? 1.2? 高可靠繫統信息
??? 1.2.1? 高可靠繫統面臨的信息問題
??? 1.2.2? 高可靠繫統的信息需求
??? 1.2.3? 高可靠繫統研究概述
? 1.3? 常用信息機制
??? 1.3.1? 密碼算法
??? 1.3.2? 訪問控制
??? 1.3.3? 信息流控制
? 1.4? 本書主要研究內容
? 1.5? 本書主要特點和讀者對像
第2章? 信息流相關理論
? 2.1? 信息和數據
? 2.2? 信息流的定義
? 2.3? 信息流的分類
??? 2.3.1? 顯式流
??? 2.3.2? 隱式流
??? 2.3.3? 時間信息流
??? 2.3.4? 間接流
? 2.4? 信息流策略
??? 2.4.1? 信息流主體和客體
??? 2.4.2? 信息流等級
??? 2.4.3? 信息流的格模型
? 2.5? 常用信息流模型
??? 2.5.1? 軍用模型
??? 2.5.2? Bell-LaPadula模型
??? 2.5.3? Biba模型
??? 2.5.4? 無干擾模型
? 2.6? 信息流控制機制
??? 2.6.1? 基於編譯的機制
??? 2.6.2? 基於執行的機制
? 2.7? 信息流跟蹤技術
??? 2.7.1? 信息流跟蹤
??? 2.7.2? 程序語言層的信息流跟蹤技術
??? 2.7.3? 作繫統層的信息流跟蹤技術
??? 2.7.4? 體繫架構層的信息流跟蹤技術
??? 2.7.5? 邏輯門級的信息流跟蹤技術
? 2.8? 本章小結
第3章? 二級格下的GLIFT理論
? 3.1? 基本概念和原理
? 3.2? GLIFT邏輯函數的基本性質
? 3.3? 基本門GLIFT邏輯的形式化描述
??? 3.3.1? 緩衝器
??? 3.3.2? 非門
??? 3.3.3? 觸發器
??? 3.3.4? 與門和與非門
??? 3.3.5? 或門和或非門
??? 3.3.6? 異或門和同或門
??? 3.3.7? 三態門
? 3.4? 基本門GLIFT邏輯的復雜度分析
??? 3.4.1? 與門
??? 3.4.2? 或門
??? 3.4.3? 與非門和或非門
??? 3.4.4? 異或門
? 3.5? GLIFT邏輯的不性
??? 3.5.1? GLIFT邏輯潛在的不性
??? 3.5.2? 不性根源的分析與證明
? 3.6? 實驗結果與分析
??? 3.6.1? 復雜度分析
??? 3.6.2? 性分析
? 3.7? 本章小結
第4章? 多級格下的GLIFT理論
? 4.1? 多級格模型
? 4.2? 多級格下的GLIFT問題
??? 4.2.1? 三級線性格
??? 4.2.2? 四級線性格
??? 4.2.3? 任意級線性格
??? 4.2.4? 非線性格
? 4.3? 多級格下的相關運算和運算律
??? 4.3.1? 類的邊界運算
??? 4.3.2? 類邊界運算的運算律
??? 4.3.3? 點積運算
??? 4.3.4? 點積運算的運算律
? 4.4? 基本門GLIFT邏輯的形式化描述
??? 4.4.1? 緩衝器
??? 4.4.2? 非門
??? 4.4.3? 觸發器
??? 4.4.4? 與門和與非門
??? 4.4.5? 或門和或非門
??? 4.4.6? 異或門和同或門
??? 4.4.7? 三態門
? 4.5? GLIFT邏輯的布爾描述 < |
摘要 | 第1章 緒 論 信息問題由來已久,已廣泛滲透於政治、經濟、軍事、社會生活等各個領域。本章主要探討信息問題在不同發展階段下的主要體現形式和未來的發展趨勢,討論在物聯網、信息物理繫統、雲計算等領域不斷興起的技術背景下,高可靠繫統所面臨的網絡威脅,以及密碼算法、認證和訪問控制(Access Control,AC)等典型機制在應對這些新型威脅方面所存在的不足。 1.1 信息問題的起源與發展 1.1.1 信息問題的起源 回顧信息學科的發展歷程,我們發現早在人們意識到信息問題的重要性之前,就已經有了信息的應用需求和案例。遠在古希臘時期,人們就已經采用簡單的隱寫術來傳遞情報,後來保密通信的需求又促生了一些經典密碼算法,如愷撒密碼、維吉尼亞密碼、移位式密碼和莫爾斯碼等[1]。但在計算機和網絡誕生之前,人們還沒有將信息作為一個概念或問題正式提出。 2005年Whitman和Mattord認為信息起源於計算機。自從第二次大戰期間開發出代用於幫助分段計算代碼的大型計算機以來,計算機的需求就誕生了。據查證,“計算機”概念是1969年提出的,當時美國蘭德公司給美國的報告中指出“計算機太脆弱了,有問題”[2]——這是次公開提到計算機。 1.1.2 信息問題的發展歷程 信息在其發展過程中主要經歷了以下三個階段。 (1)早在20世紀初期,通信技術尚不發達,面對電話、電報、傳真等信息交換過程中存在的問題,人們強調的主要是信息的機密性,對理論和技術的研究也僅側重於密碼學,這一階段的信息可以簡單稱為通信(Communication Security,COMSEC)。 (2)20 世紀60年代後,半導體和集成電路技術的飛速發展推動了計算機軟硬件的發展,計算機和網絡技術的應入了實用化和規模化階段,人們對的關注已經逐漸發展為以機密性、完整性和可用性為目標的信息(Information Security,INFOSEC)階段。 (3)從20世紀80年代開始,由於互聯網技術的迅猛發展,信息無論對內還是對外都得到極大開放,由此產生的信息問題跨越了時間和空間,信息的焦點已經不僅是傳統的機密性、完整性和可用性三個原則,由此衍生出如可控性、抗抵賴性、真實性等其他的原則和目標,信息也轉化為從整體角度考慮其體繫建設的信息保障(Information Assurance,IA)階段。 “9?11”事件以後,不隻是美國,各國都有意識地增加了對信息技術的投入和監管,可以說“9?11”事件是美國乃至全信息政策的分水嶺。美軍參謀機構發行的《2010年聯戰遠景》白皮書為信息戰做了如下注釋:“鋻於現代計算機網絡、通信繫統及電子數據庫重要性的日益提升,將信息納入國家整體政策中仍屬要。在平時,信息戰有助於衝突發生,或應對危機及公開敵意行為。在危險爆發時,信息戰可以用來解決紛爭、增強嚇阻,或準備應對公開衝突。在戰時,信息戰則可以直接達成戰略、作戰及戰術目標,或強化其他用於達成這些目標的方法。”可見,信息問題在未來很長一段時間內,都將處於高的戰略高度。 2005年,電信聯盟以物聯網為主題的年度互聯網報告大力推動了物聯網領域的興起。然而,這一新興領域也正面臨著的信息挑戰:個人隱私、物品信息等隨時都可能被洩露,遠程控制他人物品,甚至縱城市供電繫統,奪取機場的管理權限都有可能發生。物聯網的興起可能引發很多新的信息問題,這些問題主要體現在以下幾方面。 (1)感知節點的問題。由於感知節點數量龐大,往往分布在一個很大的區域內,所以當缺少有效監控 |
" | | | | | |