検索結果11件中 1-11 を表示

  • 真野 健 ID: 9000004378677

    NTTコミュニケーション科学基礎研究所 (2015年 CiNii収録論文より)

    CiNii収録論文: 26件

    • プロセス代数に基づくネットワークプログラム言語 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (快適にコンピュータを使えるために) (2002)
    • 匿名性とプライバシ保護の数理的技法 (特集 コミュニケーション環境の未来に向けた研究最前線) (2007)
    • フォーマルメソッドによるセキュリティ&プライバシ (特集 20周年を迎えたコミュニケーション科学) (2011)
  • 真野 健 ID: 9000010490795

    CiNii収録論文: 1件

    • π計算にもとづくネットワークプログラミング言語Nepi (第20回 回路とシステム軽井沢ワークショップ論文集) -- (形式手法に基づく並行プログラミング) (2007)
  • 真野 健 ID: 9000015318265

    CiNii収録論文: 1件

    • 位置による視認性のIQS評価手法 (2009)
  • 真野 健 ID: 9000017218017

    CiNii収録論文: 1件

    • プライバシ侵害に係る定義の検討における数理的表現方法の利用--同定可能性の問題を中心として (2010)
  • 真野 健 ID: 9000019102876

    CiNii収録論文: 1件

    • 匿名性とプライバシの数理的な定式化と法律への適用 (2011)
  • 真野 健 ID: 9000258237623

    NTTコミュニケーション科学基礎研究所 (2003年 CiNii収録論文より)

    CiNii収録論文: 1件

    • ソフトウェア工学の基礎  Nepiネットワークプログラミングシステムの形式的検証 (2003)
  • 真野 健 ID: 9000258571286

    日本電信電話株式会社 NTTコミュニケーション科学基礎研究所 (2005年 CiNii収録論文より)

    CiNii収録論文: 1件

    • バックワード匿名シミュレーションを用いた匿名性の検証 (2005)
  • 真野 健 ID: 9000312725421

    NTT (2015年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 趣味とコンピュータ (2015)
  • 真野 健 ID: 9000368411789

    CiNii収録論文: 1件

    • 11th IFIP WG 11.11 International Conference on Trust Management(IFIPTM 2017) (2017)
  • 真野 健 ID: 9000404223044

    CiNii収録論文: 1件

    • 質と量の組を用いたトラストの定式化 (2015)
  • 真野 健 ID: 9000404293960

    CiNii収録論文: 1件

    • 質と量の組を用いたトラストの多値拡張 (2016)
ページトップへ