The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem

@article{Soshi2004TheDA,
  title={The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem},
  author={Masakazu Soshi and Mamoru Maekawa and Eiji Okamoto},
  journal={IEICE Transactions},
  year={2004},
  volume={87-A},
  pages={190-203}
}