A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 2003-03-03
著者
-
渡辺 昌寛
エヌ・ティ・ティ・コムウェア(株)基礎技術本部
-
中島 玲二
京都大学数理解析研究所
-
中島 玲二
(財)京都高度技術研究所:京都大学数理解析研究所
-
柴山 悦哉
東京工業大学大学院情報処理工学研究科数理・計算科学専攻
-
柴山 悦哉
東京工業大学大学院情報理工学研究科
-
柴山 悦哉
東京工業大学数理・計算科学専攻
-
吉田 信明
(財)京都高度技術研究所
-
吉田 信明
京都大学数理解析研究所
-
吉田 信明
京都高度技術研究所
関連論文
- D-4-12 日本語版WikipediaとWordNetを用いた見出し語の分類(D-4. データ工学,一般セッション)
- 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援
- TCCT : タイマを柔軟に制御可能な時間付きプロセス計算
- 時間イベントパターンマッチング
- Real-Time Synchronization Machines for Continuous Media Data(Concurrency Theory and Applications '96)
- Towards a Formal Framework for Multimedia Data and Their Players With QoS
- 情報爆発時代における安全・安心ITシステム基盤(情報爆発時代に向けた新しいIT基盤技術の研究)
- 情報爆発時代における安全・安心ITシステム基盤
- 並列ビジュアルプログラミング環境KLIEG:プロセスネットワークパターンによる柔軟な再利用機構の導入(並列・分散)
- 並列ビジュアルプログラミング環境 KLIEG: プロセスネットワークパターンによる柔軟な再利用機構の導入(並列・分散)
- 日米並列Lispワークショップに参加して
- 計算のモデル,ソフトウェアのモデル (モデルとモデリング モデル論の構築をめざして)
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- RACCO:実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- モジュラー・プログラミングのための支援環境
- Software Fault Injectionを用いた開発時テスト支援環境
- 社会基盤としての安全なメールシステム (特集 コンピュータセキュリティ)
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- セキュリティポリシーの自動生成 (第6回ネットワークシンポジウム講演論文集)
- ゲートウェイにおけるセキュリティポリシーのエンコード (第5回〔東京工業大学〕ネットワークシンポジウム講演論文集)
- ブラウザのための可視化とナビゲーション支援 (「Webシステムにおける情報獲得支援技術」)
- コード変換によるケイパビリティの静的解消 (第4回ネットワークシンポジウム講演論文集)
- 科学通信(科学の動向)社会基盤としての安全なソフトウェア
- 指示棒の認識を用いたプレゼンテーションシステムの構築
- ニューススレッドからの番組自動生成
- コンパイルタイムリフレクションによるOS拡張の記述
- 言語はやはり道具でしょう, 教養はやはり必要でしょう(インタラクティブ・エッセイ)
- Mochi Sheet:大規模なビジュアルプログラムの効率的編集を支援するズーミングインタフェース(次世代ヒューマンインタフェース・インタラクション)
- 保護ドメイン簡約による分散実行環境の保護
- 言語研究者が忘れていたもの (lt討論会gtさまざまなソフトウェア開発文明)
- アプリケーション内メモリ管理の枠組みと分散環境における選択的な保護
- B-19-18 ネットワーク上にP2Pで構築された共有空間の維持(B-19. ネットワークソフトウェア, 通信2)
- B-6-188 SOBAフレームワークにおけるファイアウォール越えのP2P通信手法(B-6. ネットワークシステム)
- B-6-187 SOBAフレームワークによるP2Pネットワーク上の共有情報伝搬機構(B-6. ネットワークシステム)
- B-15-9 ネットワーク上に構築されたP2P仮想共有空間への携帯端末からの参加(B-15.モバイルマルチメディア通信)
- ソフトウェアの形式的開発技法,その実用化への課題 : IFIP'83パネル討論会から
- Ada「批判」 (プログラミング言語 : PascalとAda)
- Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究)
- D-4-9 SPARQL処理系の性能に関する考察(D-4. データ工学,一般セッション)
- 型付高階モーバイル言語の設計
- 多相性と動的ロードを考慮したJavaリフレクションの部分評価
- 並列オブジェクト指向言語ABCLによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 無線によるユビキタス情報配信システムの設計・構築手法の検討 (ディペンダブルコンピューティング)
- 無線によるユビキタス情報配信システムの設計・構築手法の検討 (コンピュータシステム)
- 当世ワ-クステ-ション事情
- 無線によるユビキタス情報配信システムの設計・構築手法の検討
- 無線によるユビキタス情報配信システムの設計・構築手法の検討
- 「情報処理学会論文誌 : プログラミング」の編集について
- ローカルポリシーによるアプリケーション機能制限機構(サイバー増大ページ論文概要,サイバー増大号)
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- 京都市動物園での情報通信技術活用への取り組み : 動物園に適したインフラと動物コンテンツの活用 (特集 情報が観光を創る・磨く・鍛える)
- D-6-21 Standard MLへのGPGPU関数の埋め込み手法(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- 京都市動物園での情報通信技術活用への取り組み〜動物園に適したインフラと動物コンテンツの活用〜
- 大域アドレス空間に基づく分散OSにおけるオブジェクト移送の実現
- 「情報処理学会論文誌 : プログラミング」の編集について
- 京都における観光への情報通信技術の応用(システム情報技術と観光の接点)
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)