メンバー紹介 - 田原 康之, van Lamsweerde,A., Letier,E.: KAOSによるセキュリティ要件の獲得・分析, 情報処理 Vol.50 No.3, pp.203-208 (2009.03)