真野 健 | NTTコミュニケーション科学基礎研究所

スポンサーリンク

概要

• 真野 健の詳細を見る
• 同名の論文著者
• NTTコミュニケーション科学基礎研究所の論文著者

関連著者

• 真野 健

  NTTコミュニケーション科学基礎研究所

• 河辺 義信

  日本電信電話株式会社nttコミュニケーション科学基礎研究所

• 河辺 義信

  愛知工業大学情報科学部情報科学科

• 真野 健

  日本電信電話株式会社NTTコミュニケーション科学基礎研究所

• 櫻田 英樹

  Nttコミュニケーション科学基礎研究所

• 河辺 義信

  NTTコミュニケーション科学基礎研究所

• 塚田 恭章

  日本電信電話株式会社NTTコミュニケーション科学基礎研究所

• 塚田 恭章

  日本電信電話(株)nttコミュニケーション科学基礎研究所

• 竹内 泉

  産業技術総合研究所

• 小暮 潔

  日本電信電話株式会社 Nttコミュニケーション科学基礎研究所

• 小川 瑞史

  北陸先端科学技術大学院大学

• 小川 瑞史

  Ntt

• 堀田 英一

  日本電信電話株式会社 Ntt情報流通プラットフォーム研究所

• 小川 瑞史

  Ntt ソフトウェア研究所

• 小暮 潔

  NTTコミュニケーション科学基礎研究所

• 小暮 潔

  ATRメディア情報科学研究所

• 小川 瑞史

  Ntt基礎研究所

• 堀田 英一

  Nttソフトウェア研究所

• 結縁 祥治

  名古屋大学 情報科学研究科

• 桑原 寛明

  立命館大学情報理工学部

• 萩谷 昌己

  東京大学大学院情報理工学系研究科

• 結縁 祥治

  名古屋大学大学院情報科学研究科

• 田浦 健次朗

  東京大学

• 小暮 潔

  日本電信電話株式会社NTTコミュニケーション科学基礎研究所

• 櫻田 英樹

  日本電信電話株式会社nttコミュニケーション科学基礎研究所

• 前田 敦司

  筑波大学

• 小暮 潔

  日本電信電話(株)基礎研究所

• 萩谷 昌己

  東京大学

• 萩谷 昌己

  京都大学数理解析研究所

• 萩谷 昌己

  東京大学大学院理学系研究科

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 柴山 悦哉

  東京工業大学大学院情報処理工学研究科数理・計算科学専攻

• 長谷川 立

  東京大学

• 高橋 和子

  関西学院大学

• 渡部 卓雄

  東京工業大学

• 阿草 清滋

  名古屋大学

• 掘田 英一

  Nttコミュニケーション科学研究所

• 結縁 祥治

  名古屋大 大学院情報科学研究科

• 真野 健

  コミュニケーション科学基礎研究所

• 塚田 恭章

  コミュニケーション科学基礎研究所

• 水野 敦

  名古屋大学大学院情報科学研究科

• 桑原 寛明

  名古屋大学大学院情報科学研究科

• 堀田 英一

  日本電信電話株式会社NTT情報流通プラットフォーム研究所

• 川本 裕輔

  東京大学大学院情報理工学系研究科

• 脇田 建

  東京大学理学部

• 堀田 英一

  NTTソフトウエア研究所

• 村上 昌己

  岡山大学

• 原田 康徳

  Ntt

• 竹内 泉

  東邦大学

• 堀田 英一

  Nttコミュニケーション科学研究所

• 中田 秀基

  産業技術総合研

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 脇田 建

  東京工業大学

• 河辺 義信

  愛知工業大学 情報科学部 情報科学科

もっと見る 閉じる

著作論文

• 確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論)
• 確率様相論理による秘匿性の証明
• コンピュータサイエンスシリーズ 15 離散数学, 牛島和夫(編著), 相利民, 朝廣雄一(著), コロナ社(2006-09), A5判, 定価(本体3,000円+税)
• π計算に基づくプログラミング言語NepiのためのGUI機能
• 高階書換え系の単一正規形性
• 高階書き換え系の単一正規形性
• Nepi : π計算に基づくネットワーク・プログラミング言語
• ゲーム列による安全性証明の形式化と自動化(数理的技法による情報セキュリティ)
• 匿名性とプライバシ保護の数理的技法 (特集 コミュニケーション環境の未来に向けた研究最前線)
• Nepiネットワークプログラミングシステムの形式的検証(ソフトウェア工学の基礎)
• π-計算の名前制限の名前生成による実装の正しさ
• プロセス代数に基づくネットワークプログラム言語 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (快適にコンピュータを使えるために)
• π-計算に基づくモバイルエージェントの形式化
• アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて
• 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,平成19年研究部会連合発表会)
• チャネルに基づく選択付き通信のための分散プロトコル
• Nepi^2: π計算に基づくネットワーク・プログラミングのための2レベル計算体系
• 電子投票プロトコルに対する無証拠性の定理証明
• フォーマルメソッドによるセキュリティ&プライバシ (特集 20周年を迎えたコミュニケーション科学)
• 「情報処理学会論文誌 : プログラミング」の編集について
• 匿名性・プライバシーの工学的定式化とその学際的応用
• CoSyProofs 2009参加報告(会議レポート)
• 認知変数連結論 : 認知心理学を見つめ直す, 中島義明(著), コロナ社(2007-11), B6判, 定価(本体2,600円+税)
• 6. 匿名性とプライバシのためのフォーマルメソッド(Part III:新領域の開拓,フォーマルメソッドの新潮流)
• 確率様相論理による秘匿性の証明

もっと見る 閉じる

スポンサーリンク