著者

森本 祥一 重松 真二郎 後藤 祐一 程 京徳

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.23, no.3, pp.3_117-3_133, 2006 (Released:2006-09-01)

---

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

著者

後藤 祐一

出版者

日経BP社

雑誌

日経ビジネス (ISSN:00290491)

巻号頁・発行日

no.1364, pp.161-164, 2006-10-30

---

10月22日に投開票が行われた衆院議員神奈川16区の補欠選挙で、民主党の公認候補として立候補した私は、自由民主党の公認候補である亀井善太郎氏に敗北しました。 衆院議員を9期務めた元農林水産大臣の亀井善之氏の死去に伴う今回の選挙で、長男の善太郎氏が父親の地盤を守った形となりました。 今回良い結果を残せなかった原因について、いろいろな見方があるとは思います。

著者

後藤 祐一

出版者

北海道大学大学院経済学研究科

雑誌

經濟學研究 (ISSN:04516265)

巻号頁・発行日

vol.59, no.1, pp.163-207, 2009-06-11

---

本研究の目的は,NPO,政府,企業間の戦略的協働(以下「協働」と略記)がいかにして形成,実行および展開されるのかを解明することである。分析された事例は,1970年代後半から顕在化したスパイクタイヤに起因する粉塵問題の解決を目的とした協働である。分析の結果,(1)協働アクティビストがアジェンダの重要性を参加者に認識させる場合,協働が促進される,(2)組織のやる気が最も高い組織は,時間の経過とともに交替する,(3)参加者によって能動的もしくは偶然に,3種類の協働の窓がほぼ同時に開かれる場合,協働の実現可能性が高まる,等の仮説命題が支持された。