Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) "森本, 祥一 and 程, 京徳",UMLによるプロテクションプロファイルのモデル化とその形式的検証,"電子情報通信学会論文誌. D, 情報・システム",1880-4535,社団法人電子情報通信学会,2006,J89-D,4,726-742,https://cir.nii.ac.jp/crid/1050564287771423488,