This is a totally new kind of secur

This is a totally new kind of security requirement. It has nothing to do with hiding information. Rather, it is about whether the adversary can actually generate a particular piece of data (e.g., a MAC forgery).To express such a requirement in a security definition, we need a slightly different approach to defining the libraries. Consider a much simpler statement: “no adversary should be able to guess a uniformly chosen value.” We can formalize this idea with the following two libraries:

結果 (繁體中文) 1:

這是一種全新的安全要求。它無關，與隱藏的信息。更確切地說，它是關於對手是否可以實際生成數據的特定部分（例如，MAC偽造）。
為了表達在安全定義這樣的要求，我們需要一個稍微不同的方式來定義庫。考慮一個更簡單的說法：“沒有對手應該能猜到一個統一選擇的價值。”我們可以形式化這個想法與以下兩個庫：

結果 (繁體中文) 2:

這是一種全新的安全要求。它與隱藏資訊無關。相反，它與攻擊者是否能夠實際生成特定資料（例如 MAC 偽造）有關。
為了在安全定義中表達這樣的要求，我們需要一種略有不同的方法來定義庫。考慮一個更簡單的陳述："任何對手都不應能夠猜出一個統一選擇的值。我們可以通過以下兩個庫正式化此想法：

結果 (繁體中文) 3:

這是一種全新的安全要求。這與隱藏資訊無關。相反，它是關於對手是否真的能够生成特定的數據片段（例如，MAC偽造）。
為了在安全定義中表達這樣的需求，我們需要一種稍微不同的方法來定義庫。考慮一個簡單得多的陳述：“任何對手都不應該猜測一個統一選擇的值。”我們可以用以下兩個庫將這個想法形式化：