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

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]

Abstract

Abstract is missing.