電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 2件中 1〜2件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
IA 2013-02-15
15:20
東京 機械振興会館 形式化アプローチによるルーティングプロトコルの安全性検証
室田朋樹東大)・櫨山寛章奈良先端大)・加藤 朗慶大
 [more] IA2012-86
pp.95-100
ICSS 2011-03-25
13:25
東京 開催中止 インターネットにおける隠蔽通信路の可能性とその検証についての一考察
室田朋樹東大)・キン ティーダ ラット北陸先端大)・堀場勝広慶大)・櫨山寛章奈良先端大)・加藤 朗慶大
インターネットの社会インフラ化により、ネットワーク機器の安全性検証への関心が高まっている。一般に
ソフトウェアの安全性... [more]
ICSS2010-60
pp.23-28
 2件中 1〜2件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会