Masakazu Soshi, Mamoru Maekawa, Eiji Okamoto. The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem. IEICE Transactions, 87-A(1):190-203, 2004. [doi]
@article{SoshiMO04,
title = {The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem},
author = {Masakazu Soshi and Mamoru Maekawa and Eiji Okamoto},
year = {2004},
url = {http://search.ieice.org/bin/summary.php?id=e87-a_1_190&category=D&year=2004&lang=E&abst=},
researchr = {https://researchr.org/publication/SoshiMO04},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {87-A},
number = {1},
pages = {190-203},
}