著者

萩原 茂樹 米崎 直樹

出版者

一般社団法人 日本応用数理学会

雑誌

応用数理 (ISSN:24321982)

巻号頁・発行日

vol.17, no.4, pp.291-301, 2007-12-26 (Released:2017-04-08)

参考文献数

10

---

暗号プロトコルの解析は,確率的多項式時間チューリング機械を用いる計算論的手法と,Dolev-Yaoモデルに基づく記号論的手法がそれぞれ独立に研究されてきた.記号論による解析は,抽象レベルの解析とみなせ簡潔で分かりやすい一方,記号論による解析結果と計算論による解析結果の対応が明らかでなかった.この問題に対してAbadiとRogawayは,完全な対称鍵暗号方式を前提としてメッセージの見た目の等価性を記号論的に定義し,メッセージが等価ならばそれらは計算論的に識別不可能であること,すなわち記号論によるメッセージの識別不可能性の計算論的意味づけに対する健全性を示した.さらに,MicciancioとWarinschiはその完全性を示している.本稿では,これら内容を中心に関連する研究を含め紹介を行う.

著者

秋山 卓見 泉 直子 萩原 茂樹 米崎 直樹

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告バイオ情報学(BIO) (ISSN:09196072)

巻号頁・発行日

vol.2007, no.21, pp.71-78, 2007-03-05

参考文献数

6

---

近年の分子生物学の進展の中において,遺伝子ノックダウン実験による遺伝子調節ネットワークの解明が進んでいる.本研究では,それらを計算論的モデルを用いて捉えなおし,形式手法を反映したかたちで解析したすなわち,化学反応の活性/抑制関係を表現した,資源の取り合いを基本概念とする意味論を持つ形式オントロジーの公理を満たす,遺伝子調節量を表す数値間の演算の代数的制約と,そのインスタンスとなる関数を提案した.また,遺伝子調節ネットワークを解析した実験結果に適用し,ダブルノックダウン実験による遺伝子調節値を推定する計算式を提案した.The gene regulatory network obtained from the gene knockdown experiment is clarified in the progress of the molecular biology. In this paper, we capture those results by using the computational model, and analyze by a formal method, i.e. we proposed a numeric model of gene regulation reflecting our formal ontology that conceptualized promoting/inhibiting relation of the chemical reactions. Moreover, we formally defined requirements for gene regulation and functions which satisfy this requirements. Finally, we estimated the numerical value of the gene regulation by the double-knockdown experiment with this model.