スポンサーリンク
NTT情報流通プラットホーム研究所 | 論文
- LM-9 シングルサインオンにおけるプライバシ保護について(M. ネットワーク・モバイルコンピューティング)
- グローバルアドレスを使用しない個人単位エクストラネットの実現
- スター型End-to-end-VPNを提供するVPN-exchange方式のスケーラビリティ向上
- スター型End-to-end-VPNを提供するVPN-exchange方式のスケーラビリティ向上
- B-7-14 DoS攻撃防止のためのバックボーンネットワークス構築法
- VPNを利用するサーバホスティングにおけるアドレス重複の回避
- 負制約の等価変換による問題解決の基礎理論
- 利用者制限を可能にするマルチキャスト型ストリーム配送方式
- 不正コピー防止を考慮したコンテンツ販売システム
- 不正コピー防止を考慮したコンテンツ販売システム
- 3X-6 利用権の固定先に着目した不正利用防止方式の提案(情報社会へ参画する態度,一般講演,コンピュータと人間社会)
- 参照を含む宣言的記述の定義と負参照の等価変換の正当性
- 参照を含む宣言的記述と負参照の等価変換
- 文字列領域における負制約の等価変換の基礎
- 否定を表現する新しい枠組 : 等価変換に基づくアプローチ
- 宣言的プログラムの推論規則
- 等価変換による最小説明発見問題の解法
- 等価変換による仮説推論
- 宣言的プログラムの宣言的意味による仮説推論問題の定式化
- 否定を含む宣言的プログラムのプログラム変換