河辺 義信 | 日本電信電話株式会社nttコミュニケーション科学基礎研究所
スポンサーリンク
概要
関連著者
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
真野 健
NTTコミュニケーション科学基礎研究所
-
櫻田 英樹
Nttコミュニケーション科学基礎研究所
-
河辺 義信
NTTコミュニケーション科学基礎研究所
-
小暮 潔
日本電信電話株式会社 Nttコミュニケーション科学基礎研究所
-
塚田 恭章
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
塚田 恭章
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
小暮 潔
NTTコミュニケーション科学基礎研究所
-
小暮 潔
ATRメディア情報科学研究所
-
真野 健
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学 情報科学部 情報科学科
-
桑原 寛明
立命館大学情報理工学部
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
小暮 潔
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
櫻田 英樹
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
小暮 潔
日本電信電話(株)基礎研究所
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学
-
結縁 祥治
名古屋大 大学院情報科学研究科
-
真野 健
コミュニケーション科学基礎研究所
-
塚田 恭章
コミュニケーション科学基礎研究所
-
河辺 義信
NTT コミュニケーション科学基礎研究所
-
水野 敦
名古屋大学大学院情報科学研究科
-
桑原 寛明
名古屋大学大学院情報科学研究科
-
堀田 英一
日本電信電話株式会社NTT情報流通プラットフォーム研究所
-
堀田 英一
日本電信電話株式会社 Ntt情報流通プラットフォーム研究所
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
-
黒野 恵人
愛知工業大学情報科学部情報科学科
-
前田 彩
愛知工業大学情報科学部情報科学科
-
黒野 恵人
愛知工業大学 情報科学部 情報科学科
著作論文
- π計算に基づくプログラミング言語NepiのためのGUI機能
- ゲーム列による安全性証明の形式化と自動化(数理的技法による情報セキュリティ)
- 匿名性とプライバシ保護の数理的技法 (特集 コミュニケーション環境の未来に向けた研究最前線)
- ETAPS 2006参加報告(会議レポート)
- Nepiネットワークプログラミングシステムの形式的検証(ソフトウェア工学の基礎)
- π-計算の名前制限の名前生成による実装の正しさ
- プロセス代数に基づくネットワークプログラム言語 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (快適にコンピュータを使えるために)
- π-計算に基づくモバイルエージェントの形式化
- アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて
- 攻撃者を考慮した匿名性検証法 (第20回 回路とシステム軽井沢ワークショップ論文集) -- (形式的手法)
- 電子投票プロトコルに対する無証拠性の定理証明
- 順序ソート項書換え系における合流性のモジュラ性
- 電子投票プロトコルに対する無証拠性の定理証明 (特集 人と共存するコンピュータセキュリティ技術)
- コンシェルジュサーバを持つ電話システムの形式的検証