Error-correcting Code
額外檢查位元可偵測或修正指定錯誤。保護範圍取決於碼字、使用政策與故障模型。
術語字典
把不同課程的概念連起來。
每個定義都連回實際使用此概念的文章。
Fault Injection
依指定模型故意擾動電路，用來測試或利用錯誤行為。
Fault Model
實驗允許的故障位置、效果、時間、數量與可信邊界。
Accepted Commit
下游依介面契約接受受保護操作的事件。
TLS
建立帶有適用身分驗證與資料保護的傳輸通道。
ECDHE
用暫時性橢圓曲線金鑰資料協議共享祕密。
HKDF
萃取並依用途導出所需金鑰材料；不憑空製造熵。
Transcript
按規範累積的握手訊息紀錄。
CertificateVerify
用簽章把對應私鑰能力綁到本次握手。
Finished
使用導出金鑰的 MAC，確認握手與金鑰。
AEAD
同時提供加密與驗證的 record 保護機制。
mTLS
雙方在 TLS 中使用憑證驗證；仍需授權政策。
Forward secrecy
符合條件時，日後長期金鑰洩漏不揭露過去連線金鑰。
0-RTT
握手尚未完成便送出的早期資料，具有不同的重放與保密邊界。
Digital Signature
以私鑰產生、用公鑰檢查的特定訊息證據；金鑰身分與使用政策仍須另外建立。
Certificate
依簽發者政策，把公鑰與身分或其他屬性綁在一起的已簽署資料結構。
PKI
用來簽發、驗證、續期與撤銷公開金鑰憑證的角色、政策、系統與生命週期流程。
X.509
公開金鑰憑證與憑證路徑的標準框架。
Trust Anchor
系統在本地接受、用來開始信任判斷的資料，例如 Secure Boot 或憑證路徑驗證所使用的公鑰、金鑰雜湊或根憑證。
Secure Boot
在開機時先驗證納入保護範圍的下一階段程式，通過後才交出執行權的政策。
Threat Model
系統整理資產、攻擊者能力、可接觸入口、前提與可能影響，用來選擇防護措施的方法。
TEE
由硬體與軟體共同支援、用來處理敏感程式或資料的隔離環境；實際保護取決於實作與設定，並非絕對安全。
Anti-rollback
即使軟體簽章有效，仍依受保護的最低版本政策拒絕過舊版本。
Cache Coherence
讓多個 agent 對同一位址的 Cache 副本維持一致的規則。
MESI
以 Modified、Exclusive、Shared、Invalid 四種狀態組成的快取一致性協定。
False Sharing
不同變數因落在同一條 Cache Line，而產生不必要的 ownership 爭用。
SHA
把任意長度資料映射成固定長度摘要的密碼雜湊演算法家族。
PUF
利用物理差異產生與裝置有關回應的電路；可靠度與秘密性仍須分別評估。
AES
以多輪轉換處理 128-bit 區塊的對稱式加密演算法。
RTL
描述暫存器、資料路徑與控制轉移的時脈級硬體表示法。
Throughput
在既定工作負載與量測方法下，單位時間完成的有用工作量。
Amdahl's Law
固定工作負載中，無法平行的串行比例對加速比的上限約束。
IPC
每個時脈週期完成的指令數，是頻率之外的重要效能指標。
MLP
記憶體層級平行度：同時重疊多筆尚未完成的記憶體操作。
HBM
以極寬且短的介面連接堆疊 DRAM，提供高記憶體頻寬。
TSV
垂直穿過矽晶粒的導電連接。
ABF
先進封裝載板中用於細線路堆疊的介電薄膜材料。
CXL
建立在 PCIe 實體層上的互連家族，支援 I/O、裝置快取與可擴充記憶體。
ASIC
針對特定工作負載最佳化，而非通用運算的晶片。
LLM
大型語言模型，推論時會根據上下文反覆預測下一個 token。
Token
Tokenizer 切出的模型文字單位，會對應到詞彙表中的編號。
Attention
讓目前 token 用 Query 對照其他 token 的 Key，再加權取回 Value 的機制。
KV Cache
保存舊 token 的 Key 與 Value tensor，讓 autoregressive decoding 避免重算舊上下文。
FIPS 140-3
規範密碼模組設計與操作安全性的驗證標準。
CRA
歐盟《網路韌性法案》：規範投放歐盟市場之數位元素產品全生命週期資安責任。
CoWoS
透過中介層整合運算晶片與記憶體的先進封裝技術。
RSA
安全性建立在大型合成數難以分解的公開金鑰密碼家族。
ECC
安全性建立在橢圓曲線離散對數困難度上的公開金鑰密碼。
Galois Field
元素個數有限，而且加、減、乘與除以非零元素都能在集合內完成的數學結構。
Hardware Root of Trust
以硬體錨定、為特定安全服務提供難以繞過之信任基礎的可信子系統。
HUK
在受保護邊界內保存或重建、且不匯出給一般軟體的裝置特有根祕密材料。
Secure Storage
依需求結合機密性、完整性、owner 隔離、存取控制與 freshness 的儲存服務。
Chain of Trust
由已建立信任的階段逐層驗證或授權下一階段的信任鏈。
Shor
在合適量子電腦上可高效率求解整數分解與離散對數的量子演算法框架。
PQC
設計目標是抵抗已知傳統與量子攻擊的公開金鑰密碼。
Wafer-Scale Engine
把大面積可程式化運算網格與分散式記憶體留在同一片矽晶圓上的處理器。
Dataflow
由資料抵達與就緒狀態參與決定工作何時能執行的運算模式。
Reticle Stitching
在未切割晶圓上，對準並連接相鄰光刻曝光區的電氣連線。