Search Results1-9 of  9

  • 真野 健 ID: 9000010490795

    Articles in CiNii:1

    • Nepi: network programming language based on the π-calculus (2007)
  • 真野 健 ID: 9000015318265

    Articles in CiNii:1

    • IQS evaluation technique of visibility by position (2009)
  • 真野 健 ID: 9000017218017

    Articles in CiNii:1

    • Usage of formal method for analysis of definition of privacy violation: focusing on identifiability issue (2010)
  • 真野 健 ID: 9000019102876

    Articles in CiNii:1

    • Mathematical formalization of Anonymity and Privacy and Application to Law (2011)
  • 真野 健 ID: 9000258571286

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

    Articles in CiNii:1

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

    Articles in CiNii:1

    • 11th IFIP WG 11.11 International Conference on Trust Management(IFIPTM 2017) (2017)
  • MANO KEN ID: 9000004378677

    NTT Communication Science Laboratories (2015 from CiNii)

    Articles in CiNii:26

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

    NTT Communication Science Laboratories, NTT Corporation (2003 from CiNii)

    Articles in CiNii:1

    • Formal verification of Nepi network programming system (2003)
  • MANO Ken ID: 9000312725421

    NTT (2015 from CiNii)

    Articles in CiNii:1

    • 趣味とコンピュータ (2015)
Page Top