衡量密碼體制安全性的基本準則之計算安全

計算安全的:如果破譯加密算法所需要的計算能力和計算時間是現(xiàn)實條件所不具備的,那么就認為相應的密碼體制是

滿足計算安全性的。這意味著強力破解證明是安全的,即實際安全。

可計算性理論是研究計算的一般性質(zhì)的數(shù)學理論。它通過建立計算的數(shù)學模型，精確區(qū)分哪些問題是可計算的，哪些問題是不可計算的。對于判定問題，可計算性理論研究哪些問題是可判定問題，哪些問題是不可判定問題。

計算復雜性理論使用數(shù)學方法對計算中所需的各種資源的耗費作定量的分析，并研究各類問題之間在計算復雜程度上的相互關(guān)系和基本性質(zhì)?？捎嬎憷碚撗芯繀^(qū)分哪些是可計算的，哪些是不可計算的，其可計算是理論上的可計算，或原則上的可計算。而計算復雜性理論則進一步研究現(xiàn)實的可計算性，如研究計算一個問題類需要多少時間，多少存儲空間。研究哪些問題是現(xiàn)實可計算的，哪些問題雖然是理論可計算的，但因計算復雜性太大市實際上是無法計算的。

習題演練

如果破譯加密算法所需要的計算能力和計算時間是現(xiàn)實條件所不具備的,那么就認為相應的密碼體制是（  ）。

A.實際安全

B.可證明安全

C.無條件安全

D.絕對安全

信管網(wǎng)參考答案：A（歡迎評論區(qū)交流）