研究者
J-GLOBAL ID:200901043210906486
更新日: 2013年01月18日
根岸 和義
ネギシ カズヨシ | Negishi Kazuyoshi
研究分野 (1件):
情報学基礎論
研究キーワード (5件):
計算論理学
, 検証
, 通信プロトコル
, 論理
, セキュリティ
競争的資金等の研究課題 (2件):
1997 - 2007 通信プロトコルの論理による検証
セキュリティの論理検証
MISC (6件):
セキュリティプロトコルにおける暗号化メッセージの送信者による認知に関する検証法. 情報処理学会コンピュータセキュリティ研究会研究報告. 2000. Vol.2000,No.80,pp.25-30
セキュリティプロトコルの一貫性および正常終了一致の検証法. 情報処理学会コンピュータセキュリティ研究会研究報告. 2000. Vol.2000,No.30,pp.37-42
セキュリティプロトコルの一貫性および正常終了一致の同一参加者による複数セッションを考慮した検証法. 情報処理学会論文誌. 2000. Vol.41,No.8,pp.2281-2290
Verification method for possibility of parallel attack on multiple sessions with the same principals in a security protocol. Informal proceeding of Formal Method on Computer Security 2000. 2000. pp.109-120
密結合マルチプロセッサにおけるソフトウェアリソース競合モデルに関する一考察. 情報処理学会論文誌. 1991. Vol.32,No.2
もっと見る
学歴 (1件):
- 2000 東京工業大学 情報理工学研究科 計算工学専攻
学位 (1件):
工学博士 (東京工業大学)
経歴 (1件):
文部科学省 一般
所属学会 (3件):
日本ソフトウェア科学会
, 電子情報通信学会
, 情報処理学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM