著者
河辺 義信 真野 健 堀田 英一 小暮 潔
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)
巻号頁・発行日
vol.85, no.3, pp.249-261, 2002-03-01

プロセス代数π-計算は,プロセス間の通信リンクの動的接続を表現できる形式モデルである.本論文では,π-計算の実装に必要となる通信リンクの実装方法について述べる.π-計算では,通信リンクを「名前制限」と呼ばれる概念で形式化する.一方,実装では通信リンクは「名前生成」で扱うのが容易である.両者の同等性の形式的な証明は与えられていない.また,π-計算に対してデータタイプを加えた体系では,両者の同等性に関する反例が存在する.本論文では,データタイプ部を加えたπ-計算を扱い,名前制限と名前生成の同等性を論じる.
著者
竹内 泉 真野 健
出版者
一般社団法人 日本応用数理学会
雑誌
日本応用数理学会論文誌 (ISSN:24240982)
巻号頁・発行日
vol.22, no.1, pp.23-45, 2012-03-25 (Released:2017-04-08)
参考文献数
7

情報を秘匿するプロトコルの中には,確率変数によって秘匿性が保証されるものがある.そのようなプロトコルに対して,公理的体系の中で情報の秘匿性を証明することを目的とする.そのための,確率変数を扱うことの出来る公理的な論理体系を設計する.本稿では例題として簡単な秘密分散法及び暗号学者の会食問題を採り上げ,そのプロトコルの情報の秘匿をこの論理体系によって証明する.
著者
島岡 政基 真野 健 西垣 正勝
雑誌
研究報告インターネットと運用技術(IOT) (ISSN:21888787)
巻号頁・発行日
vol.2017-IOT-39, no.6, pp.1-5, 2017-09-22

国際会議 IFIPTM は,関連するセキュリティとプライバシーの問題を含む,トラストおよびトラストマネジメントに関する問題の研究成果を共有し,今後の研究開発の新たな課題と方向性を明らかにすることを目的としている.本稿では,2017 年 6 月 12 日から 16 日までスウェーデン Goteborg 市においてChalmers

1 0 0 0 OA 気管支喘息 II

著者
河辺 義信 真野 健 小暮 潔
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. AI, 人工知能と知識処理
巻号頁・発行日
vol.98, no.436, pp.21-28, 1998-11-30

本稿では, モバイルエージェントの形式化を行うため, プロセス代数π-計算に基づくネットワークプログラミング言語Nepi^2の言語仕様を拡張し処理系を実装する.この拡張は非決定和演算子に関するもので, モバイルエージェント処理系構築に要求するNepi^2言語の自己記述に必要である.Nepi^2を拡張した上で, 拡張言語の自己記述を与える.これによって, プロセス代数π-計算に基づくモバイルエージェントのための基礎づけを行う.