18.02.2015 Views

目錄 - 研究發展處 - 稻江科技暨管理學院

目錄 - 研究發展處 - 稻江科技暨管理學院

目錄 - 研究發展處 - 稻江科技暨管理學院

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

稻 江 學 報 第 五 卷 第 一 期<br />

( n/ m)<br />

SECF (0) = ( f ( k G )) ∏ ( − f ( k G )) + sgk mod p<br />

(49)<br />

j,1 j, v j,1 j, t j,1 j,1<br />

t = 1<br />

或<br />

( n/ m)<br />

( f ( k G ))( f( k G )) = ( SECF (0) −sgk )/ ∏ ( − f( k G )) mod p. (50)<br />

ja , j,1 jv , j,1 j,1 j,1 jt , j,1<br />

t= 1, t≠v≠a<br />

共 謀 者 僅 能 從 方 程 式 (50), 獲 得 ( f( kja ,<br />

Gj,1 ))( f( kjv ,<br />

G<br />

j,1))<br />

。 但 是 共 謀 者 是 無 法 使 用 獲 得 ( f( kja ,<br />

Gj,1 ))( f( kjv ,<br />

G<br />

j,1))<br />

,<br />

在 新 的 方 程 式 (47), 取 得 新 的 小 組 組 鑰 gk j,1 *。 本 系 統 因 有 加 入 虛 擬 會 員 私 鑰 , 顯 然 地 , 系 統 變 得 安 全 了 。 換<br />

句 話 說 , 這 種 共 謀 攻 擊 在 我 們 設 計 的 系 統 是 無 效 的 。<br />

( 二 )、 外 來 攻 擊<br />

外 來 攻 擊 是 當 一 個 外 人 u, 企 圖 透 過 有 關 的 公 眾 參 數 , 在 子 濾 器 裡 , 攻 擊 小 組 鑰 sgk j 。 由 於 外 人 u 不 是<br />

系 統 的 一 名 會 員 , 他 / 她 只 能 從 子 濾 器 中 , 去 攻 擊 小 組 的 組 鑰 sgk j 。 其 子 濾 器 方 程 式 可 寫 成<br />

jh ,<br />

( n/<br />

m)<br />

SECFjh ,<br />

( x) = {( x− f ( k<br />

j′ , vGj′ , h)) ∏ ( x− f ( k<br />

j′ ,( h− 1)( n/ m) + tGj′<br />

, h))}( x−<br />

f ( k<br />

j,( h− 1)( n/ m) + tGjh<br />

,<br />

))<br />

t = 1<br />

顯 然 地 , 外 人 u 不<br />

+ sgk mod p,1 ≤ h ≤ m, 1 ≤ j ≠ j′<br />

≤ r. (51)<br />

知 道 全 部 會 員 私 鑰 的 資 訊 , 因 此 外 人 u 無 法 從 上 面 方 程 式 中 獲 得 sgk j,h , 這 種 攻 擊 在 我 們 設 計 的 系 統 是 無 效 的 。<br />

( 三 )、 離 開 會 員 的 攻 擊<br />

所 謂 離 開 會 員 的 攻 擊 就 是 當 一 小 組 有 會 員 離 開 系 統 後 , 離 開 會 員 企 圖 透 過 有 關 的 公 眾 參 數 , 再 獲 取 原 隸<br />

屬 小 組 , 新 的 小 組 鑰 , 然 後 離 開 會 員 使 用 這 小 組 鑰 , 獲 取 新 的 組 鑰 。 為 方 便 起 見 , 以 第 j 組 中 第 一 小 組 的 會<br />

員 u j,l , 離 開 系 統 為 例 。 會 員 u j,l 在 未 離 開 系 統 前 , 會 員 u j,l 能 從 方 程 式 (48), 獲 得 ( −f( k G )) ∏ ( − f( k G )),<br />

其 方 程 式 為<br />

( n/<br />

m)<br />

( −f ( k G )) ∏ ( − f( k G )) = SECF (0) −sgk mod p, 1 ≤ j≤ r.<br />

(52)<br />

jv , j,1 jt , j,1 j,1 j,1<br />

t=<br />

1<br />

( n/<br />

m)<br />

jv , j,1 jt , j,1<br />

t=<br />

1<br />

當 他 / 她 在 離 開 系 統 後 , 子 濾 器 變 更 為 方 程 式 (47)。 顯 然 地 , 如 果 離 開 會 員 使 用 x = ( −f( k G )) ∏ ( −f( k G ))<br />

( n/<br />

m)<br />

jv , j,1 jt , j,1<br />

t=<br />

1<br />

在 新 的 方 程 式 (47), 是 無 法 獲 得 新 的 小 組 鑰 gk j,1 *, 更 不 能 取 得 新 的 組 鑰 。 因 此 這 種 攻 擊 是 無 法 成 功 的 。<br />

在 這 52 個 方 程 式 中 , 只 要 是 系 統 合 法 的 上 安 全 層 級 會 員 , 便 能 在 運 作 這 些 方 程 式 後 , 容 易 簡 單 取 得 下 安<br />

全 層 級 的 組 鑰 。 但 是 , 如 果 下 安 全 層 級 的 會 員 或 是 非 法 會 員 , 要 藉 由 這 些 方 程 式 來 運 作 , 取 得 非 法 的 組 鑰 。<br />

經 由 以 上 的 安 全 分 析 , 顯 然 是 不 可 能 。 因 此 大 大 的 提 高 本 系 統 的 加 密 性 。<br />

47

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!