サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 記事・論文

Static Adversaryに対してEUC安全な認証の記号的基準について

鈴木 斎輝,吉田 真紀,藤原 融

詳細情報

タイトル Static Adversaryに対してEUC安全な認証の記号的基準について
著者 鈴木 斎輝
著者 吉田 真紀
著者 藤原 融
シリーズ名 情報セキュリティ・情報通信基礎サブソサイエティ合同研究会
出版地(国名コード) JP
別タイトル Symbolic criterion for EUC secure authentication against static adversary
出版年(W3CDTF) 2011-03
件名(キーワード) EUC安全性
件名(キーワード) メッセージ認証
件名(キーワード) 形式的検証
件名(キーワード) 計算論的健全性
件名(キーワード) EUC security
件名(キーワード) message authentication
件名(キーワード) formal verification
件名(キーワード) computational soundness
NDLC ZN33
対象利用者 一般
資料の種別 記事・論文
掲載誌情報(URI形式) http://iss.ndl.go.jp/books/R100000002-I000000050569-00
掲載誌情報(ISSN形式) 09135685
掲載誌情報(ISSN-L形式) 09135685
掲載誌名 電子情報通信学会技術研究報告 : 信学技報
掲載巻 110
掲載号 443
掲載ページ 403~410
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで