共同研究パートナー

国内連携：
電子社会の理論的側面および実際的側面に関して，以下の4組織と共同研究，連携組織からの客員教員や客員研究員を交えた緊密な連携をおこなっている．

（１）産総研システム検証研究センター

連携内容：システム検証理論，検証方式などに関する研究

（２）(株）ＮＴＴデータ

連携内容：企業情報システムの分析と検証に関する研究，連携講座の実施

（３）インテック・ウェブ・アンド・ゲノム・インフォマティクス株式会社，富山県庁

連携内容：富山県行政業務のための法推論システムとオブジェクトモデリング

（４）電子商取引安全技術研究組合

連携内容：形式手法によるセキュリティポリシーモデルの検証の研究

国際連携：
以下の海外組織との連携を行っているが，今後の研究の進展にともなって新たな組織との連携も考える．

（１）AT&T Labs-Research

連携内容：高信頼情報システム構築法

（２）スイス連邦工科大学

連携内容：分散システムの耐故障技術

（３）オーストラリア情報通信ＣＯＥ

連携内容：形式的仕様記述のための論理と推論システム

（４)ミラノ工科大学

連携内容：情報システムのモデル化と進化方法論

（５)マサチューセッツ大学

連携内容：電子社会システムのプロセス記述

（６)デンマーク工科大学

連携内容：電子社会の形式的ドメイン記述