Scientia完美保密
在1978年Ralph C. Merkle提出了一篇”Secure communications over insecure channels”想法之後，人們開始意識到在網路上傳輸資料時其實存在著攻擊者(adversary)在監聽我們的溝通，從而開始發展要混淆傳輸的資料使得在不安全的環境中也可以安心傳輸
對稱加密函式必要的Confusion以及Diffusion特性
在密碼理論研究當中有兩個特性對於安全的密碼系統來說是不可或缺的，分別是混淆(confusion)以及擴散(diffusion)這兩種特性，由Claude Shannon提出利用這兩種特性是想要抵抗密碼分析上被統計出明文的情況，confusion應用在對稱式密碼系統當中想要讓明文以及輸出密文之間的局部關聯性隱藏起來，其實就是用密鑰來對要加密的資料做影響，而diffusion則是要防止攻擊者能夠利用密文的統計性質找出對應的明文。
群之可解性
首先讓我們定義
為一個群，我們說是solvable/soluble(可解)的話代表存在filtration 
使得說
群
在數論當中群(Group)是其中一種重要的概念，代數最基本由三種結構組成：群 Group, 環 Ring, 體 Field，而群作為最基本的代數結構，也是我們在密碼系統中常常使用的，故需要先了解群的定義對於後續密碼系統分析會比較方便。
![\[\phi = (\bar{x} \wedge y) \vee (x \wedge \bar{z})\]](https://scientia-potentia-est.com/wp-content/ql-cache/quicklatex.com-9ec07f78e20f956306f56af1de45a787_l3.png "Rendered by QuickLaTeX.com")
時間複雜度
通長在測量複雜度的時候會使用兩種分析方法：Worst-case analysisAverage-case analysis定義一個M是Deterministic Turing Machine並且會根據輸入決定停止規範M的執行時間或者時間複雜度可以表示成一個function…
: tapes的數量…
圖靈機
圖靈機是由Alan Turing在1936年提出的概念，現今世界上所有的計算機不管是多複雜的架構都可以使用圖靈機的概念設計出來，其主要核心精神如下圖
![\[ H_{b}(X) = -\sum_{x \in \mathbb{X}} P(x) \cdot log_{b}P(x) = \mathbb{E}[-log_{b}P(X)] = \mathbb{E}{p} [log_{b}\frac{1}{P(x)}] \]](https://scientia-potentia-est.com/wp-content/ql-cache/quicklatex.com-756ab713fac7a96493cb0a7f119a7905_l3.png "Rendered by QuickLaTeX.com")
