符號與標記

GB/T 15843本部分適用下列已在GB/T 15843-1999中描述的符號和標記。
A 實體A的唯一標識符。
B 實體B的唯一標識符。

下述通用符號與標記要用到
d 詢問
D 響應
h 散列函數
r 隨機數
不大于x的最大整數。
mod 如果i是一個整數而n是一個正整數，那么i mod n表示唯一的整數j滿足：
a)0≤j＜n,
b)i-j是n的整數倍。

CA1，CA2，…..CAm  實體A的私有認可信息
gcd    兩個整數的最大公因子，也即：gcd(a,b)表示同時為a和b的因子的最大正整數。
IA1，IA2，…，.IAm    實體A的標識數據。IAi是實體A的標識數據的第i部分。
JA1，JA2，…，JAm    實體A的冗余身份。JAi是實體A冗余身份的第i部分。
KS        由模數n確定的一個整數，它決定了一個實體的冗余身份的最大比特長度。
lcm    兩個整數的最小公倍數，也即：lcm(a,b)表示a和b的公共倍數中的最小正整數。

m     認可多重性參數。
n      模數，等于素數p 和q的乘積。
p      用于計算模數的素數
q      用于計算模數的素數
t      交換多重性參數
u      認可機構的私有認可指數
v      公開認可驗證指數
W     證據

mod* 如果i是一個整數而n是一個正整數，那么 i mod* n 表示非負整數j，它等于i mod n 和 n-i mod n兩個值中比較小的一個。如果i和j是兩個整數并且n是一個正整數，那么i≡j(modn)當且僅當i mod n=j mod* n

注：設p為一個奇素數且a為一個正整數。a關于p的Legendre符號，記作（a︱p），定義為：
（a︱p）=a(p-1)/2 mod p
當a不是p的倍數時，（a︱p）等于+1或者-1，它取決于a是否等于一個整數模p的平方。素數p的倍數關于p的Legendre符號為零。
設n是一個奇的正整數滿足n=pq，其中p和q為素數，設a是一個正整數。那么a關于n的Jacobi符號，記作（a︱n），定義為：
（a︱n）=（a︱p）（a︱q）

 在第6章基于離散對數機制的上下文中，下列符號與標記被使用：

g– 正整數，它是離散對數的基。
p– 用作模的素數。
q– 一個素數，是p-1的因數。
yx– 實體X的公開驗證密鑰。

在第7章基于可信公開變換機制的上下文中，使用下列符號與標記：

Px– 實體X的公開加密變換。
Sx– 實體X的私有解密變換。