著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
,Formal Analysis of Workflow Systems with Security Considerations,Proc.of the 17^<th> International Conference on Software Engineering and Knowledge Engineering (SEKE 2005),,,2005,,,531-536,https://cir.nii.ac.jp/crid/1010000781802278151,