著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
,The Dynamic-Typed Access Matrix Model and decidability of the Safety problem,"IEICE Transactions on fundamentals of Electronics, Communication and Computer Science E-87, No.1",,,2004,,,190-203,https://cir.nii.ac.jp/crid/1010000781782656259,