語義安全(英語:SemanticSecurity)是密碼學中的術語。[1]如果已知某段未知文段的密文不會泄露任何該文段的其餘信息,那么則稱該密文是語義安全的。該概念相似於香農的完善保密性定義。完善保密性意味密文不會泄露任何明文的信息,而語義安全側重表示被揭露的信息不會被實際竊取。
相關詞條
-
指稱語義
指稱語義,計算機術語,在計算機科學中,指稱語義是通過構造表達其語義的(叫做指稱(denotation)或意義的)數學對象來形式化計算機系統的語義的一種方法。
概況 遞歸程式的語義 指稱語義的發展 完全抽象 語義與實現 -
計算系統的形式語義
的雙模擬語義7.14安全Ambient演算及其雙模擬語義7.14.1安全...:2016.11.24 圖書簡介《計算系統的形式語義》是一本於2017年2月1日清華大學出版社出版的圖書,作者是陸汝鈐。 計算系統的形式語義...
基本信息 圖書簡介 目錄 -
語義網原理與技術
《語義網原理與技術》是2007年科學出版社出版的圖書,作者是陸建江。
內容簡介 目錄 -
型別安全
在計算機科學中,一部分程式語言具備類型安全的性質。這個術語在不同的社群中有不同的定義,特別是正規的類型理論上的定義遠遠強過大多數的程式設計師的理解,但對於使...
簡介 定義 語言的類型安全性 參閱 -
資料庫安全
資料庫安全包含兩層含義:第一層是指系統運行安全,系統運行安全通常受到的威脅如下,一些網路不法分子通過網路,區域網路等途徑通過入侵電腦使系統無法正常啟動,或...
安全問題 防護手段 特徵 安全策略 控制方法 -
安全plc
安全PLC(安全可程式系統)指的是在自身或外圍元器件或執行機構出現故障時,依然能正確回響並及時切斷輸出的可程式系統。
基本內容 體系結構 安全匯流排 -
UML安全系統開發
《UML安全系統開發》系統地介紹了通過擴展可視化UML建模語言所建立的安全工程方法——UMLsec方法,以及它在安全軟體開發過程中的實際套用。《UML安...
編輯推薦 目錄 -
類型安全
類型安全代碼指訪問被授權可以訪問的記憶體位置。例如,類型安全代碼不能從其他對象的私有欄位讀取值。它只從定義完善的允許方式訪問類型才能讀取。 描述類型安全系...
類型安全 類型安全性 -
信息內容安全管理及套用
音頻信息特徵抽取 音頻信息特徵抽取 圖像信息特徵抽取
圖書信息 內容簡介 目錄
