@techreport{weko_44549_1,
   author	 = "鴨田,浩明 and 河野,和宏 and 伊藤,義道 and 馬場口,登",
   title	 = "モデル検査ツールによるポリシー整合性検証",
   year 	 = "2007",
   institution	 = "株式会社 NTT データ／大阪大学, 大阪大学, 大阪大学, 大阪大学",
   number	 = "16(2007-CSEC-036)",
   month	 = "mar"
}