研究会・全国大会等
[1] 境 顕宏, 鵜林 尚靖, 中島 震, "RBACモデルの形式検証と修正支援," 情報処理学会 研究報告 2008-SE-159, 2008年.