昆虫の変態・休眠の分子機構

平成8年度から平成11年度までの4年間に実施された特定領域研究(A)(1)「昆虫の変態・休眠の分子機構(略称:変態・休眠機構)」は,昆虫の有する旺盛な生存,生活戦略を変態と休眠という高次の生命現象に焦点を合わせ,この分子機構を多面的に解明することを目的として,延べ62名の研究者の参加を得て進められ,多くの研究成果を挙げてきた.「変態・休眠を支配するホルモン分子の動態と環境応答」に関する研究では,脳神経ペプチドホルモンの遺伝子の同定,合成分泌とその調節機構,ホルモンの血中動態及びホルモン受容体の解析を進め,新たな知見を得た.また「変態における自己・非自己の認識転換と形作りの分子機構」に関する研究では,幼虫組織の識別と排除機構,成虫組織の分化発生機構,ミツバチの社会性分化をもたらす遺伝子の同定とその発現機構を解明した.これらの成果の一端は平成12年12月神戸市にいて開催された平成12年度文部省主催の「大学と科学」公開シンポジウム「昆虫から学ぶ生きる知恵」において,研究者のみならず一般市民約500名に対し,公表された.一方,総括班員を中心とした研究成果の最終まとめに関する検討をもとにして,学術審議会科学研究費分科会審査第一部会生物系小委員会による特定領域研究研究終了ヒアリングを受け,その結果,Aの評価を得た.また,本研究の成果は,研究目的や研究経過に加え,本研究参加者の研究結果と発表論文リストを編集した研究成果報告書として発刊し,関連機関や研究者等に配布した.科学研究費補助金 研究種目:特定領域研究(A)(1) 課題番号:08276103 研究代表者:山下 興亜 研究期間:1996-2000年度research repor

ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法

http://www.jstage.jst.go.jp/article/jssst/23/3/23_3_117/_article/-char/ja/ | http://www.jstage.jst.go.jp/article/jssst/23/3/23_3_117/_article/-char/ja/情報システムの設計・開発において，セキュリティ仕様とその検証は重要な課題となっている．検証を行うには基準が必要であるが，情報システムが備えるべきセキュリティの基準を定めることは難しい．このため本論文では，IT製品や情報システムのセキュリティ評価の国際標準であるISO/IEC15408を基準として採用し，これに基づいた情報セキュリティ仕様の形式手法による検証技法を提案する．本検証技法では，形式的に記述したISO/IEC15408のセキュリティ評価基準を用いて，対象となる情報システムの仕様がISO/IEC15408の基準を満たしているかどうかを定理証明とモデル検査により厳密に検証することができる．textapplication/pdfjournal articl