スポンサーリンク
神奈川大学大学院理学研究科情報科学専攻 | 論文
- B-6-25 制約ルール集合上のパケット分類の領域計算量に関する考察(B-6. ネットワークシステム,一般セッション)
- ブロック分割によるパケットフィルタ最適化問題の一解法(インターネット)
- B-7 Javaをターゲットにした自国語プログラミングにおける辞書を用いた自動変換(ソフトウェア開発支援ツール,B.ソフトウェア)
- L-010 メールユーザエージェントによる送信者認証の実験 : DKIM方式の適用(セキュリティ運用管理,L分野:ネットワーク・セキュリティ)
- B-044 安全な組込み用OSの試作 : セパレーションカーネルに基づくセキュリティ機能の検討(OS・ストレージ,B分野:ソフトウェア)
- L-001 フィルタリングルール最適配置問題の解法(通信制御,L分野:ネットワーク・セキュリティ)
- B-043 組込み用OSのネットワーク機能の設計と形式手法SPINによる検証(OS・ストレージ,B分野:ソフトウェア)
- L-002 パケットフィルタリングの多段化による遅延の軽減法(通信制御,L分野:ネットワーク・セキュリティ)
- M-21 XMLを利用した遠隔地からの家庭用機器の操作方式(サービス・資源管理と応用(2),M.ネットワーク・モバイルコンピューティング)
- 一斉射撃問題を解いてみる : 分かりやすい 8 状態最少時間解まで